Knowledge Representation

Lecturer : Marek Sergot (homepage)
For course notes click on the lecturers homepages.

Objectives:

The aim of the course is to present the theoretical foundations of the main formalisms for knowledge representation and reasoning, to show how they can be used in practice, and to provide an overview of current research trends. Particular attention will be given to logic-based formalisms, and to comparing and translating between different approaches.

Contents:

Current general issues in knowledge representation.

Default and non-monotonic reasoning: default logic, autoepistemic logic, circumscription, negation as failure, abduction as a form of hypothetical and default reasoning, non-monotonic consequence relations and defeasibility.

Theories of argumentation.

Temporal reasoning: representation of action, non-monotonic features of persistence, the frame problem.

Dynamics of belief systems and databases: consistency and integrity, knowledge assimilation, theories of belief revision and update, counterfactuals.