[pmwiki-users] Aleph - M-Estimate Value

Daniel dso at moosoft.com
Fri Aug 1 12:22:04 CDT 2008

I was told there would be no math!

Fabiana Paiva wrote:
> 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
> ------------------------------------------------------------------------
> _______________________________________________
> pmwiki-users mailing list
> pmwiki-users at pmichaud.com
> http://www.pmichaud.com/mailman/listinfo/pmwiki-users

Daniel Otis
dso at moosoft.com
MooSoft Development Inc

More information about the pmwiki-users mailing list