Back to practice exercises.
1: Background Reading
2: Learning Goals
 Verify whether a logical statement belongs to the language of propositional definite clauses.
 Verify whether an interpretation is a model of a PDCL KB.
 Model a relatively simple domain with PDCL.
3: Directed Questions
In propositional definite clause logic (PDCL),
 What is an atom? Give the definition and an example from a domain of your choice. [solution]
 What is a body? Give the definition and an example from a domain of your choice. [solution]
 What is a definite clause? Give the definition and an example from a domain of your choice. [solution]
 What is a knowledge base? Give the definition and an example with four clauses from a domain of your choice. [solution]
 What is an interpretation of a knowledge base KB? Give the definition and an example for your KB. [solution]
 What is a model of a knowledge base KB? Give the definition and an example for your KB. [solution]
4: Exercise: Syntax
Which of the following rules are syntactically invalid in propositional definitive clause logic, and
why?
 bikeCrashed ← cycledDrunk [solution]
 goByBus ∨ goByCar ← bikeBroke [solution]
 goByBus ← ¬haveGas ∨ bikeBroke [solution]
5: Learning Goals Revisited
 Verify whether a logical statement belongs to the language of propositional definite clauses.
 Verify whether an interpretation is a model of a PDCL KB.
 Model a relatively simple domain with PDCL.
