Logiques non-monotones

FUNDP-INFO-3102 -- P.-Y. Schobbens -- 30-0-0 -- Cours de 3ème cycle

Objectif

On veut donner ici un panorama des techniques et des problèmes actuels dans ce domaine, en insistant lorsque possible sur les aspect unificateurs.

Prérequis

• Logique du premier ordre :
  ULB-INFO-362: Eléments de logique appliquée à l'informatique
  FUNDP-INFO-2209: Techniques d'Intelligence Artificielle

Contenu

1. Les problèmes à résoudre : exemples, problème du ``cadre'', problème de la ramification, problème de la prédiction, problème de l'explication. Lien avec la révision de croyances et les logiques conditionnelles (contrefactuelles). Applications en logique déontique.
2. Logiques préférentielles : circonscription, minimisation chronologique. Théorie des logiques préférentielles générales. Les défauts supernormaux comme logique préférentielle.
3. Logiques de défauts: définition, variantes, défauts normaux et supernormaux.
4. Logiques argumentatives.

Pédagogie

Cours avec examen oral. Quelques exercices pendant le cours.

Références

2
Philippe Besnard, Default Logic, Springer-Verlag, 1989.
3
Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge University Press, 1991.
4
Grigoris Antoniou, "Nonmonotonic Reasoning", The MIT Press, 1997.
5
Victor Marek and Miros aw Truszcczynski, "Nonmonotonic logic: Context-Dependent Reasoning", Springer-Verlag, 1994.