Consider the following rule: "beats(X,Z) ← beats(X,Y) ∧ beats(Y,Z)". Is this rule consistent with the knowledge base? If not, modify the head of the rule to make it consistent. Is this rule true in the intended interpretation? If not, modify the head of the rule to make it true in the intended interpretation.
- This rule is consistent with the knowledge base.
- This rule is not true in the intended interpretation. Since beats(r,s) and beats(s,p) are true, this rule would imply beats(r,p). However, this is false in the intended interpretation. Modifying the head to be "beats(Z,X)" would make the rule true according to the rock-paper-scissors rules.
|
