Révision AGM

Introduction Révision AGM

• Les transparents du séminaire: AGM
• Articles:
  • C. E. Alchourron, P. Gärdenfors and D. Makinson, On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic 50. p 510-530. 1985.
  • H. Katsuno and A. O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence 52. p 236-294. 1991.
  Ces articles sont l'introduction idéale mais, étant assez anciens, il est difficile de les obtenir en ligne. Une autre possibilité est de lire l'état de l'art de ma thèse: Révision AGM (si vous préférez la version intégrale, c'est ici).
• Pour en savoir plus sur la révision AGM, les trois bouquins incontournables sont:
  • P. Gärdenfors. Knowledge in flux. MIT Press. 1988.
  • P. Gärdenfors (ed). Belief Revision. Cambridge University Press. 1992.
  • S.O. Hansson. A Textbook of Belief Dynamics. Kluwer. 1997.
  Un bouquin récent en français sur la révision de croyances:
  • P. Livet (ed). Révision des croyances. Traité des sciences cognitives. Hermes. 2002.

Fusion de Croyances

• Les transparents du s\'eminaire: Fusion (version imprimable)
• Les principaux articles correspondants:
  • S. Konieczny, R. Pino Perez. Merging information under constraints: a logical framework, Journal of Logic and Computation 12(5). p 773-808. 2002.
  • S. Konieczny. On the difference between merging knowledge bases and combining them. Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'00). p 135-144. 2000
  • S. Konieczny, J. Lang, P. Marquis. DA2 merging operators, Artificial Intelligence 157(1-2). p 49-79. 2004.
  • S. Konieczny. Belief base merging as a game, Journal of Applied Non-Classical Logics. 14(3). p 275-294. 2004.

Révision Itérée

• L'article sur lequel était basé le séminaire: Révision itérée
• Les principaux articles sur la révision itérée:
  • A. Darwiche, J. Pearl. On the logic of iterated belief revision, Artificial Intelligence 89. p. 1-29. 1997.
  • D. Lehmann. Belief revision, revised. Fourteenth Internation Joint Conference on Artificial Intelligence (IJCAI'95). p. 1534-1540. 1995.
  • W. Spohn. Ordinal conditional functions : a dynamic theory of epistemic states. Harper W. L., Skyrms B., Eds., Causation in Decision, Belief Change, and Statistics, vol. 2, p. 105-134, 1987.
  • M. A. Williams, Transmutations of knowledge systems. Proceedings of the Fourth International Conference on the Principles of Knowledge Representation and Reasoning (KR'94), p. 619-629, 1994.
  • N. Friedman, J. Halpern. Belief revision : a critique. Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), p. 421-431, 1996.
  • R. Booth, Th. Meyer. Admissible and Restrained Revision. Journal of Artificial Intelligence Research, to appear.
  • Y. Jin, M. Thielscher. Iterated Belief Revision, Revised. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05). p. 478-483, 2005.
  • J. P. Delgrande, D. Dubois, J. Lang. Iterated Revision as Prioritized Merging. Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR'06). p 210-220, 2006.
  • H. Rott. hifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators. Manuscript. 2006.