Logo des Repositoriums

Auflistung nach Autor:in "Sauerwald, Kai"

1 - 2 von 2
  • Zeitschriftenartikel
    Semantics of Belief Change Operators for Intelligent Agents
    (KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Sauerwald, Kai
    This paper summarises several contributions to the theory of belief change by the authors’ dissertation thesis. First, a relational characterization of belief revision for Tarskian logics is considered, encompassing first-order predicate logic, description logic, modal logics and many monotonic logics with model-theoretic semantics. Those logics where total preorders are the standard semantics for revision are characterized. The second contribution considered is a theory of belief revision that builds upon the idea that agents are limited in what the outcome of a revision is. Furthermore, advancements in principles for iterated belief contraction given in the thesis are outlined.
  • Journal
    Towards a General Framework for Kinds of Forgetting in Common-Sense Belief Management
    (KI - Künstliche Intelligenz: Vol. 33, No. 1, 2019) Beierle, Christoph; Kern-Isberner, Gabriele; Sauerwald, Kai; Bock, Tanja; Ragni, Marco