Create an interpretation that is a model of the knowledge base and corresponds 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) = false

Valid HTML 4.0 Transitional