On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals

Abstract

We study the complexity of several recently proposed methods for updating or revising propositional knowledge bases. In particular, we derive complexity results for the following problem: given a knowledge base <italic>T</italic>, an update <italic>p</italic>, and a formula <italic>q</italic>, decide whether <italic>q</italic> is derivable from <italic>Top</italic>, the updated (or revised) knowledge base. This problem amounts to evaluating the counterfactual <italic>p</italic> &gt; <italic>q</italic> over <italic>T</italic>. Besides the general case, also subcases are considered, in particular where <italic>T</italic> is a conjunction of Horn clauses, or where the size of <italic>p</italic> is bounded by a constant.

DOI: 10.1145/137097.137886
02040'94'97'00'03'06'09'12'15
Citations per Year

415 Citations

Semantic Scholar estimates that this publication has 415 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Eiter1992OnTC, title={On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals}, author={Thomas Eiter and Georg Gottlob}, journal={Artif. Intell.}, year={1992}, volume={57}, pages={227-270} }