inria-00429723, version 1
Calcul de conséquences dans un système d'inférence pair-à-pair propositionnel (revisité)
Nada Abdallah
1, 2François Goasdoué
1, 2
Reconnaissance des Formes et Intelligence Artificielle (RFIA) (2008)
Abstract: 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.
- 1: Laboratoire de Recherche en Informatique (LRI)
- CNRS : UMR8623 – Université Paris XI - Paris Sud
- 2: GEMO (INRIA Saclay - Ile de France)
- INRIA – CNRS : UMR8623 – Université Paris XI - Paris Sud
- Domain : Computer Science/Artificial Intelligence
- inria-00429723, version 1
- http://hal.inria.fr/inria-00429723
- oai:hal.inria.fr:inria-00429723
- From: François Goasdoué
- Submitted on: Wednesday, 4 November 2009 10:22:56
- Updated on: Wednesday, 4 November 2009 10:22:56






Export