Étendre le TMS vers les contextesReport as inadecuate




Étendre le TMS vers les contextes - Download this document for free, or read online. Document in PDF available to download.

1 ARTEMIS - IMAG

Résumé : Les systèmes de maintenance de la vérité ont été conçus pour raisonner à l-aide de connaissance incomplète. Un système de maintenance de la vérité qui combine les avantages des TMS - autorisant l-utilisation d-inférences non monotones - et des ATMS - considérant le raisonnement sous plusieurs contextes simultanément - est présenté. Il maintient un graphe de dépendances entre les objets utilisés par un système de raisonnement et propage à travers ce graphe les contextes dans lesquels les noeuds sont valides. Une théorie de l-interprétation des contextes est présentée. Elle garantit certaines bonnes propriétés aux contextes manipulés par l-implémentation. Les réponses aux requêtes peuvent alors être interprétées sur la base théorique ainsi posée.

Mots-clés : Raisonnement hypothétique Raisonnement multi-monde Raisonnement non monotone Systèmes de maintenance de la vérité





Author: Jérôme Euzenat -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents