| Attributes | Values |
|---|
| type
| |
| Thesis advisor
| |
| Author
| |
| alternative label
| - Design and implementation of a reasoning model about context based on type theory and using a domain ontology
|
| dc:subject
| - Thèses et écrits académiques
- Raisonnement
- Ontologies (informatique)
- Théorie des types
- LISP (langage de programmation)
- Contextes
- Types dépendants
|
| preferred label
| - 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
|
| Language
| |
| Subject
| |
| dc:title
| - 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
|
| Degree granting institution
| |
| note
| - 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.
- 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.
|
| dc:type
| |
| http://iflastandar...bd/elements/P1001
| |
| rdaw:P10219
| |
| has content type
| |
| is primary topic
of | |
| is rdam:P30135
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
