Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2010

Standard and non-standard reasoning services for decentralized management of data and knowledge

Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances

Résumé

Les systèmes d'inférence pair-à-pair (P2PIS) sont constitués de serveurs autonomes appelés pairs. Chaque pair gère sa propre base de connaissances (BC) et peut communiquer avec les autres pairs via des mappings afin de réaliser une inférence particulière au niveau global du système. Dans la première partie de la thèse, nous proposons un algorithme totalement décentralisé de calcul de conséquences par déduction linéaire dans les P2PIS propositionnels et nous étudions sa complexité communicationnelle, en espace et en temps. Nous abordons ensuite la notion d'extension non conservative d'une BC dans les P2PIS et nous exhibons son lien théorique avec la déduction linéaire décentralisée. Cette notion est importante car elle est liée à la confidentialité des pairs et à la qualité de service offerte par le P2PIS. Nous étudions donc les problèmes de décider si un P2PIS est une extension conservative d'un pair donné et de calculer les témoins d'une possible corruption de la BC d'un pair de sorte à pouvoir l'empêcher. La seconde partie de la thèse est une application directe des P2PIS au domaine des systèmes de gestion de données pair-à-pair (PDMS) pour le Web Sémantique. Nous définissons des PDMS basés sur la logique de description DL-LITER pour lesquels nous fournissons les algorithmes nécessaires de test de consistance et de réponse aux requêtes. Notre approche repose sur les P2PIS propositionnels car nous réduisons les problèmes de la reformulation des requêtes et de test de l'inconsistance à des problèmes de calcul de conséquences en logique propositionnelle.
Fichier principal
Vignette du fichier
main.pdf (1.01 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00536926 , version 1 (17-11-2010)

Identifiants

  • HAL Id : tel-00536926 , version 1

Citer

Nada Abdallah. Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances. Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2010. Français. ⟨NNT : ⟩. ⟨tel-00536926⟩
179 Consultations
252 Téléchargements

Partager

Gmail Facebook X LinkedIn More