Dr. Pascal Hitzler
Seminar, WS 2003/2004
Nonmonotonic logics provide established approaches to knowledge representation and reasoning in artificial intelligence. They were invented more than 20 years ago with the intention to capture aspects of human and commonsense reasoning which are not treated satisfactorily by "monotonic" logics (including classical logic). One of their prominent features is that they are not monotonic - hence the name - in the sense that logical consequences from a knowledge base (Tweety is a bird, and consequently is able to fly) may have to be retracted when additional knowledge is added (Somebody tells us that Tweety is a penguin).
Recently, efficient implementations of nonmonotonic reasoning systems have been established. Among the most popular ones are currently smodels and dlv, see www.uni-koblenz.de/ag-ki/LP/lp_systems.html. At the same time, the need for sound theoretical underpinnings of nonmonotonic logics becomes more and more apparent.
In this seminar, we will study theoretical aspects of nonmonotonic logics and systems, including relationships with classical logic(s), axiomatic approaches, comparison of semantics, etc.
Prerequisite: Passed exam in ICL or Logik.
Each student is required to ...
The material covered in the seminar is directly related to my research interests, so there is the possibility of doing projects or theses in the subject area building on the topics of the seminar.
All questions should be directed to Pascal Hitzler under
Back to my home page.