JESS: Truth Maintenance

"Md Oliya" <[email protected]> Fri, 3 Jun 2011 19:33:50 +0800

Newsgroups	gmane.comp.java.jess
Message-ID	<16008_1307108921_p53Dlt7E016403_BANLkTim-oa8RVvKtOvXzVg8F8GRxThWerA@mail.gmail.com>

Hi,

I am doing some experiments with regards to truth maintenance.

Assume that I have a rule like:

(defrule simpleRule (aaa) =>(bbb))

Asserting an (aaa) fact and (run)ning the rule will result in a new fact
(bbb).
Nevertheless, retracting (aaa) will not retract (bbb) as well, and I found
it quite contrary to what was mentioned on page 139 of the book "Jess in
Action."

Am I missing some config options?

Thanks for your comments in advance.
--Oli