Reconsidering AGM-style belief revision in the context of logic programs

Zhiqiang Zhuang*, James P. Delgrande, Abhaya Nayak, Abdul Sattar

*Corresponding author for this work

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

10 Citations (Scopus)
258 Downloads (Pure)


Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead-an inherently interesting problem that is under explored. In particular, we will focus on the revision of a body of beliefs that is represented as a logic program under the answer set semantics, while the new information is also similarly represented as a logic program. Our approach is driven by the observation that unlike in a monotonic setting where, when necessary, consistency in a revised body of beliefs is maintained by jettisoning some old beliefs, in a non-monotonic setting consistency can be restored by adding new beliefs as well. We will define two revision functions through syntactic and model-theoretic methods respectively and subsequently provide representation theorems for characterising them.

Original languageEnglish
Title of host publicationECAI 2016: 22nd European Conference on Artificial Intelligence
EditorsGal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hullermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen
Place of Publication Amsterdam, Netherlands
PublisherIOS Press
Number of pages9
ISBN (Electronic)9781614996729
ISBN (Print)9781614996712
Publication statusPublished - 2016
Event22nd European Conference on Artificial Intelligence (ECAI) - Hague, Netherlands
Duration: 29 Aug 20162 Sept 2016

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS PRESS
ISSN (Print)0922-6389


Conference22nd European Conference on Artificial Intelligence (ECAI)


Dive into the research topics of 'Reconsidering AGM-style belief revision in the context of logic programs'. Together they form a unique fingerprint.

Cite this