You are here: DataLex » GoalForwardKB

Goal Forward (forward chaining only) Consultations

Run consultation | Check Fact Cross References | Check Fact Translations

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

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

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

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

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

STRING the objective
STRING a true fact
STRING another true fact
STRING a third true fact STRING a false fact STRING another false fact GOAL RULE assert some facts PROVIDES ASSERT <a true fact> is correct ASSERT <another true fact> is correct ASSERT <a third true fact> is correct ASSERT <a false fact> is not correct ASSERT <another false fact> is not 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