You are here: DataLex » GoalBackwardKB

Goal Backward (backward chaining only) knowledgebase

Run consultation | Check Fact Cross References | Check Fact Translations



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


This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding AustLII Communities? Send feedback
This website is using cookies. More info. That's Fine