Create an interpretation that is a model of the knowledge base but does not correspond to the rules of rock-paper-scissors.
  • D={rock, paper, scissors}
  • φ(r) = rock, φ(p) = paper, φ(s) = scissors
  • beats(rock,rock) = false, beats(rock,paper) = false, beats(rock,scissors) = true
  • beats(paper,rock) = true, beats(paper,paper) = false, beats(paper,scissors) = false
  • beats(scissors,rock) = false, beats(scissors,paper) = true, beats(scissors,scissors) = true
  • This interpretation does not correspond to the actual rules of rock-paper-scissors because the value of beats(scissors,scissors) is true in the interpretation but false in the rules of rock-paper-scissors.

Valid HTML 4.0 Transitional