Le raisonnement hypothétique consiste à compléter la connaissance<br />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:<br /><br />- 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.<br /> <br />- 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<br />permettent donc de raisonner sous plusieurs contextes<br />simultanément.<br />Le but de ce travail est de concevoir un système qui combine leurs<br />avantages. Il permet de raisonner simultanément sous plusieurs<br />contextes à l'aide d'inférences non monotones. Pour cela, des<br />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,<br />est implémenté comme une extension des systèmes de maintenance de la vérité à propagation. Cette implementation est décrite ici, puis critiquée.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00004714 |
Date | 16 February 1990 |
Creators | Euzenat, Jérome |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0152 seconds