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 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|
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.
You can find further information in the RWTHMoodle Course Room
Please contant Tarik Viehmann for further questions.