Contents
Topics covered in the course
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
This course starts on: 13th April 2015.
| Lecture | Monday | 13:15h - 14:45h | 5053.2 |
|---|---|---|---|
| Tuesday (biweekly) | 8:15h - 09:45h | AH I | |
| Tutorial | Tuesday | 15:15h - 16:45h | AH I |
\
Literature
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.
L²P Course Room
Link: https://www3.elearning.rwth-aachen.de/ss15/15ss-49861/
Note:
- All materials and announcements relevant for this course will be published at the L²P Course Room.
- To login, students have to register for the course via Campus Office.