Modification de l'ATMS pour une prise en compte efficace de la justification d'hypothèses.

Résumé : L'ATMS est un système de maintient de la cohérence qui calcule pour chaque fait les ensembles d'hypothèses cohérentes dont il dépend (son label). La justification d'hypothèses dans l'ATMS, bien que possible, pose un problème combinatoire. En effet, la taille du label d'une hypothèse croit linéairement en fonction du nombre d'hypothèse qui la justifie. Or l'ATMS est d'une complexité exponentielle en fonction de la taille des labels. Nous proposons une modification de la définition des labels en considérant des environnements clos pour l'implication. Ainsi le label des hypothèses contient un unique environnement qui croit linéairement en fonction du nombre d'hypothèses qui la justifie. Le calcul de la clôture d'un environnement est d'une complexité polynomiale. Nous montrerons une application de cette technique pour le raisonnement temporel.
Type de document :
Communication dans un congrès
Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'11),, Jun 2011, Lyon, France. pp.88-98, 2011
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00684540
Contributeur : Sylvain Dekoker <>
Soumis le : lundi 2 avril 2012 - 14:13:59
Dernière modification le : jeudi 21 mars 2019 - 13:12:59
Document(s) archivé(s) le : mardi 3 juillet 2012 - 02:32:19

Fichier

dekoker-elfallah-taillibert.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00684540, version 1

Citation

Sylvain Dekoker, Amal El Fallah Seghrouchni, Patrick Taillibert. Modification de l'ATMS pour une prise en compte efficace de la justification d'hypothèses.. Cinquièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF'11),, Jun 2011, Lyon, France. pp.88-98, 2011. 〈hal-00684540〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

81