OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Propositional update operators based on formula/literal dependence

Herzig, Andreas and Lang, Jerome and Marquis, Pierre Propositional update operators based on formula/literal dependence. (2013) ACM Transactions on Computational Logic, 14 (3). 1-31. ISSN 1529-3785

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
764kB

Official URL: http://dx.doi.org/10.1145/2499937.2499945

Abstract

We present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators.

Item Type:Article
Additional Information:Thanks to Association for Computing Machinery (ACM) editor. The definitive version is available at http://dl.acm.org/citation.cfm?id=2499945
HAL Id:hal-01128955
Audience (journal):International peer-reviewed journal
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université d'Artois (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:10 Mar 2015 15:37

Repository Staff Only: item control page