Complexity of belief update

Artificial Intelligence

Volumn 119, Issue 1, 2000, Pages 141-190

  Liberatore, Paolo ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS; THEOREM PROVING;

BELIEF REVISION; BELIEF UPDATE; DISJUNCTIVE FUNCTION; DISJUNCTIVE INFORMATION;

ARTIFICIAL INTELLIGENCE;

EID: 0033702140     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00016-3     Document Type: Article

References (30)

1. Alchourrón C.E., Gärdenfors P., Makinson D. On the logic of theory change: Partial meet contraction and revision functions. J. Symbolic Logic. Vol. 50:1985;510-530.
2. Boppana R., Sipser M. The complexity of finite functions. van Leeuwen J. Handbook of Theoretical Computer Science, Vol. A. 1990;Elsevier Science (North-Holland), Amsterdam. Chapter 14.
3. Boutilier C. Revision sequences and nested conditionals. Proc. IJCAI-93, Chambéry, France. 1993;519-525.
4. Boutilier C. Generalized update: Belief change in dynamic settings. Proc. IJCAI-95, Montreal, Quebec. 1995;1550-1556.
5. Boutilier C. Abduction to plausible causes: An event-based model of belief update. Artificial Intelligence. Vol. 83:1996;143-166.
6. Cadoli M., Donini F.M., Liberatore P., Schaerf M. The size of a revised knowledge base. Artificial Intelligence. Vol. 115:1999;25-64.
7. Dalal M. Investigations into a theory of knowledge base revision: Preliminary report. Proc. AAAI-88, St. Paul, MN. 1988;475-479.
8. Eiter T., Gottlob G. On the complexity of propositional knowledge base revision, updates and counterfactuals. Artificial Intelligence. Vol. 57:1992;227-270.
9. 2 -complete. Theoret. Comput. Sci. Vol. 114:1993;231-245.
10. Eiter T., Gottlob G., Gurevich Y. CURB your theory! Proc. IJCAI-93, Chambéry, France. 1993;634-639.
11. Forbus K.D. Introducing actions into qualitative simulation. Proc. IJCAI-89, Detroit, MI. 1989;1273-1278.
12. Friedman N., Halpern J.Y. A knowledge-based framework for belief change, Part II: Revision and update. Proc. 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany. 1994;190-200.
13. Herzig A. The PMA revised. Proc. 5th International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA. 1996;40-50.
14. Herzig A. Logics for belief base updating. Dubois D., Gabbay D., Prade H., Smets P. Handbook of Defeasible Reasoning and Uncertainty Management, Vol. 3 - Belief Change. 1998;189-231 Kluwer Academic, Dordrecht.
15. Johnson D.S. A catalog of complexity classes. van Leeuwen J. Handbook of Theoretical Computer Science, Vol. A. 1990;Elsevier Science (North-Holland), Amsterdam. Chapter 2.
16. Katsuno H., Mendelzon A.O. On the difference between updating a knowledge base and revising it. Proc. 2nd International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA. 1991;387-394.
17. Katsuno H., Mendelzon A.O. Propositional knowledge base revision and minimal change. Artificial Intelligence. Vol. 52:1991;263-294.
18. Krentel M.V. The complexity of optimization problems. J. Comput. System Sci. Vol. 36:1988;490-509.
19. Liberatore P., Schaerf M. Relating belief revision and circumscription. Proc. IJCAI-95, Montreal, Quebec. 1995;1557-1563.
20. Liberatore P. The complexity of belief update. Proc. IJCAI-97, Nagoya, Japan. 1997;68-73.
21. McCarthy J. Circumscription - A form of non-monotonic reasoning. Artificial Intelligence. Vol. 13:1980;27-39.
22. Minker J. On indefinite databases and the closed world assumption. Proc. 6th International Conference on Automated Deduction (CADE-82). 1982;292-308.
23. Nebel B. How hard is it to revise a knowledge base?, Technical Report 83. 1996;Albert-Ludwigs-Universität Freiburg, Institut für Informatik.
24. Reiter R. On closed world data bases. Gallaire H., Minker J. Logic and Data Bases. 1978;119-140 Plenum, New York.
25. Spohn W. Ordinal conditional functions: A dynamic theory of epistemic states. Causation in Decision, Belief Change, and Statistics. 1988;105-134 Kluwer Academic, Dordrecht.
26. Williams M. Transmutations of knowledge systems. Proc. 4th International Conference on the Principles of Knowledge Representation and Reasoning (KR-94), Bonn, Germany. 1994;619-629.
27. Winslett M. Is belief revision harder than you thought? Proc. AAAI-86, Philadelphia, PA. 1986;421-427.
28. Winslett M. Reasoning about actions using a possible models approach. Proc. AAAI-88, St. Paul, MN. 1988;89-93.
29. Winslett M. Updating Logical Databases. 1990;Cambridge University Press, Cambridge.
30. Zhang Y., Foo N. Updating knowledge bases with disjunctive information. Proc. AAAI-96, Portland, OR. 1996;562-568.