|
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.
|
