You are here: DataLex » GoalTestKB

Goal Test (forward and backward chaining) knowledge-base

Run consultation | Check Fact Cross References | Check Fact Translations



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


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