[pmwiki-users] Aleph - M-Estimate Value

Fabiana Paiva fapaiva at grad.icmc.usp.br
Fri Aug 1 08:32:13 CDT 2008


I am working with Aleph and I am using m-estimate evaluation function (set
to auto_m). I need to know the m-estimate value of each rule of the final
theory. In the final theory, these values do not appear. How can I get them?
I was performing sat() and reduce to find, but it takes too much time to
find the rules that are in the final theory.

Thanks in advance.

University of São Paulo, Brazil
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.pmichaud.com/pipermail/pmwiki-users/attachments/20080801/5add8638/attachment.html 

More information about the pmwiki-users mailing list