In Artificial Intelligence, a core problem is the modelling of human reasoning and intelligent behaviour, and the representation of knowledge and reasoning about it are of fundamental importance for this. In particular, the agent paradigma makes this observation evident. An intelligent agent must be able to built up a complete epistemic state from her knowledge and beliefs in order to reason plausibly, to draw inferences, and for planning her actions. Normally, an autonomous intelligent agent does not live in a static, but in a changing and dynamically evolving environment. Such an agent must adapt her beliefs and epistemic state to new information she receives. The theory of belief change deals with these kinds of changes, and Kai Sauerwald’s dissertation addresses several important and significant research questions in belief change theory.
A fundamental result of revision theory is that plausibility orderings, given by total preorders over possible worlds, characterize belief revision. Kai Sauerwald analyzes this connection for general classical logics and characterizes precisely those conditions in which the relationship between total preorders and belief revision still holds. Moreover, he investigates a relaxation of the principle of minimal change for non-prioritized revision, yielding revision operators in complex epistemic settings where classical revision theory provides no operators. For iterated belief changes, Kai Sauerwald analyzes a whole landscape of different iteration principles for contraction. For each principle, he identifies characterizations from the viewpoint of changing plain beliefs, from the viewpoint of changing conditional beliefs, and from the viewpoint of changing plausibility orderings.
Throughout the whole thesis, Kai Sauerwald convincingly presents his ideas, refines and advances existing proposals of belief change, developes novel concepts and approaches, rigorously defines the introduced concepts, and formally proves all technical claims, propositions, and theorems. Given the numerous remarkable results to belief change theory, with his thesis, Kai Sauerwald significantly advances the state of the art in this field.
Hagen, August 2022
Christoph Beierle