Propositional belief base update and minimal change

Artificial Intelligence

Volumn 115, Issue 1, 1999, Pages 107-138

  Herzig, Andreas ^a   Rifi, Omar ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; MATHEMATICAL MODELS; THEOREM PROVING;

INTEGRITY CONSTRAINTS; PROPOSITIONAL BELIEF;

ARTIFICIAL INTELLIGENCE;

EID: 0033356350     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(99)00072-7     Document Type: Article

References (40)

1. Boutilier C. Generalised update: Belief change in dynamic settings. Proc. IJCAI-95, Montreal, Quebec. 1995;1550-1556.
2. Brewka G., Herzberg J. How to do things with worlds: On formalizing actions and plans. J. Logic Comput. 3:(5):1993;517-532.
3. Brown F.M. Boolean Reasoning. 1990;Kluwer Academic, Dordrecht.
4. Crocco G., Herzig A. The Ramsey test as an inference rule. Weingartner P., Schurz G., Dorn G. The Role of Pragmatics in Contemporary Philosophy: Contributions of the Austrian Ludwig Wittgenstein Society. 1997;Austrian Ludwig Wittgenstein Society, Kirchberg.
5. Dalal M. Investigations into a theory of knowledge base revision: Preliminary report. Proc. AAAI-88, St. Paul, MN. 1988;475-479.
6. Del Val A. Nonmonotonic reasoning and belief revision: Syntactic, semantic, foundational, and coherence approaches. J. Appl. Non-Classical Logics. 7:(2):1997;213-240.
7. Del Val A., Shoham Y. Deriving properties of belief update from theories of action. J. Logic, Language and Information. 3:(2):1994;81-119.
8. Del Val A., Shoham Y. A unified view of belief revision and update. J. Logic Comput. 4:(5):1994;797-810.
9. Doherty P., Lukaszewicz W., Madalińska-Bugaj E. The PMA and relativizing change for action update. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy. 1998;258-269.
10. Dubois D., Dupin de Saint-Cyr F., Prade H. Update postulates without inertia. Froidevaux C., Kohlas J. Proc. ECSQARU-95. Lecture Notes in Artificial Intelligence. 946:1995;162-170 Springer, Berlin.
11. Eiter T., Gottlob G. On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence. 57:1992;227-270.
12. Eiter T., Gottlob G., Gurevich Y. Curb your theory! A circumscriptive approach for inclusive interpretation of disjunctive information. Proc. IJCAI-93, Chambery, France. 1993;640-645.
13. Fariñas del Cerro L., Herzig A. Interference logic = Conditional logic + Frame axiom. Internat. J. Intelligent Systems. 9:(1):1994;119-130.
14. Fariñas del Cerro L., Herzig A. All other things being equal: On a notion of inertia in conditional logic. Ejerhed E., Lindström S. Logic, Action and Cognition - Selection of Papers of the Umea Colloquium on Dynamic Approaches in Logic, Language and Information (UmLLI-93), Trends in Logic. 1997;137-148 Kluwer Academic, Dordrecht.
15. Forbus K.D. Introducing actions into qualitative simulation. Proc. IJCAI-89, Detroit, MI. 1989;1273-1278.
16. Gärdenfors P. Knowledge in Flux: Modeling the Dynamics of Epistemic States. 1988;MIT Press, Cambridge, MA.
17. Gärdenfors P. Belief revision and irrelevance. PSA. 2:1990;349-356.
18. Grahne G. Updates and counterfactuals. Proc. Second Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA. 1991;269-276.
19. Hegner S. Specification and implementation of programs for updating incomplete information databases. Proc. 6th Symposium on Principles of Databases Systems. 1987;146-158.
20. Herzig A. The PMA revisited. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA. 1996;40-50.
21. Herzig A. Logics for belief base updating. Dubois D., Prade H. Handbook of Defeasible Reasoning and Uncertainty Management, Volume 'Belief Change'. 1998;Kluwer Academic, Dordrecht.
22. Herzig A., Rifi O. Update operations: A review. Proc. ECAI-98, Brighton, UK. 1998;13-17.
23. Katsuno H., Mendelzon A.O. Propositional knowledge base revision and minimal change. Artificial Intelligence. 52:1991;263-294.
24. Katsuno H., Mendelzon A.O. On the difference between updating a knowledge base and revising it. Gärdenfors P. Belief Revision. 1992;183-203 Cambridge University Press, Cambridge. Preliminary version in: Proc. Second Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA, 1991, pp. 387-394.
25. Keller A.M., Winslett M. On the use of an extended relational model to handle changing incomplete information. IEEE Trans. Software Engineering. SE-11:(7):1985;620-633.
26. Konieczny S., Pino-Pérez R. On the logic of merging. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy. 1998;488-498.
27. Levesque H. Foundations of a functional approach to knowledge representation. Artificial Intelligence. 23:1984;155-212.
28. Lewis D. Counterfactuals. 1973;Basil Blackwell, Oxford.
29. Liberatore P. The complexity of belief update. Proc. IJCAI-97, Nagoya, Japan. 1997;68-73.
30. Lifschitz V. Frames in the space of situations. Artificial Intelligence. 46:1986;365-376.
31. Nute D. Topics in Conditional Logic. 1980;Reidel, Dordrecht.
32. Nute D. Conditional logic. Gabbay D.M., Günthner F. Handbook of Philosophical Logic, Vol. 2. 1984;387-439 Reidel, Dordrecht.
33. Reiter R. On formalizing database updates: Preliminary report. Proc. 3rd Internat. Conference on Extending Database Technology. 1992;10-20.
34. Ryan M., Schobbens P. Intertranslating counterfactuals and updates. J. Logic, Language and Information. 6:(2):1997;123-146. Preliminary version in: W. Wahlster (Ed.), Proc. ECAI-96, 1996.
35. Thielscher M. Causality and the qualification problem. Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-96), Cambridge, MA. 1996;51-62.
36. Weber A. Updating propositional formulas. Proc. First Conference on Expert Database Systems. 1986;487-500.
37. Winslett M. Reasoning about action using a possible models approach. Proc. AAAI-88, St. Paul, MN. 1988;89-93.
38. Winslett M. Updating Logical Databases, Cambridge Tracts in Theoretical Computer Science. 1990;Cambridge University Press, Cambridge.
39. Zhang Y., Foo N.Y. Updating knowledge bases with disjunctive information. Proc. AAAI-96, Portland, OR. 1996;562-568.
40. Zhang Y., Foo N.Y. Update with disjunctive information: From syntactical and semantical perspective. J. Comput. Intelligence. 16:(1):2000;. to appear.