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
- Defaults
- Abductive explanations
- Action
- Planning
- Expressiveness/tractability trade-offs
Course Dates
| starting April 15, 2024 | |||
|---|---|---|---|
| Lecture | Mondays | 08:30h - 10:00h | AH 3 |
| Tuesdays | 08:30h - 10:00h | AH 2 | |
| Tutorial | Wednesdays | 14:30h - 16:00h | AH 3 |
| Exam 1 | 26.07.2024 | 14:30h - 16:00h | BS 218 (2130|218) |
| Exam 2 | 04.09.2024 | 08:30h - 10:00h | klPhys (1090|334) |
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 contact Matthew James Lynn for further questions.