Calcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité)

Nada Abdallah 1, 2 François Goasdoué 1, 2
2 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Résumé : Dans cet article, nous étudions le calcul de conséquences dans les systèmes d'inférence pair-à-pair (P2PIS) propositionnels avec des mappings orientés. Dans ces systèmes, un mapping allant d'un pair vers un autre spécifie un ensemble de connaissances que le premier pair doit observer, ainsi que les connaissances qu'il doit notifier au second pair si les connaissances observées sont satisfaites. Ces nouveaux P2PIS pouvant modéliser de nombreuses applications réelles, il est important de les doter d'inférences clés de l'IA, en l'occurrence du calcul de conséquences. Nos contributions sont doubles. Nous définissons tout d'abord le premier cadre logique pour représenter des P2PIS propositionnels avec des mappings orientés. Nous étudions ensuite le calcul de conséquences dans ce nouveau cadre. En particulier, nous proposons un algorithme totalement décentralisé pour ce problème.
Type de document :
Communication dans un congrès
Reconnaissance des Formes et Intelligence Artificielle (RFIA), Jan 2008, Amiens, France. 2008
Liste complète des métadonnées

https://hal.inria.fr/inria-00429723
Contributeur : François Goasdoué <>
Soumis le : mercredi 4 novembre 2009 - 10:22:56
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : inria-00429723, version 1

Collections

Citation

Nada Abdallah, François Goasdoué. Calcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité). Reconnaissance des Formes et Intelligence Artificielle (RFIA), Jan 2008, Amiens, France. 2008. 〈inria-00429723〉

Partager

Métriques

Consultations de la notice

115