TY - GEN
T1 - Reconsidering AGM-style belief revision in the context of logic programs
AU - Zhuang, Zhiqiang
AU - Delgrande, James P.
AU - Nayak, Abhaya
AU - Sattar, Abdul
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85013076566&partnerID=8YFLogxK
U2 - 10.3233/978-1-61499-672-9-671
DO - 10.3233/978-1-61499-672-9-671
M3 - Conference proceeding contribution
SN - 9781614996712
T3 - Frontiers in Artificial Intelligence and Applications
SP - 671
EP - 679
BT - ECAI 2016: 22nd European Conference on Artificial Intelligence
A2 - Kaminka, Gal A.
A2 - Fox, Maria
A2 - Bouquet, Paolo
A2 - Hullermeier, Eyke
A2 - Dignum, Virginia
A2 - Dignum, Frank
A2 - van Harmelen, Frank
PB - IOS Press
CY - Amsterdam, Netherlands
T2 - 22nd European Conference on Artificial Intelligence (ECAI)
Y2 - 29 August 2016 through 2 September 2016
ER -