Create an interpretation that is a not a model of the knowledge base.
- D={rock, paper, scissors}
- φ(r) = rock, φ(p) = paper, φ(s) = scissors
- beats(rock,rock) = false, beats(rock,paper) = false, beats(rock,scissors) = false
- 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 is not a model of the database because beats(rock,scissors) is in the database but false in the interpretation.
|
