Distances entre bases de croyances

Proposition de sujet de DEA

Sujet

Certains opérateurs de fusion de bases de croyances (et de révision de bases de croyances) utilisent une notion de distance entre interprétations. Cette distance entre interprétations est ensuite utilisée pour définir une mesure entre bases de croyances. Or cette mesure induite n'est pas une distance (il lui manque quelques propriétés).

Le but de ce stage est double. D'un coté, explorer quelles sont les propriétés des opérateurs de fusion obtenus à partir de ``vraies'' distances entre bases de croyances : quelles sont les propriétés qui sont perdues et quelles sont les éventuelles nouvelles propriétés obtenues ?

De l'autre explorer les différentes distances définissables (on pourra s'inspirer de mesures de similarité existantes), et d'étudier quelles sont les plus appropriées dans le cadre de bases de croyances.

Pré-requis et mots-clés

Les pré-requis pour ce sujet ne sont pas très importants. Des notions de bases en logique et sur la révision de croyances suffisent.

Les domaines touchant à ce sujet peuvent se résumer dans les mots-clés suivants: logique propositionnelle, fusion de croyances, révision de croyances.

Encadrement

Pour toute question supplémentaire sur ce sujet, s'adresser à :

Bibliographie


[1] P. Gärdenfors. Knowledge in flux. Cambridge University Press. 1992.


[2] H. Katsuno , A. O. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52. p 263-294. 1991.


[3] S. Konieczny, R. Pino Pérez. Merging information under constraints : a qualitative framework. Journal of Logic and Computation, 12. p 773-808. 2002.


[4] S. Konieczny, J. Lang, P. Marquis. Distance-based Merging: A General Framework and some Complexity Results. Proceedings of KR'02. p 97-108. 2002


[5] S. Konieczny. Belief base merging as a game. Journal of Applied Non-Classical Logics. 14(3). p 275-294. 2004.

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.71)