Demonstration using wysh ...

Some tests of forward and backward chaining consultations

Run consultations using the GOALTEST (forward and backward chaining) knowledgebase (see below)

Run consultations using the GOAL BACK (backward chaining only) knowledgebase

Run consultations using the GOAL FORWARD (forward chaining only) knowledgebase

Andrew Mowbray wrote the ysh inference engine (1991-94).
Geoffrey King wrote the wysh web interface to ysh (1996) (further details on the wysh pages).
AustLII's research on legal inferencing via the web is funded by the Australian Research Council.

GOALTEST (forward and backward chaining) knowledgebase


RULE 1 PROVIDES
IF E is correct AND F is correct
THEN A is correct

RULE 2 PROVIDES
IF A is correct AND
BEGIN B is correct OR C is correct END
THEN D is correct

RULE 3 PROVIDES
IF E is correct  OR G is correct THEN C is correct

RULE 4 PROVIDES
IF H is correct AND G is correct AND C is correct AND F is not correct
THEN A is correct

RULE 5 PROVIDES
IF F is correct AND E is not correct
THEN D is not correct

GOAL RULE Is A correct? PROVIDES
DETERMINE A is correct

GOAL RULE Is B correct? PROVIDES
DETERMINE B is correct

GOAL RULE Is C correct? PROVIDES
DETERMINE C is correct

GOAL RULE Is D correct? PROVIDES
DETERMINE D is correct

GOAL RULE Is E correct? PROVIDES
 DETERMINE E is correct

GOAL RULE Is F correct? PROVIDES
DETERMINE F is correct

GOAL RULE Is G correct? PROVIDES
DETERMINE G is correct

GOAL RULE Is H correct? PROVIDES
DETERMINE H is correct