Iterated revision as prioritized merging

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2006, Pages 210-220

  Delgrande, James ^a   Dubois, Didier ^b   Lang, Jérôme ^b  

^a SIMON FRASER UNIVERSITY   (Canada)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION;

BELIEF CHANGE; BELIEF REVISION; MERGING OPERATORS;

MERGING;

EID: 33846090042     PISSN: 23341025     EISSN: 23341033     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. Alchourŕon, C.; G̈ardenfors, P.; and Makinson, D. 1985. On the logic of theory change : partial meet contraction and revision functions. Journal of 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 Proceedings of IJCAI'93, 640-645.
3. Boutilier, C., and Goldszmidt, M. 1993. Revision by conditionals beliefs. In Proc. of the 11th National Conf. on Artificial Intelligence (AAAI'93).
4. Boutilier, C. 1993. Revision sequences and nested conditionals. In Proceedings of IJCAI'93.
5. Brewka, G. 1989. Preferred subtheories: an extended logical framework for default reasoning. In Proceedings of the 11th International Joint Conference on Artificial Intelligence (IJCAI'89), 1043-1048.
6. Chopra, S.; Ghose, A.; and Meyer, T. 2003. Nonprioritized ranked belief change. Journal of Philosophical Logic 32(4):417-443.
7. Darwiche, A., and Pearl, J. 1997. On the logic of iterated belief revision. Artificial Intelligence 89:1-29.
8. Delgrande, J., and Schaub, T. 2004. Two approaches to merging knowledge bases. In 9th European Conference on Logics in Artificial Intelligence, 426-438.
9. Domotor, Z. 1980. Probability kinematics and representation of belief change. Philosophy of Science 47:284-403.
10. Dubois, D., and Prade, H. 1988. Representation and combination of uncertainty with belief functions and possibility measures. Computational Intelligence 4(4):244-264.
11. Dubois, D., and Prade, H. 1991. Epistemic entrenchment and possibilistic logic. Artificial Intelligence 50:223-239.
12. Dubois, D., and Prade, H. 1992. Belief change and possibility theory. In G̈ardenfors, P., ed., Belief Revision. Cambridge University Press. 142-182.
13. Dubois, D., and Prade, H. 1997. A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. Int. J. of Approximate Reasoning 17:295-324.
14. Dubois, D.; Fargier, H.; and Prade, H. 2004. Ordinal and probabilistic representations of acceptance. J. Artificial Intelligence Research 22:23-56.
15. Dubois, D.; Lang, J.; and Prade, H. 1994. Possibilistic logic. In Gabbay, D.; Hogger, C.; and Robinson, J., eds., Handbook of logic in Artificial Intelligence and logic programming, volume 3. Clarendon Press - Oxford. 439-513.
16. Dubois, D.; Moral, S.; and Prade, H. 1998. Belief change rules in ordinal and numerical uncertainty theorie. In Belief Change. Kluwer. 311-392.
17. Everaere, P.; Konieczny, S.; and Marquis, P. 2005. Quota and gmin merging operators. In Proceedings of IJCAI'05.
18. Freund, M., and Lehmann, D. 1994. Belief revision and rational inference. Technical Report Tech. Report TR-94- 16, Institute of Computer Science, The Hebrew University of Jerusalem.
19. Freund, M. 2004. On the revision of preferences and rational inference processes. Artificial Intelligence 152:105- 137.
20. Friedman, N., and Halpern, J. 1996. Belief revision: A critique. In Proceedings of KR'96, 421-631.
21. Friedman, N., and Halpern, J. 1999. Modeling beliefs in dynamic systems. part 2: revision and update. JAIR 10:117-167.
22. G̈ardenfors, P., and Makinson, D. 1994. Nonmonotonic inference based on expectations. Artificial Intelligence 65:197-245.
23. G̈ardenfors, P. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. MIT Press.
24. Grove, A. 1988. Two modellings for theory change. J. Philos. Logic 17:157-170.
25. Jeffrey, R. 1965. The logic of decision. McGraw-Hill.
26. Jin, Y., and Thielscher, M. 2005. Iterated revision, revised. In Proc. IJCAI'05, 478-483.
27. Katsuno, H., and Mendelzon, A. 1991. Propositional knowledge base revision and minimal change. Artificial Intelligence 52:263-294.
28. Konieczny, S., and Pino-Ṕerez, R. 2000. A framework for iterated revision. Journal of Applied Non-classical logics 10(3-4).
29. Konieczny, S., and Pino Ṕerez, R. 2002. Merging information under constraints: a qualitative framework. Journal of Logic and Computation 12(5):773-808.
30. Konieczny, S.; Lang, J.; and Marquis, P. 2004. Da2 merging operators. Artificial Intelligence.
31. Laverny, N., and Lang, J. 2005. From knowledge-based programs to graded belief based programs, part I: on-line reasoning. Synthese 147(2):277-321.
32. Lehmann, D. 1995a. Another perspective on default reasoning. Annals of Mathematics and Artificial Intelligence 15(1):61-82.
33. Lehmann, D. 1995b. Belief revision, revised. In Proceedings of IJCAI'95, 1534-1540.
34. Meyer, T. 2001. On the semantics of combination operations. Journal of Applied NonClassical Logics 11(1-2):59- 84.
35. Nayak, A.; Foo, N.; Pagnucco, M.; and Sattar, A. 1996. Changing conditional beliefs unconditionally. In Proceedings of TARK96, 119-135.
36. Nayak, A.; Pagnucco, M.; and Peppas, P. 2003. Dynamic belief revision operators. Artificial Intelligence 146:193- 228.
37. Nayak, A. 1994. Iterated belief change based on epistemic entrenchment. Erkenntnis.
38. Nebel, B. 1991. Belief revision and default reasoning: Syntax-based approaches. In Proceedings of KR'91, 417- 428.
39. Nebel, B. 1994. Base revision operations and schemes: Semantics, representation, and complexity. In Proceedings of ECAI'94, 341-345.
40. Shafer, G. 1976. A mathematical theory of evidence. Princeton University Press.
41. Spohn, W. 1988. Ordinal conditional functions: a dynamic theory of epistemic states. In Harper, W. L., and Skyrms, B., eds., Causation in Decision, Belief Change and Statistics, volume 2. Kluwer Academic Pub. 105.134.
42. van Fraassen, B. 1981. A problem for relative information minimizers. British J. of the Philosophy of Science 33:375- 379.
43. Williams, M. 1995. Iterated theory-based change. In Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI'95), 1541-1550.