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]
--------------------------------------------------------------------
