Lecture (2/0/0), WS 2004/2005
Preliminary announcement - to be confirmed
The question how knowledge can be represented by means of logic programs with negation has been a driving force for the field of non-monotonic reasoning. Implemented systems, known as answer set programming systems, have emerged recently and are currently being used in various application domains like the semantic web.
Intuitively, logic programs are being used for encoding commonsense resoning, in particular the phenomenon that human reasoning tends to "jump to conclusions" under incomplete knowledge. Formally, this kind of reaoning is described by interpreting the first-order syntax of logic programs in a more sophisticated way. This, in turn, is most easily done by means of fixed points of semantic operators.
The study of different semantic operators and their relationships gives rise to a rich theory. In this lecture, we will undertake a thorough formal study of these issues as a foundation for the study of advanced topics in theoretical or applied non-mononotonic reasoning. Particular emphasis will be on basic paradigms and on the supported, Kripke-Kleene, stable, and well-founded semantics for logic programs and their rich relationships.
Lecturing will be as a semi-compact course, i.e. there will be lecture sessions of 2 to 3 DS duration, most likely every 2 to 3 weeks on Friday afternoons.