[pmwiki-users] Aleph - M-Estimate Value

[Daniel]

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
http://www.moosoft.com
MooSoft Development Inc