Weak AGM postulates and strong Ramsey Test: A logical formalization

Artificial Intelligence

Volumn 168, Issue 1-2, 2005, Pages 1-37

  Giordano, Laura ^a   Gliozzi, Valentina ^a   Olivetti, Nicola ^b  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

AGM postulates; BCR; Belief revision systems; Conditional logics; Ramsey Test; Selection function models

Indexed keywords

SEMANTICS; THEOREM PROVING;

ISOMORPHISM; LOGICAL FORMALIZATION; RAMSEY TEST; REVISION TEST;

ARTIFICIAL INTELLIGENCE;

EID: 25144466544     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.artint.2005.06.004     Document Type: Article

References (34)

1. H. Arló Costa Epistemic conditionals, snakes, and stars L. Farinas del Cerro G. Crocco A. Herzig Conditionals, from Philosophy to Computer Science Studies in Logic and Computation vol. 5 1995 Oxford University Press Oxford 193 239
2. C.E. Alchourrón, P. Gärdenfors, and D. Makinson On the logic of theory change: Partial meet contraction and revision functions J. Symbolic Logic 50 1985 510 530
3. A. Darwiche, and J. Pearl On the logic of iterated belief revision Artificial Intelligence 89 1997 1 29
4. N. Friedman, J.Y. Halpern, Conditional logics of belief change, in: Proceedings of the National Conference on Artificial Intelligence (AAAI'94), Seattle, WA, 1994, pp. 915-921
5. P. Gärdenfors Belief Revision and the Ramsey Test for conditionals The Philosophical Review 95 1986 81 93
6. P. Gärdenfors Variations on the Ramsey Test: More triviality results Studia Logica 46 1987 319 325
7. P. Gärdenfors Knowledge in Flux: Modeling the Dynamics of Epistemic States 1988 MIT Press Cambridge, MA
8. L. Giordano, V. Gliozzi, and N. Olivetti A conditional logic for belief revision Proc. JELIA'98 Lecture Notes Artif. Intell. vol. 1489 1998 Springer Berlin 294 308
9. L. Giordano, V. Gliozzi, and N. Olivetti A conditional logic for iterated belief revision W. Horn Proc. 14th European Conference on Artificial Intelligence 2000 IOS Press Berlin
10. L. Giordano, V. Gliozzi, and N. Olivetti Conditional logic and iterated belief revision Studia Logica (Special Issue on Belief Revision) 2001
11. M.L. Ginsberg Counterfactuals Artificial Intelligence 30 1986 35 79
12. G. Grahne, Updates and counterfactuals, in: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), pp. 269-276
13. G. Grahne Updates and counterfactuals J. Logic Comput. 8 1 1998 87 117
14. A. Grove Two modellings for theory change J. Philos. Logic 17 1988 157 170
15. H. Katsuno, A.O. Mendelzon, On the difference between updating a knowledge base and revising it, in: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, 1991
16. H. Katsuno, K. Satoh, A unified view of consequence relation, belief revision and conditional logic, in: Proc. 12th International Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia, 1991, pp. 406-412
17. D. Lehmann Belief revision revised, in: Proc. 14th International Joint Conference on Artificial Intelligence (IJCAI'95), Montreal, Quebec, 1995, pp. 1534-1540
18. I. Levi Iteration of conditionals and the Ramsey Test Synthese 76 1988 49 81
19. D. Lewis Counterfactuals 1973 Blackwell Oxford
20. D. Lewis Probabilities of conditionals and conditional probabilities F. Jackson Conditionals 1991 Oxford University Press Oxford
21. S. Lindström, and W. Rabinowicz The Ramsey Test revisited G. Crocco L. Fariñas del Cerro A. Herzig Conditionals from Philosophy to Computer Science 1995 Oxford University Press Oxford
22. D. Makinson The Gärdenfors impossibility theorem in non-monotonic contexts Studia Logica 49 1990 1 6
23. M. Morreau Epistemic semantics for counterfactuals J. Philos. Logic 21 1992 33 62
24. W. Nejdl, The P-systems: A systematic classification of logics for nonmonotonicity, in: Proceedings of AAAI, Anaheim, CA, 1991. pp. 366-372
25. W. Nejdl, M. Banagl, Asking about possibilities - revision and update semantics for subjunctive queries, in: G. Lakemeyer, B. Nebel (Eds.), Lecture Notes in Artificial Intelligence, 1994, pp. 250-274
26. D. Nute Topics in Conditional Logic 1980 Reidel Dordrecht
27. D. Nute Conditional logic Handbook of Philosophical Logic, vol. II 1984 387 439
28. F.P. Ramsey A. Mellor Philosophical Papers 1990 Cambridge University Press Cambridge
29. H. Rott Ifs, though and because Erkenntnis 25 1986 345 370
30. H. Rott Conditionals and theory change: Revisions, expansions, and additions Synthese 81 1989 91 113
31. H. Rott, A nonmonotonic conditional logic for belief revision. Part 1: Semantics and logic of simple conditionals, in: A. Fuhrmann, M. Morreau (Eds.), The Logic of Theory Change, 1989, pp. 135-184
32. M.D. Ryan, and P.-Y. Schobbens Counterfactuals and updates as inverse modalities J. Logic Language Inform. 6 1997 123 146
33. W. Spohn, Ordinal conditional functions: A dynamic theory of epistemic states, in: W.L. Harper, B. Skyrms, (Eds.), Causation in Decision, Belief Change and Statistics 2, 1987, pp. 105-134
34. R. Stalnaker A theory of conditional N. Rescher Studies in Logical Theory, American Philosophical Quarterly Monograph Series vol. 2 1968 Blackwell Oxford 98 112