Semantics of Belief Change Operators for Intelligent Agents

dc.contributor.author	Sauerwald, Kai
dc.date	2024-08-01
dc.date.accessioned	2024-11-18T13:19:55Z
dc.date.available	2024-11-18T13:19:55Z
dc.date.issued	2024
dc.description.abstract	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.	de
dc.identifier.doi	10.1007/s13218-023-00830-9
dc.identifier.issn	1610-1987
dc.identifier.uri	http://dx.doi.org/10.1007/s13218-023-00830-9
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/45391
dc.publisher	Springer
dc.relation.ispartof	KI - Künstliche Intelligenz: Vol. 38, No. 0
dc.relation.ispartofseries	KI - Künstliche Intelligenz
dc.subject	03B42
dc.subject	68T27
dc.subject	68T30
dc.subject	Contraction
dc.subject	Iterated belief change
dc.subject	Revision
dc.subject	Tarskian logics
dc.title	Semantics of Belief Change Operators for Intelligent Agents	de
dc.type	Text/Journal Article
mci.reference.pages	89-93

Sammlungen