Improvement operators

Proceedings of the International Conference on Knowledge Representation and Reasoning

Volumn , Issue , 2008, Pages 177-186

  Konieczny, Sébastien ^a   Pérez, Ramón Pino ^b  

^a UNIVERSITÉ D'ARTOIS   (France)

^b FACULTAD DE CIENCIAS   (Venezuela)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF REVISION; CHANGE OPERATORS; EPISTEMIC STATE;

KNOWLEDGE REPRESENTATION;

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

References (16)

1. Alchourŕon, C. E.; 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. Booth, R., and Meyer, T. 2006. Admissible and restrained revision. Journal of Artificial Intelligence Research 26:127-151.
3. Booth, R., and Meyer, T. 2007. On the dynamics of total preorders: Revising abstract interval orders. In Mellouli, K., ed., ECSQARU, volume 4724 of Lecture Notes in Computer Science, 42-53. Springer.
4. Booth, R.; Meyer, T.; and Wong, K.-S. 2006. A bad day surfing is better than a good day working: How to revise a total preorder. In Doherty, P.; Mylopoulos, J.; and Welty, C. A., eds., KR, 230-238. AAAI Press.
5. Boutilier, C. 1996. Iterated revision and minimal change of conditional beliefs. Journal of Philosophical Logic 25(3):262-305.
6. Darwiche, A., and Pearl, J. 1997. On the logic of iterated belief revision. Artificial Intelligence 89:1-29.
7. G̈ardenfors, P. 1988. Knowledge in flux. MIT Press.
8. Hansson, S. O. 1999. A Textbook of Belief Dynamics. Theory Change and Database Updating. Kluwer.
9. Herzig, A.; Konieczny, S.; and Perussel, L. 2003. On iterated revision in the agm framework. In Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'03), 477-488.
10. Jin, Y., and Thielscher, M. 2007. Iterated belief revision, revised. Artificial Intelligence 171:1-18.
11. Katsuno, H., and Mendelzon, A. O. 1991. Propositional knowledge base revision and minimal change. Artificial Intelligence 52:263-294.
12. Konieczny, S., and Pino Ṕerez, R. 2000. A framework for iterated revision. Journal of Applied Non-Classical Logics 10(3-4):339-367.
13. Lehmann, D. 1995. Belief revision, revised. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI'95), 1534-1540.
14. Nayak, A. C. 1994. Iterated belief change based on epistemic entrenchment. Erkenntnis 41:353-390.
15. 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. Kluwer. 105-134.
16. Williams, M. A. 1994. Transmutations of knowledge systems. In Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), 619-629.