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
- Abductive explanations
- Expressiveness/tractability trade-offs
|starting Monday, April 11, 2022|
|Lecture||Mondays||08:30h - 10:00h||AH II|
|Thursdays||08:30h - 10:00h||AH II|
|Tutorial||Fridays||16:30h - 17:00h||AH I|
|Exam 1||20.07.2022||09:30h - 11:30h||AM/TEMP2|
|Exam 2||29.08.2022||15:30h - 17:30h||H02|
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.
You can find further information in the RWTHMoodle Course Room