Étendre le TMS vers les contextesReportar como inadecuado




Étendre le TMS vers les contextes - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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é





Autor: Jérôme Euzenat -

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



DESCARGAR PDF




Documentos relacionados