Contents
The course introduces techniques for knowledge representation and reasoning. The topics covered are:
- First-order logic
- Expressing knowledge
- Full clausal logic
- Horn logic
- Procedural representations
- Answer set programming
- Production systems
- Description logics
- Inheritance networks
- Defaults
- Action
- Planning
- Abductive explanations
- Expressiveness/tractability trade-offs
Course Dates
| starting Monday, April 20, 2020 | |||
|---|---|---|---|
| Lecture | Mondays | 08:30h - 10:00h | AH II |
| Thursdays | 08:30h - 10:00h | AH II | |
| Tutorial | Wednesdays | 14:30h - 16:00h | AH II |
| Exam 1 | TBA | ||
| Exam 2 | TBA |
Literature
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.
RWTHMoodle
You can find further information in the RWTHMoodle Course Room
Questions?
Please contant Tarik Viehmann for further questions.