Non-prioritized ranked belief change

Journal of Philosophical Logic

Volumn 32, Issue 4, 2003, Pages 417-443

  Chopra, Samir ^a   Aditya, Ghose ^b   Thomas, Meyer ^c  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b UNIVERSITY OF WOLLONGONG   (Australia)

^c UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

Belief change; Contraction; Non monotonic inference

Indexed keywords

EID: 23144457622     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1024888511283     Document Type: Article

References (26)

1. Alchourrón, C. E., Gärdenfors, P. and Makinson, D. (1985): On the logic of theory change: Partial meet functions for contraction and revision, J. Symbolic Logic 50, 510-530.
2. Benferhat, S., Cayrol, C., Dubois, D., Lang, J. and Prade, H. (1993): Inconsistency management and prioritized syntax-based entailment, in R. Bajcsy (ed.), IJCAI-93. Proceedings of the 13th International Joint Conference on Artificial Intelligence held in Chambery, France, August 28 to September 3, 1993. Morgan Kaufmann, San Mateo, CA, pp. 640-645.
3. Brewka, G. (1991): Belief revision in a framework for default reasoning, in A. Fuhrmann and N. Morreau (eds), The Logic of Theory Change, Lecture Notes in Artif. Intell. 465, Springer, Berlin, pp. 206-222.
4. Chopra, S., Georgatos, K. and Parikh, R. (2000): Relevance sensitive nonmonotonic inference on belief sequences, in Proceedings of NMR'2000, Full version appears in J. Appl. Non-Classical Logics, 2001.
5. Cross, C. B. and Thomason, R. H. (1992): Conditionals and knowledge-base-update, in P. Gärdenfors (ed.), Belief Revision, Cambridge Tracts Theoret. Comput. Sci. 29, Cambridge University Press, Cambridge, pp. 247-275.
6. Darwiche, A. and Pearl, J. (1994): On the logic of iterated belief revision, in Proceedings of Theoretical Aspects of Rationality and Knowledge, pp. 5-23.
7. Dubois, D., Lang, J. and Prade, H. (1994): Possibilistic logic, in Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, pp. 439-513.
8. Fagin, R., Halpern, J., Moses, Y. and Vardi, M. Y. (1995): Reasoning about Knowledge, MIT Press.
9. Fuhrmann, A. (1991): Theory contraction through base contraction, J. Philos. Logic 20, 175-203.
10. Galliers, J. R. (1992): Autonomous belief revision and communication, in P. Gärdenfors (ed.), Belief Revision, Theoretical Computer Science, Cambridge University Press, Cambridge, pp. 220-246.
11. Ghose, A. and Goebel, R. (1998): Belief states as default theories: Studies in nonprioritised belief change, in H. Prade (ed.), ECAI 98. 13th European Conference on Artificial Intelligence, Wiley, New York, pp. 8-12.
12. Grove, A. (1988): Two modellings for theory change, J. Philos. Logic 17, 157-170.
13. Hansson, S. (1997): Semi-revision, J. Appl. Non-Classical Logics 7(1-2), 151-175.
14. Hansson, S.-O. (1993): Changes of disjunctively closed bases, J. Logic, Language and Information 2(4), 255-284.
15. Hansson, S. O. (1999): A Textbook of Belief Dynamics, Kluwer Academic Publishers.
16. Hughes, G. and Cresswell, M. (1972): An Introduction to Modal Logic, Methuen.
17. Katsuno, H. and Mendelzon, A. (1991): Propositional knowledge base revision and minimal change, Artificial Intelligence 52, 263-294.
18. Kraus, S., Lehmann, D. and Magidor, M. (1990): Nonmonotonic reasoning, preferential models and cumulative logics, Artificial Intelligence 44, 167-207.
19. Lehmann, D. (1995): Belief revision, revised, in Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pp. 1534-1540.
20. Meyer, T. (2001): Basic Infobase Change, Studia Logica 67, 215-242.
21. Meyer, T. A., Labuschagne, W. A. and Heidema, J. (2000): Infobase change: A first approximation, J. Logic, Language and Information 9(3), 353-377.
22. Nebel, B. (1992): Syntax based approaches to belief revision, in P. Gärdenfors (ed.), Belief Revision, Theoretical Computer Science, Cambridge University Press, pp. 52-88.
23. Poole, D. (1988): A logical framework for default reasoning, Artificial Intelligence 36, 27-47.
24. Reiter, R. (1980): A Logic for Default Reasoning, Artificial Intelligence 13, 81-132.
25. Rott, H. (1996): Change, Choice and Inference, Oxford University Press.
26. Spohn, W. (1988): Ordinal conditional functions: A dynamic theory of epistemic states, in W. L. Harper and B. Skyrms (eds), Causation in Decision: Belief, Change and Statistics, Proceedings of the Irvine Conference on Probability and Causation: Vol. II, Univ. Western Ontario Ser. Philos. Sci. 42, Kluwer Academic Publishers, Dordrecht, pp. 105-134.