Belief change and pre-orders: A brief overview

International Journal of Geographical Information Science

Volumn 18, Issue 4, 2004, Pages 353-388

  Benferhat, Salem ^a   Lagrue, Sylvain ^b   Papini, Odile ^c  

^a UNIVERSITÉ D'ARTOIS   (France)

^b PRAXITEC   (France)

^c UNIVERSITÉ DE TOULON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

GEOGRAPHICAL THEORY; GIS; RESEARCH AND DEVELOPMENT;

EID: 2942562029     PISSN: 13658816     EISSN: None     Source Type: Journal    
DOI: 10.1080/13658810410001672890     Document Type: Short Survey

References (47)

1. Alchourron, C., Gärdenfors, P., and Makinson, D., 1985, On the logic of theory change: partial meet functions for contraction and revision. Journal of Symbolic Logic, 50, 510-530.
2. Benferhat, S., Dubois, D., Kaci, S., and Prade, H., 2002, Possibilistic merging and distance-based fusion of propositional information. Annals of Mathematics and Artificial Intelligence, 34, 217-252.
3. Benferhat, S., Dubois, D., Prade, H., and Williams, M., 1999, A practical approach to fusing and revising prioritized belief bases. In Proceedings of EPIA 99, LNAI no. 1695 (Berlin: Springer), pp. 222-236.
4. Benferhat, S., Konieczny, K., Papini, O., and Pino Pérez, R., 2000, Iterated revision by epistemic states: axioms, semantics and syntax. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI'2000), pp. 13-17.
5. Borgida, A., 1985, Language features for flexible handling of exceptions in information systems. ACM Transactions on Database Systems, 10, 563-603.
6. Boutilier, C., 1993, Revision sequences and nested conditionals. In Proceedings of IJCAI93, pp. 519-531.
7. Dalal, M., 1988, Investigations into the theory of knowledge base revision. In Proceedings of the 7th National Conference on Artificial Intelligence, pp. 475-164.
8. Darwiche, A., and Pearl, J., 1997, On the logic of iterated revision. Artificial Intelligence, 89, 1-29.
9. De Kleer, J., 1986, An assumption-based TMS. Artificial Intelligence, 28, 127-162.
10. Delgrande, J., Papini, O., and Schulte, O., 2003, Considerations on distance-based belief revision. In Proceedings of the Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), Acapulco, Mexico, August 10-11, 2003, pp. 1-10.
11. Doyle, J., 1979, A truth maintenance system. Artificial Intelligence, 12, 231-272.
12. Dubois, D., Lang, J., and Prade, H., 1994, Possibilistic logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, 439-513.
13. Dubois, D., and Prade, H., 1992, Belief change and possibility theory. In Belief Revision, edited by P. Gärdenfors (Cambridge: Cambridge University Press), pp. 142-182.
14. Dubois, D., and Prade, H., 1997, A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. International Journal of Approximate Reasoning, 17, 295-324.
15. Fagin, R., Kuper, G. M., Ullman, J. D., and Vardi, M. Y., 1986, Updating logical databases. Advances in Computing Research, 3, 1-18.
16. Fagin, R., Ullman, J. D., and Vardi, M. Y., 1983, On the semantic of updates in databases. In Proceedings of the 2nd Acm Symposium on Principles of Data Base Systems, pp. 352-365.
17. Forbus, K. D., 1989, Introducing actions into qualitative simulation. In Proceedings of 11th International Joint Confirence on Artificial Intelligence (IJCAI'89) (Morgan Kaufmann), pp. 1273-1278.
18. Friedman, N., and Halpern, J., 1994a, A knowledge-base for belief change, Part ii: Revision and update. In Proceedings of 4th Principle of Knowledge Representation and Reasoning Conference, pp. 190-201.
19. Friedman, N., and Halpern, J., 1994b, Conditional logics of belief change. In Proceedings of the AAAI International Conference, pp. 915-921.
20. Friedman, N., and Halpern, J., 1996, Belief revision: a critique. In Proceedings of 5th Principle of Knowledge Representation and Reasoning Conference, pp. 421-431.
21. Gärdenfors, P., 1988, Knowledge in Flux: Modeling the Dynamics of Epistemic States. Bradford Books (Cambridge, MA: MIT Press).
22. Herzig, A., and Rifi, O., 1999, Propositional belief base update and minimal change. Artificial Intelligence, 115, 107-138.
23. Jeansoulin, R., and Papini, O., 2000, Révision et information spatiale. In Le temps, l'éspace et l'évolutif en sciences du traitement de l'information, edited by R. Jeansoulin, H. Prade and C. Garbay (Cépadues-éditions), pp. 293-304.
24. Katsuno, H., and Mendelzon, A., 1991a, On the difference between updating a knowledge base and revising it. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pp. 387-394.
25. Katsuno, H., and Mendelzon, A., 1991b, Propositional knowledge base revision and minimal change. Artficial Intelligence, 52, 263-294.
26. Konieczny, S., and Pino Pérez, R., 1998, On the logic of merging. In Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, pp. 488-498.
27. Konieczny, S., and Pino Pérez, R., 1999, Merging with integrity constraints. In Proceedings of the Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'99), LNAI 1638, pp. 233-244.
28. Lang, J., 2000, Possibilistic logic: complexity and algorithms. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 5, pp. 179-220.
29. Lehmann, D., 1995, Belief revision revisited. In Proceedings of 14th International Joint Conference on Artificial Intelligence (Morgan Kaufmann), pp. 1534-1539.
30. Liberatore, P., and Schaerf, M., 1995, Arbitration: a commutative operator for belief revision. In Proceedings of Second World Conference on the Fundamentals of Artificial Intelligence, pp. 217-228.
31. Lin, J., 1996, Integration of weighted knowledge bases. Artficial Intelligence, 83, 363-378.
32. Lin, J., and Mendelzon, A., 1998, Merging databases under constraints. International Journal of Cooperative Information Systems, 7, 55-76.
33. Papini, O., 2000, Knowledge-base revision. The Knowledge Engineering Review., 15, 339-370.
34. Papini, O., 2001, Iterated revision operations stemming from the history of an agent's observations. In Frontiers of Belief Revision, pp. 279-301.
35. Pearl, J., 1990, System z: a natural ordering of defaults with tractable applications to default reasoning. In Proceedings of the 3rd Conference on Theoretical Aspects of Rationality and Knowledge, edited by R. Parikh (Morgan Kaufmann), pp. 121-135.
36. Puech, C., and Raclot, D., 2001, What does AI contribute to hydrology? The example of aerial pictures used to determine flooding levels. In Proceedings of ECSQARU'2001 Workshop on Spatio-Temporal Reasoning and Geographic Information Systems, edited by R. Jeansoulin and O. Papini (IRIT).
37. Revesz, P. Z., 1993, On the semantics of theory change: arbitration between old and new information. In 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases, pp. 71-92.
38. Revesz, P. Z., 1997, On the semantics of arbitration. International Journal of Algebra and Computation, 7, 133-160.
39. Schelchta, K., Lehmann, D., and Magidor, M., 1996, Distance semantics for belief revision. In Proceedings of the 6th Conference on Theoretical Aspects of Rationality and Knowledge, San Francisco (Morgan Kaufmann), 137-145.
40. Spohn, W., 1988, Ordinal conditional functions: a dynamic theory of epistemic states. In Causation in Decision, Belief Change, and Statistics, pp. 105-134.
41. Williams, M. A., 1994, Transmutations of knowledge systems. In Proceedings of 4th Principle of Knowledge Representation and Reasoning Conference, pp. 619-629.
42. Williams, M. A., 1995, Iterated theory base change: a computational model. In Proceedings of 14th International Joint Conference on Artificial Intelligence, pp. 1541-1547.
43. Winslett, M., 1988, Reasoning about action using a possible models approach. In Proceedings of the 7th National Conference on Artificial Intelligence, pp. 89-93.
44. Winslett, M., 1990, Updating logical databases. In Cambridge Tracts in Theoretical Computer Science (Cambridge: Cambridge University Press).
45. Wurbel, E., Jeansoulin, R., and Papini, O., 2000, Revision: an application in the framework of gis. In Proceedings of Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000), edited by A. G. Cohn, F. Giunchiglia and B. Selman (Morgan Kaufmann), pp. 505-518.
46. Wurbel, E., Jeansoulin, R., and Papini, O., 2001, Spatial information revision: A comparision between 3 approaches. In Proceedings of Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001. Lecture Notes in Artificial Intelligence, 2143, edited by S. Benferhat and P. Besnard (Berlin: Springer), pp. 454-465.
47. Zhang, Y., and Foo, N. Y., 1996, Updating knowledge bases with disjunctive information. In Proceedings of the National Conference on Artificial Intelligence (AAAI'96) (AAAI Press, MIT Press), pp. 562-568.