Agents Web de planification : combinaison d'agents intelligents et de langages du Web sémantique pour la planification de services

par Marco Luca Sbodio

Thèse de doctorat en Technologies de l'information et des systèmes

Sous la direction de Claude Moulin et de Fulvio Corno.

Soutenue en 2009

à Compiègne .


  • Résumé

    Cette thèse explore les langages standards du Web sémantique afin de caractériser des services pleinement et de façon compacte, permettant ainsi à des Agents Intelligents de les sélectionner et de les combiner au travers de plans. Nous proposons SPARQL comme langage formel permettant de décrire les pré-conditions, les effets des services, et aussi les buts des agents. Nous montrons que l'évaluation de requêtes SPARQL peut être utilisée pour vérifier dans un contexte donné, les pré-conditions, construire les effets qui résultent de l'exécution d'un service et de déterminer si l'exécution d'un service peut satisfaire le but d'un agent. Les contributions de la thèse sont les suivantes : (i) la logique modale hybride GpDL combinant la composante dynamique de la logique dynamique des propositions avec des patrons de graphes SPARQL ; (ii) l'ancrage des expressions SPARQL définissant les pré-conditions et les effets des services dans des formalismes dédiés aux Services Web Sémantiques et RESTful ; (iii) la description de l'architecture et de l'implémentation d'un index de services, qui recueille les descriptions de services à partir du Web, construit des structures de données internes avec des modèles de représentations de services, et permet la découverte automatique de services en réponse à des requêtes d'agents ; (iv) la description de l'architecture et de l'implémentation de SPARQLent, un agent de planification dirigé par les buts. Son fonctionnement est basé sur GpDL ; son but est un patron de graphe SPARQL, et son incomplète représentation de l'état du monde est un graphe RDF ; (v) la validation et l'évaluation de l'approche proposée dans trois différents domaines.

  • Titre traduit

    Planning Web agents : combining intelligent agents and semantic Web languages for service planning


  • Résumé

    This thesis explores the use of standard Semantic Web Languages to fully and compactly characterize services, enabling Intelligent Agents to select and combine them in plans. We propose SPARQL as a formal language to describe the preconditions and effects of services, as well as the goals of agents. We show that SPARQL query evaluation can be used to check the truth of preconditions in a given context, construct the effects resulting from the execution of a service, and determine whether a service execution will satisfy the goal of an agent. The contributions of this thesis are as follows (i) the hybrid modal logic GpDL combining the dynamic component of Propositional Dynamic Logic with SPARQL graph patterns; (ii) the embedding of SPARQL expressions defining services preconditions and effects into Semantic and RESTful Web services formalisms; (iii) the architectural and implementation description of a services index, which harvests services descriptions from the Web, builds internal data structures with services representational models, and support automatic services discovery by answering agents queries; (iv) the architectural and implementation description of SPARQLent, a goal directed planning agent based on the computational model of GpDL; its goal is a SPARQL graph pattern, and its incomplete representation of the world state is an RDF graph; (v) the validation of the approach in a real world use case in the e-Government domain for selecting assistance and welfare services for citizens, in an experiment in the domain of collaboration services and a comparative evaluation of the approach with respect to the current OWL-S Services Retrieval Test Collection.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (199 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 163 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Technologie de Compiègne. Service Commun de la Documentation.
  • Disponible pour le PEB
  • Cote : 2009 SBO 1824
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.