Another poster suggested you look at pattern bindings. You can also look at the "logical" conditional element. The next release of Jess should have an API to let you get at the logical dependencies betwen facts.
I think Pedro Santana wrote: [Charset iso-8859-1 unsupported, filtering to ASCII...] > Hi all! > > I was wondering if there is any chance of getting the "reasons" that made a > rule to be fired. In other words, let's imagine that at the end of an > inference the user wants to know "the why" of a certain conclusion, > therefore I would like to know if there is a built-in automatic mechanism to > fetch such information. > > For instance, > > (defrule xpto1 "" > (fact1 ?x) > => > (assert (fact2 ?x)) > ) > > (defrule xpto2 "" > (fact2 ?x) > => > (assert (conclusion ?x)) > ) > > > When the inference ends, the user would like to have something like this: > > --> conclusion due to fact2 > --> fact2 due to fact1 > > > Thanks in advance. Sorry about the mail's length. > > Best regards, > Pedro > > ------------------------------------------------- > Pedro Figueiredo Santana > > CRI-Centre for Intelligent Robotics > UNINOVA > Quinta da Torre > ICQ# : 137876345 2829-516 Caparica > Mail : [EMAIL PROTECTED] Portugal > Mobile : +351 968 215 624 > Tel. : (direct) +351 212 949 625 > : (internal) Extension: 13741 > > "Everything should be simplified as much as > possible, but nothing more than that." > Albert Einstein > ------------------------------------------------- > > > -------------------------------------------------------------------- > To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' > in the BODY of a message to [EMAIL PROTECTED], NOT to the list > (use your own address!) List problems? Notify [EMAIL PROTECTED] > -------------------------------------------------------------------- > --------------------------------------------------------- Ernest Friedman-Hill Distributed Systems Research Phone: (925) 294-2154 Sandia National Labs FAX: (925) 294-2234 Org. 8920, MS 9012 [EMAIL PROTECTED] PO Box 969 http://herzberg.ca.sandia.gov Livermore, CA 94550 -------------------------------------------------------------------- To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]' in the BODY of a message to [EMAIL PROTECTED], NOT to the list (use your own address!) List problems? Notify [EMAIL PROTECTED] --------------------------------------------------------------------
