Künstliche Intelligenz 38(1-2) - August 2024

Auflistung nach:

1 - 1 von 1

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.