Auflistung nach Schlagwort "68T30"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelSemantics of Belief Change Operators for Intelligent Agents(KI - Künstliche Intelligenz: Vol. 38, No. 0, 2024) Sauerwald, KaiThis 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.