Relevance sensitive belief structures

Annals of Mathematics and Artificial Intelligence

Volumn 28, Issue 1-4, 2000, Pages 259-285

  Chopra, Samir ^a   Parikh, Rohit ^a  

^a CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034364052     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018960323808     Document Type: Article

References (37)

1. Special issue on relevance, Artificial Intelligence 97(1-2) (1997).
2. C. Alchourron, P. Gärdernfors and D. Makinson, On the logic of theory change: Partial meet functions for contraction and revision, Journal of Symbolic Logic 50 (1985) 510-530.
3. N.D. Belnap, A useful four-valued logic, in: Modern Uses of Multiple-Valued Logic, eds. J.M. Dunn and G. Epstein (D. Reidel, Dordrecht).
4. G. Brewka, Belief revision in a framework for default reasoning, in: The Logic of Theory Change, eds. A. Fuhrmann and N. Morreau, Lecture Notes in Artificial Intelligence, Vol. 465 (Springer, Berlin, 1991) pp. 206-222.
5. C.C. Chang and J. Kiesler, Model Theory (North-Holland, Amsterdam, 1990).
6. S. Chopra and R. Parikh, An inconsistency tolerant model for belief representation and belief revision, in: Proceedings of the 16th International Joint Conference on Artificial Intelligence, (Morgan Kaufmann, San Mateo, CA, 1999) pp. 192-197.
7. M. Dalal, Investigations into a theory of knowledge base revision, in: Proceedings of the 7th National Conference of the American Association for Artificial Intelligence (Saint Paul, MN, 1988) pp. 475-479.
8. A. Darwiche, A logical notion of conditional independence: properties and applications, Artificial Intelligence 97(1-2)(8) (1997) 45-82.
9. A. Darwiche and J. Pearl, On the logic of iterated belief revision, in: Proceedings of Theoretical Aspects of Rationality and Knowledge (1994) pp. 5-23.
10. R. Epstein, The Semantical Foundations of Logic: Propositional Logics (Oxford University Press, 1995).
11. M. Fitting, Billatices and the theory of truth, Journal of Philosophical Logic 18 (1989) 225-256.
12. M. Fitting, The family of stable models, The Journal of Logic Programming 17 (1993) 197-225.
13. M. Fitting, A theory of truth that prefers falsehood, Journal of Philosophical Logic 26 (1997) 477-500.
14. A. Fuhrmann, Theory contraction through base revision, Journal of Philosophical Logic 20 (1991) 175-203.
15. P. Gärdenfors and D. Makinson, Revisions of knowledge systems using epistemic entrenchment, in: Proceedings of Theoretical Aspects of Reasoning about Knowledge, ed. M. Vardi (Morgan Kaufmann, Amsterdam, 1988) pp. 83-96, 661-672.
16. A. Grove, Two modellings for theory change, Journal of Philosophical Logic 17 (1988) 157-170.
17. S.O. Hansson, A dyadic representation of belief, in: Belief Revision, Theoretical Computer Science, ed. P. Gärdenfors (Cambridge University Press, Cambridge, 1992).
18. S.O. Hansson, In defense of base contraction, Synthese 91 (1992) 239-245.
19. S.O. Hansson and R. Wasserman, Local change, Technical Report PP-1999-17, Institute for Logic, Language and Computation (1999).
20. A. Herzig and O. Rifi, Prepositional belief base update and minimal change, Artificial Intelligence 115(1) (1999) 107-138.
21. H. Kyburg, Probability and the Logic of Rational Belief (Middletown, Wesleyan, CT, 1961).
22. H. Kyburg, Epistemology and Inference (University of Minnesota Press, Minneapolis, MN, 1983).
23. J. Lang and P. Marquis, Complexity results for independence and definability in prepositional logics, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (Morgan Kaufmann, San Mateo, CA, 1998) pp. 356-367.
24. D. McDermott, We've been framed, or why ai is innocent of the frame problem, in: The Robot's Dilemma, ed. Z. Pylyshyn (Ablex, 1987) pp. 113-122.
25. M. Minsky, The Society of Mind (Simon and Schuster, 1986).
26. A. Nayak, Iterated belief change based on epistemic entrenchment, Erkentennis 41 (1994) 353-390.
27. B. Nebel, Syntax based approaches to belief revision, in: Belief Revision, ed. P. Gärdenfors, Theoretical Computer Science (Cambridge University Press, Cambridge, 1992).
28. R. Parikh, Existence and feasibility in arithmetic, Journal of Symbolic Logic (1971).
29. R. Parikh, Beliefs, belief revision and splitting languages, in: Logic, Language and Computation, Vol. 2, eds. L. Moss, J. Ginzburg and M. de Rijke, CSLI Lecture Notes, Vol. 96 (CSLI Publications, 1999) pp. 266-268. Initially presented in: Preliminary Proceedings of Information Theoretic Approaches to Logic, Language and Computation (1996).
30. R. Parikh, Beliefs, belief revision and splitting languages, in: Logic, Language and Computation, Vol. 2, eds. L. Moss, J. Ginzburg and M. de Rijke, CSLI Lecture Notes, Vol. 96 (CSLI Publications, 1999) pp. 266-268. Initially presented in: Preliminary Proceedings of Information Theoretic Approaches to Logic, Language and Computation (1996).
31. P. Pudlak and S. Buss, How to lie without being easily convicted and the length of proofs in prepositional calculus, in: Proc. of 8th Workshop on Computer Science Logic, eds. Pacholski and Tiuryn, Kazimierz, Poland, September 1994, Lecture Notes in Computer Science, Vol. 933 (Springer, Berlin, 1995).
32. G. Restall and J. Slaney, Realistic belief revision, Technical Report TR-ARP-2-95, Automated Reasoning Project, Australian National University (1995).
33. O.T. Rodrigues, A methodology for iterated information change, Ph.D. thesis, Imperial College, University of London (1997).
34. H. Rott, Preferential belief change using generalized epistemic entrenchment, Journal of Logic, Language and Information 1 (1992) 45-78.
35. K. Tanaka, What does paraconsistency do? The case of belief revision, in: The Logica Yearbook (1997) pp. 188-197.
36. R. Wassermann, On structured belief bases, in: Frontiers in Belief Revision, eds. H. Rott and M.-A. Williams (Kluwer, Dordrecht, 1999) to appear.
37. M.-A. Williams, A practical approach to belief revision: Reason-based change, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference, eds. L. Aiello and S. Shapiro (Morgan Kaufmann, San Mateo, CA, 1996) pp. 412-421.