Knowledge-Based Systems Group

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.

The proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig “Artificial Intelligence - A Modern Approach”.