[pmwiki-users] Aleph - M-Estimate Value

[Fabiana Paiva]

Hello,

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.
Fabiana


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