Une utilisation non monotone du calcul propositionnel clas - Laurent ...

5.3. Raisonnement fondé sur les cas
Le raisonnement fondé sur les cas est une approche du raisonnement qui procède par analogie. Un
système qui l’implante (CBR : cf. [Kass et al. 88], [Golding et al. 91]) adapte un raisonnement connu
réputé “assez proche” à une situation nouvelle. Le mécanisme de base est donc du type “pattern
matching”, et cet aspect est présent dans notre proposition. Toutefois la ressemblance s’arrête là car
les CBR ne mettent en oeuvre aucune capacité à produire un raisonnement.
5.4. Modèles préférentiels
Les approches de la non monotonie qui utilisent des modèles préférentiels sélectionnent des
interprétations dont la distance est réputée minimale avec une autre interprétation de référence
([Besnard et al. 88]). Notre distance quand à elle est calculée par rapport à l'ensemble des
théorèmes caractéristiques (atomiques ici) d'un contexte, ce qui constitue un changement de point de
vue conséquent. Nous avons aussi renoncé à l’utilisation possible de la circonscription ([McCarthy
80,86]) qui dans notre cas suppose l’introduction de propositions auxiliaires.
5.5. Approches probabilistes
[Craddock 93] aborde le même problème que nous du point de vue du calcul des prédicats selon une
approche probabiliste. Il utilise également une numérotation des individus qui est artificielle au
problème de départ, ce qui donne une grande ressemblance aux deux approches. Cette similitude
justifie d’ailleurs le choix du terme “classe de référence” qui est repris de [Kyburg 83]. L’inférence
non monotone décrite par [Craddock 93] repose sur des probabilités conditionnelles, alors que la
notre repose sur la relation classique d’inférabilité.
5.6. Logiques modales
Ces logiques ([McDermott 82]) ne sont pas célèbres pour leur simplicité d’utilisation. Notre approche
est essentiellement sémantique, et assortie de procédures de preuve.
5.7. Logique de défauts
D’une manière générale les logiques de défauts ([Reiter 80]) visent à décrire par une extension
appropriée au langage logique sous jacent des inférences possibles assorties d’exceptions isolées.
L’objectif est implicitement d’atteindre un langage sémantiquement adéquat et modulaire, i.e. où
les règles par défaut soient isolées des déclarations d’exceptions. Pourtant, les bases de connaissances
exprimées au moyen de ce type de logiques s’avèrent difficiles à maintenir, ce qui les prive
d’une partie de leur intérêt ([Al-Asady et al. 93]). Nous visons également cette modularité mais pour
des aspects qui peut être considérés comme primitifs par rapport au problème de l’héritage avec
exceptions. Une recherche en cours concerne la description de défauts avec exceptions qui soient
sémantiquement modulaires, en utilisant une approche dérivée de celle présentée ici. Ces travaux
pourront rapprocher notre proposition de ceux en cours dans le domaine des systèmes terminologiques,
qui tendent à incorporer des défauts ([Straccia 93], [Pagdam 93]).