Non monotonic reasoning and belief revision: Syntactic, semantic, foundational and coherence approaches

Journal of Applied Non-Classical Logics

Volumn 7, Issue 1-2, 1997, Pages 213-240

  Del Val, Alvaro ^a  

^a UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

Belief revision; Non monotonic reasoning

Indexed keywords

EID: 0013383923     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1997.10510906     Document Type: Article

References (48)

1. Horacia L. Arlo-Costa and Scott J. Shapiro. Maps between nonmonotonicand conditional logic. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 1992
2. Carlos E. Alchourrón, Peter Gärdenfors, and David Makinson. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic, 50:510-530, 1985
3. Salem Benferhat, Claudette Cayrol, Didier Dubois, Jerome Lang, and Henri Prade. Inconsistency management and prioritized syntaxbased entailment. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993
4. Salem Benferhat, Didier Dubois, and Henri Prade. How to infer from inconsistent beliefs without revising. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1449-1455, 1995
5. Craig Boutillier. Normative, subjunctive and autoepistemic defaults: Adopting the Ramsey test. In Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 1992
6. Gerhard Brewka. Preferred subtheories: An extended logical framework for default reasoning. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1989
7. Mukesh Dalal. Investigations into a theory of knowledge base revision: Preliminary report. In AAA/'88, Proceedings of the Seventh American National Conference on Artificial Intelligence, 1988
8. John Doyle. A truth maintenance system. Artificial Intelligence, 12:231-272, 1979
9. Jon Doyle. Rational belief revision (preliminary report). In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
10. John Doyle. Reason maintenance and belief revision: Foundations vs. coherence theories. In Peter Gärdenfors, editor, Belief Revision. Cambridge University Press, 1992
11. Alvaro del Val. Belief Revision and Update. PhD thesis, Stanford University, 1993
12. Alvaro del Val and Yoav Shoham. Deriving properties of belief update from theories of action (2). In IJCAI'93, Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, pages 732-737, 1993
13. Alvaro del Val and Yoav Shoham. Deriving properties of belief update from theories of action. Journal of Logic, Language, and Information, 3:81-119, 1994. Also as Technical Report STAN-CSTR-TR-94-1501, Computer Science Department, Stanford University
14. Alvaro del Val and Yoav Shoham. A unified view of belief revision and update. Journal of Logic and Computation, 4:797-810, 1994. Special Issue on Actions and Processes
15. Charles Elkan. A rational reconstruction of nonmonotonic truth maintenance systems. Artificial Intelligence, 43:219-234, 1990
16. Nir Friedman and Joseph Halpern. A knowledge based framework for belief change (II): Revision and update. In J. Doyle, E. Sandewall, and P. Torassi, editors, Proceedings of Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 190-201, 1994
17. Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, and Moshe Y. Vardi. Updating logical databases. Advances in Computing Research, 3, 1986
18. Ronald Fagin, Jeffrey D. Ullman, and Moshe Y. Vardi. On thesemantics of updates in databases. In Proceedings of the Second A CM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1983
19. Peter Gärdenfors. Knowledge in Flux. The MIT Press, 1988
20. Peter Gärdenfors. The dynamics of belief systems: Foundations vs. coherence theories. Revue Internationale de Philosophie, 172:24-46, 1990
21. Peter Gärdenfors. Non monotonic reasoning based on expectations. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
22. Matthew L. Ginsberg. Counterfactuals. Artificial Intelligence, 30:35-79, 1986
23. Peter Gärdenfors and David Makinson. Revisions of knowledge systems using epistemic entrechment. In Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, 1988
24. Peter Gärdenfors and Hans Rott. Belief revision. In Dov M. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, val. IV. Oxford University Press, 1995
25. Adam Grove. Two modelings for theory change. Journal of Philosophical Logic, 17:157-170, 1988
26. Benjamin Grosof. Generalizing prioritization. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
27. S.O. Hansson. Theory contraction and base contraction unified. Journal of Symbolic Logic, 58:602-625, 1993
28. S.O. Hansson. Knowledge-level analysis of belief base operations. Artificial Intelligence, 82:215-235, 1996
29. Henry Kautz, Michael Kearns, and Bart Selman. Reasoning with characteristic models. In Proceedings of the Eleventh American National Conference on Artificial Intelligence, pages 34-39, 1993
30. Sarit Kraus, Daniel Lehmann, and Menachem Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-207, 1990
31. Hirofumi Katsuno and Alberto O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263-294, 1991
32. Hirofumi Katsuno and Ken Satoh. A unified view of consequence relations, belief revision and conditional logic. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991
33. David Makinson. How to give it up: A survey of some formal aspects of the logic of theory change. Synthèse, 1985
34. David Makinson. General patterns in nonmonotonic reasoning. In D. Gabbay, C.J. Hogger, and J.A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, pages 35-109. Oxford University Press, 1994
35. John McCarthy. Circumscription: A form of non-monotonic reasoning. In Matthew L. Ginsberg, editor, Readings in Non-Monotonic Reasoning {1987}. Morgan Kaufmann, 1981
36. John McCarthy. Applications of circumscription to formalizing common-sense knowledge. In Matthew L. Ginsberg, editor, Readings in Non-Monotonic Reasoning {1987). Morgan Kaufmann, 1986
37. Bernhard Nebel. A knowledge level analysis of belief revision. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, 1989
38. Bernhard Nebel. Belief revision and default reasoning: Syntaxbased approaches. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
39. Bernhard Nebel. Base revision operators and schemes: Semantics, representation, and complexity. In A.G. Cohn, editor, Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994
40. Allen Newell. The knowledge level. Artificial Intelligence, 18:87-127, 1982
41. David Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988
42. Stephen G. Pimentel and William L. Rodi. Belief revision and paraconsistency in a logic programming framework. In Proceedings of the First International Workshop on Logic Programming and Non Monotonic Reasoning, 1991
43. Michael Reinfrank, Oskar Dressler, and Gerd Brewka. On the relation between truth maintenance and autoepistemic logic. In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, 1989
44. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, 1980
45. Hans Rott. Belief contraction in the context of the gneeral theory of rational choice. Journal of Symbolic Logic, 58:1426-1450, 1993
46. Yoav Shoham. A semantical approach to non-monotonic logics. In Matthew L. Ginsberg, editor, Readings in Non-Monotonic Reasoning. Morgan Kaufmann, 1987
47. Marianne Winslett. A framework for comparison of update semantics. In Proceedings of the Seventh A CM Symposium on Principles of Database Systems, 1988
48. Mary-Anne Williams, Maurice Pagnucco, Norman Foo, and Brailey Sims. Determining explanations using transmutations. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 822-828, 1995