La dialogique est un cadre conceptuel permettant l'expression des notions fondamentales de la logique en termes empruntés à la théorie des jeux. On a jusqu'ici exploré le cas des logiques monotones où une nouvelle information disponible est toujours considérée comme une ressource supplémentaire, ouvrant éventuellement au joueur chargé de la preuve (le Proposant, P) de nouvelles stratégies de victoire pour accomplir sa tâche. Nous proposons d'étendre notre attention aux cas dans lesquels une nouvelle information peut interagir avec l'ensemble des informations déjà disponibles, processus à l'issue duquel il est possible que des stratégies de victoire pour P cessent d'être disponibles. Ces dialogues non-monotones permettent d'étendre la perspective des jeux logiques à des flux d'information plus complexes et en particulier aux problèmes de révision des croyances, d'une part, et d'autre part aux problèmes de l'interprétation des assertions dans les systèmes dialogique de construction d'un argument. Nous montrerons en particulier comment les dialogues à flux d'information complexe capturent certaines opérations de conséquence logique devenues classiques dans la littérature sur le raisonnement non monotone.
Littérature :|
|
|