Three scenarios for the revision of epistemic states

Journal of Logic and Computation

Volumn 18, Issue 5, 2008, Pages 721-738

  Dubois, Didier ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

Bayesian networks; Belief functions; Belief revision; Non monotonic reasoning; Possibility theory; Probability theory; Uncertainty

Indexed keywords

GALLIUM; KETONES; KNOWLEDGE BASED SYSTEMS;

BACKGROUND INFORMATION; BAYESIAN NETWORKS; BELIEF FUNCTIONS; BELIEF REVISION; DEFAULT RULES; EPISTEMIC STATES; KNOWLEDGE BASE; NON-MONOTONIC REASONING; POSSIBILITY THEORY; POSSIBLE WORLDS; PROBABILISTIC REASONING; PROBABILITY THEORY; UNCERTAINTY;

LAWS AND LEGISLATION;

EID: 52649177174     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exm092     Document Type: Conference Paper

References (60)

1. E. Adams. The Logic of Conditionals. Reidel, UK, Dordrecht, The Netherlands, 1975.
2. C. Alchourrón, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50, 510-530, 1985.
3. N. Ben-Amor, S. Benferhat, and K. Mellouli. Anytime propagation algorithm for min-based possibilistic graphs. Soft Computing, 8, 150-161, 2003.
4. S. Benferhat, D. Dubois, L. Garcia, and H. Prade. On the transformation between possibilistic logic bases and possibilistic causal networks. International Journal of Approximate Reasoning, 29, 135-173, 2002.
5. S. Benferhat, D. Dubois, S. Kaci, and H. Prade. Encoding information fusion in possibilistic logic: a general framework for rational syntactic merging. In Proceedings of 14th European Conference on Artificial Intelligence (ECAI2000), pp. 3-7. IOS Press, Amsterdam, 2000.
6. S. Benferhat, D. Dubois, S. Lagrue, and O. Papini. Making revision reversible: an approach based on polynomials. Fundamenta Informaticae, 53, 251-280, 2002.
7. S. Benferhat, D. Dubois, and H. Prade. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence, 92, 259-276, 1997.
8. S. Benferhat, D. Dubois, and H. Prade. Possibilistic and standard probabilistic semantics of conditional knowledge. Journal of Logic and Computation, 9, 873-895, 1999.
9. S. Benferhat, D. Dubois, H. Prade, and M.A.Williams.Apractical approach to fusing prioritized knowledge bases. In Proceedings of 9th Portuguese Conference on Artificial Intelligence, Lecture Notes in Artificial Intelligence, pp. 222-236. Springer, Berlin, 1999.
10. S. Benferhat, D. Dubois, H. Prade, and M.A. Williams. A practical approach to revising prioritized knowledge bases. Studia Logica, 70, 105-130, 2002.
11. S. Benferhat and S. Kaci. Fusion of possibilistic knowledge bases from a postulate point of view. International Journal of Approximate Reasoning, 33, 255-285, 2003.
12. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo. Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning in System P. Journal of Applied Non-Classical Logics, 12, 189-213, 2002.
13. C. Boutilier. Revision sequences and nested conditionals. In Proceedings of IJCAI'93, pp. 519-525, AAAI Press, Menlo Park, CA, 1993.
14. C. Boutilier, R. I. Brafman, C. Domshlak, H. H. Hoos, and D. Poole. Cp-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research, 21, 135-191, 2004.
15. C. Boutilier and M. Goldszmidt. Revision by conditionals beliefs. In Proceeding of the 11th National Conference on Artificial Intelligence (AAAI'93), pp. 649-654. AAAI Press, Menlo Park, CA, 1993.
16. A. Darwiche and J. Pearl. On the logic of iterated belief revision. Artificial Intelligence, 89, 1-29, 1997.
17. Z. Domotor. Probability kinematics and representation of belief change. Philosophy of Science, 47, 284-403, 1980.
18. Z. Domotor. Probability kinematics - conditional and entropy principles. Synthese, 63, 74-115, 1985.
19. D. Dubois, H. Fargier, and H. Prade. Ordinal and probabilistic representations of acceptance. Journal of Artificial Intelligence Research, 22, 23-56, 2004.
20. D. Dubois, H. Fargier, and H. Prade. Acceptance, conditionals, and belief revision. In Conditionals, Information, and Inference, Vol. 3301 of Lecture Notes in Artificial Intelligence, pp. 38-58. Springer, Berlin, 2005.
21. D. Dubois, J. Lang, and H. Prade. Possibilistic logic. Handbook of Logic in Artificial Intelligence and Logic Programming, In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, eds, Vol. 3, pp. 439-513. Clarendon Press, Oxford, 1994.
22. D. Dubois, S. Moral, and H. Prade. Belief change rules in ordinal and numerical uncertainty theories. In: Belief Change, Dubois, D. Prade, H., eds., Vol. 3 in Handbook on Defeasible Reasoning and Uncertainty Management Systems, KluwerAcad. Publ., Dordrecht, pp. 311-392, 1998.
23. D. Dubois and H. Prade. Belief change and possibility theory. In: Belief Revision, P. Gärdenfors, ed., pp. 142-182. Cambridge University Press, Cambridge UK, 1992.
24. D. Dubois and H. Prade. Non-standard theories of uncertainty in knowledge representation and reasoning. The Knowledge Engineering Review, 9, 399-416, 1994.
25. D. Dubois and H. Prade. A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. International Journal of Approximate Reasoning, 17, 295-324, 1997.
26. D.Dubois and H.Prade. Possibility theoryininformation fusion. In Data Fusion and Perception. Vol. 431 of CISM Courses and Lectures, pp. 53-76. Springer, Berlin, 2001.
27. P. C. Fishburn. The axioms of subjective probabilities. Statistical Science, 1, 335-358, 1986.
28. M. Freund. On the revision of preferences and rational inference processes. Artificial Intelligence, 152, 105-137, 2004.
29. N. Friedman and J. Halpern. Belief revision: a critique. In Proceedings of KR'96, pp. 421-631, 1996.
30. N. Friedman and J. Y. Halpern. Plausibility measures and default reasoning. In Proceedings of AAAI'96, International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann, San Francisco, pp. 1297-1304, 1996.
31. P. Gärdenfors. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press, AAAI Press, Menlo Park, Ca, 1988.
32. P. Gärdenfors and D. Makinson. Nonmonotonic inference based on expectations. Artificial Intelligence, 65, 197-245, 1994.
33. A. Grove. Two modellings for theory change. Journal of Philosophical Logic, 17, 157-170, 1988.
34. Pedrito Maynard-Reid II and Yoav Shoham. Belief fusion: aggregating pedigreed belief states. Journal of Logic, Language and Information, 10, 183-209, 2001.
35. J. Lang, J. Delgrande and D. Dubois. Iterated belief revision as prioritized merging. In Proceedings of KR'06, Windermere, UK, International Conference on Principles of Knowledge Representation and Reasoning, AAAI Press, Menlo Park, CA, pp. 210-220, 2006.
36. R. Jeffrey. The Logic of Decision. McGraw-Hill, New York, 1965.
37. Y. Jin and M. Thielscher. Iterated revision, revised. In Proceedings of IJCAI'05, pp. 478-483, 2005.
38. Kevin T. Kelly. Iterated belief revision, reliability, and inductive amnesia. Erkenntnis, 50, 7-53, 1999.
39. G. Kern-Isberner. Conditionals in Nonmonotonic Reasoning and Belief Revision. Vol. 2087 of Lecture Notes in Artificial Intelligence. Springer, Berlin, 2001.
40. S. Konieczny and R. Pino Pérez. Merging information under constraints: a qualitative framework. Journal of Logic and Computation, 12, 773-808, 2002.
41. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 167-207, 1990.
42. D. Lehmann. Belief revision, revised. In Proceedings of IJCAI'95, pp. 1534-1540, AAAI Press, Menlo Park, Ca, 1995.
43. D. Lehmann and M. Magidor. What does a conditional knowledge base entail? Artificial Intelligence, 55, 1-60, 1992.
44. D. Lewis. Counterfactuals. Basil Blackwell, UK, 1973.
45. D.Makins on and P.Gärdenfors. Relations between the logicoftheory change and nonmonotonic logic. In The Logic of Theory Change. Vol. 465 of Lecture Notes in Artificial Intelligence, pp. 185-205. Springer, Berlin, 1991.
46. I. Maung. Two characterizations of a minimum information principle for possibilistic reasoning. International Journal of Approximate Reasoning, Morgan Kaufmann, San Francisco, 12, 133-156, 1995.
47. A. Nayak. Iterated belief change based on epistemic entrenchment. Erkenntnis, 41, 353-390, 1994.
48. A. Nayak, N. Foo, M. Pagnucco, and A. Sattar. Changing conditional beliefs unconditionally. In Proceedings of TARK96, pp. 119-135, 1996.
49. A. Nayak, M. Pagnucco, and P. Peppas. Dynamic belief revision operators. Artificial Intelligence, 146, 193-228, 2003.
50. J. Paris. The Uncertain Reasoner's Companion. Cambridge University Press, Cambridge, 1994.
51. J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, San Francisco, 1988.
52. J. Pearl. System z: a natural ordering of defaults with tractable applications to default reasoning. In Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge (TARK'90), pp. 121-135. Morgan & Kaufmann, San Mateo, CA, 1990.
53. H. Rott. Change, Choice and Inference. Oxford University Press, Oxford, UK, 2001.
54. G. Shafer. A Mathematical Theory of Evidence. Princeton University Press, Princeton, N.J., 1976.
55. W. Spohn. Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change and Statistics, William L. Harper and Brian Skyrms, eds, volume 2, pp. 105-134. Kluwer Academic Publishers, Dordrecht, The Netherlands, 1988.
56. B. van Fraassen. Rational belief and probability kinematics. Philosophy of Science, 47, 165-187, 1980.
57. B. van Fraassen. A problem for relative information minimizers. British Journal of the Philosophy of Science, 33, 375-379, 1981.
58. E. Weydert. Howtorevise ranked probabilities. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000), pp. 38-44. IOS Press, Amsterdam, 2000.
59. M. A. Williams. Iterated theory-based change. In Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI'95), pp. 1541-1550, AAAI Press, Menlo Park, Ca, 1995.
60. M. A. Williams. On the logic of theory base change. In Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA'95). Vol. 838 of Lecture Notes in Computer Sciences, pp. 1541-1550, Springer Verlag, Berlin, 1995.