Conception et implantation d'un modèle de raisonnement sur les contextes basé sur une théorie des types et utilisant une ontologie de domaine

par Patrick Barlatier

Thèse de doctorat en Informatique

Sous la direction de Christophe Roche et de Richard Dapoigny.

Soutenue en 2009

à l'Université Savoie Mont Blanc .


  • Résumé

    Dans ce mémoire, nous proposons une solution possible à la question suivante : comment formaliser des environnements associés à un processus (quelconque) et comment utiliser les informations qu'ils contiennent pour produire des actions pertinentes ? Cette question nous a amené à introduire la notion de contexte ainsi qu'une représentation réutilisable des connaissances pour le formaliser. Nous nous sommes donc intéressés aux notions d'ontologies, de contextes et d'actions. Pour la représentation et le raisonnement sur les contextes et les actions, nous proposons une solution appelée DTF. Celle-ci étend une théorie constructive des types existante permettant ainsi de disposer d'une grande expressivité, de la décidabilité de la vérification de types et d'un mécanisme de sous-typage efficace. Nous montrons comment modéliser les contextes et les actions sous la forme de types dépendants à partir des données fournies sur un problème et des actions à entreprendre pour le résoudre. Enfin, pour tester la faisabilité et pouvoir juger de la complexité d'une telle solution, un "démonstrateur de contexte" est réalisé avec un langage fonctionnel. Puis, une application test appelée " le monde du Wumpus " ou un agent logiciel se déplace dans un environnement inconnu, est alors implantée en LISP.

  • Titre traduit

    Design and implementation of a reasoning model about context based on type theory and using a domain ontology


  • Résumé

    This approach suggests à possible solution for the following issue : how to formalize environments related to a given process and how to exploit the information they provide in order to start appropriate actions? For that purpose, we took an interest in the concepts of ontologies, contexts and actions. We have investigated the constructive type theory and extended it with extensional sub-typing (allowing for type hierarchies) and constants to result in what is called the Dependent Type Framework (DTF). DTF tries to combine a constructive logic with a functional programming language for the representation and reasoning about context and actions. It provides a high expressiveness, decidability of type checking and a powerful sub-typing mechanism. We show how to model both contexts with types in DTF from the given information about à problem and actions to start to solve it. Then, as a test of feasibility with the purpose of sensing the complexity of such a solution, a context prover has been built with à functional language. Finally, a test application called the wumpus world in which a software agent moves across a grid in an unknown environment is implemented.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (xii-188 p.)
  • Annexes : Bibliogr. p.181-188. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université Savoie Mont Blanc. Bibliothèque du Laboratoire d'informatique, Systèmes, Traitement de l'information et de la connaissance (LISTIC).
  • Non disponible pour le PEB
  • Cote : T L2009/23
  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Le Bourget-du-Lac, Savoie). Service commun de la documentation et des bibliothèques universitaires. Section Sciences.
  • Non disponible pour le PEB
  • Bibliothèque : Université Savoie Mont Blanc (Annecy-le-Vieux). Bibliothèque de Polytech'Annecy-Chambéry, site d'Annecy.
  • Disponible pour le PEB
  • Cote : T P2009/23
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.