Skip to Main content Skip to Navigation
Theses

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 metadata

Cited literature [138 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00678447
Contributor : Patrick Barlatier Connect in order to contact the contributor
Submitted on : Monday, March 12, 2012 - 10:32:17 PM
Last modification on : Friday, November 6, 2020 - 3:30:54 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

534

Files downloads

1129