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

Abstract : This approach suggests a 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 contexts 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 a 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 a 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.
Complete list of metadatas

Cited literature [138 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00678447
Contributor : Patrick Barlatier <>
Submitted on : Monday, March 12, 2012 - 10:32:17 PM
Last modification on : Wednesday, January 10, 2018 - 9:50:17 AM
Long-term archiving on : Thursday, June 14, 2012 - 3:10:47 PM

Identifiers

  • HAL Id : tel-00678447, version 1

Collections

Citation

Patrick Barlatier. Conception et implantation d'un modèle de raisonnement sur les contextes basée sur une théorie des types et utilisant une ontologie de domaine. Théorie et langage formel [cs.FL]. Université de Savoie, 2009. Français. ⟨tel-00678447⟩

Share

Metrics

Record views

374

Files downloads

737