euzenat1990a (2024-03-15)

Le raisonnement hypothétique consiste à compléter la connaissance disponible afin de poursuivre un raisonnement. L'aide aux utilisateurs de systèmes de raisonnement hypothétique nécessite la conception d'algorithmes spécifiques, pour pouvoir gérer efficacement les hypothèses et leurs conséquences et pour permettre de poser automatiquement des hypothèses. Cette dernière exigence conduit à implémenter un raisonnement non monotone. Les systèmes de maintenance de la vérité enregistrent les inférences produites par un système de raisonnement sous forme d'un graphe de dépendances et se chargent de garantir la cohérence des formules présentes dans une base de connaissance. Deux types de systèmes de maintenance de la vérité ont été proposés: (i) Les systèmes à propagation acceptent des inférences non monotones et propagent la validité absolue au sein du graphe de dépendances. L'étiquetage obtenu représente une interprétation du graphe. (ii) Les systèmes à contextes n'acceptent que des inférences monotones mais propagent des étiquettes dénotant les contextes dans lesquels les formules doivent être présentes. Ils permettent donc de raisonner sous plusieurs contextes simultanément. Le but de ce travail est de concevoir un système qui combine leurs avantages. Il permet de raisonner simultanément sous plusieurs contextes à l'aide d'inférences non monotones. Pour cela, des environnements capables de tenir compte de l'absence d'hypothèses sont définis. Une interprétation est associée à ces environnements et est étendue aux noeuds du graphe de dépendances, en accord avec l'interprétation des systèmes à propagation. Cela permet d'établir la signification des étiquettes associées aux noeuds du graphe, et de proposer de multiples possibilités de soumettre des requêtes au système. Un système correspondant à cette caractérisation, le CP-TMS, est implémenté comme une extension des systèmes de maintenance de la vérité à propagation. Cette implémentation est décrite ici, puis critiquée.