Characterization of AGM Belief Contraction in Terms of Conditionals

Autor:	Bonanno, Giacomo
Rok vydání:	2023
Předmět:	Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science
Zdroj:	EPTCS 379, 2023, pp. 142-156
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.379.13
Popis:	We provide a semantic characterization of AGM belief contraction based on frames consisting of a Kripke belief relation and a Stalnaker-Lewis selection function. The central idea is as follows. Let K be the initial belief set and K-A be the contraction of K by the formula A; then B belongs to the set K-A if and only if, at the actual state, the agent believes B and believes that if not-A is (were) the case then B is (would be) the case. Comment: In Proceedings TARK 2023, arXiv:2307.04005
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2307.05629 Zobrazit plný text záznamu View this record from Arxiv