arXiv Open Access 2023

Characterization of AGM Belief Contraction in Terms of Conditionals

Giacomo Bonanno

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

cs.AI cs.LO

Penulis (1)

Giacomo Bonanno

Format Sitasi

APA MLA BibTeX

Bonanno, G. (2023). Characterization of AGM Belief Contraction in Terms of Conditionals. https://arxiv.org/abs/2307.05629

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓