Belief change and non-monotonic reasoning sans compactness

Jandson S. Ribeiro, Abhaya Nayak, Renata Wassermann

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

6 Citations (Scopus)


Belief change and non-monotonic reasoning are arguably different perspectives on the same phenomenon, namely, jettisoning of currently held beliefs in response to some incompatible evidence. Investigations in this area typically assume, among other things, that the underlying (background) logic is compact, that is, whatever can be inferred from a set of sentences X can be inferred from a finite subset of X. Recent research in the field shows that this compactness assumption can be dispensed without inflicting much damage on the AGM paradigm of belief change. In this paper we investigate the impact of such relaxation on non-monotonic logics instead. In particular, we show that, when compactness is not guaranteed, while the bridge from the AGM paradigm of belief change to expectation logics remains unaffected, the “return trip” from expectation logics to AGM paradigm is no longer guaranteed. We finally explore the conditions under which such guarantee can be given.
Original languageEnglish
Title of host publicationProceedings of the Thirty-Third AAAI Conference on Artificial Intelligence
Subtitle of host publicationAAAI 2019
Place of PublicationCalifornia, USA
PublisherAssociation for the Advancement of Artificial Intelligence
Number of pages8
ISBN (Print)9781577358091
Publication statusPublished - 23 Jul 2019
EventConference on Artificial Intelligence (33rd : 2019) - Hilton Hawaiian Village, Honolulu, United States
Duration: 27 Jan 20191 Feb 2019

Publication series

NameAAAI Conference on Artificial Intelligence
ISSN (Print)2159-5399
ISSN (Electronic)2374-3468


ConferenceConference on Artificial Intelligence (33rd : 2019)
Abbreviated titleAAAI-19
Country/TerritoryUnited States


Dive into the research topics of 'Belief change and non-monotonic reasoning sans compactness'. Together they form a unique fingerprint.

Cite this