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
This website is using cookies. More info. That's Fine