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