Abstract
AbstractThis 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.
Funder
Deutsche Forschungsgemeinschaft
FernUniversität in Hagen
Publisher
Springer Science and Business Media LLC
Reference21 articles.
1. Alchourrón CE, Gärdenfors P, Makinson D (1985) On the logic of theory change: partial meet contraction and revision functions. J Symb Log 50(2):510–530
2. Booth R, Fermé E, Konieczny S, Pino Pérez R (2012) Credibility-limited revision operators in propositional logic. KR 2012. AAAI Press, pp 116–125
3. Booth R, Meyer TA (2006) Admissible and restrained revision. J Artif Intell Res 26:127–151
4. Chopra S, Ghose A, Meyer TA, Wong K (2008) Iterated belief change and the recovery axiom. J Philos Logic 37(5):501–520
5. Darwiche A, Pearl J (1997) On the logic of iterated belief revision. Artif Intell 89:1–29
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献