Demonstration using wysh ...

GOAL BACK (backward chaining only) Consultations

Run consultations using the GOAL BACK (backward 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.

GOAL BACK (backward chaining only) knowledgebase

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

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

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

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

BACKWARD 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