[Jdrew-all] Sorry for NAF bugs in extended oo jdrew

[Jing Mei]

Hi SianLun and all,

I read your email "[Jdrew-all] Negation revisited" from
http://mail.ruleml.org/pipermail/jdrew-all/2006-March/000019.html -- Thanks
for your comments!

Recalling to the strategy of NAF (e.g. *Naf(special(?product))* in our
example) in BUTree.java, we actually rebuild a fresh query (i.e.
*qDC=special(?product)*) to the rule base. If such query is unified with
certain constant (i.e. *?product=clothes* or *?product=shoes*), then the
corresponding rule is removed. Unfortunately, such unifier does not consider
other bindings in the same rule (e.g. *onsale(?product)*, where *?product*
should be identical to that of *special*). That's the reason why the
negation takes place no matter any value the fact *special* carries, as you
pointed out.

Sorry for making such bugs -- i will try to figure it out, if possible.

Thanks,
Jing
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.ruleml.org/pipermail/jdrew-all/attachments/20060330/09e2eb64/attachment.htm