ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 22/6 - 2008  - pp.725-755  - doi:10.3166/ria.22.725-755
TITRE
Vers un modèle formel pour le raisonnement à partir des contextes

RÉSUMÉ
Ces dix dernières années de nombreuses recherches dans le domaine des contextes ont été menées, cependant, peu d'entre elles ont utilisé la logique comme sémantique. Dans cet article, nous abordons ce problème en utilisant une théorie constructive des types comme support pour la modélisation des contextes. Nous décrivons un outil théorique formé à partir de la théorie intuitionniste des types. Cette théorie est étendue par les enregistrements à types dépendants ­ DTR ­ qui permettent la représentation de connaissances partielles et le raisonnement sur des données évolutives.


ABSTRACT
In the last decade, there has been much interest in the development of contextaware systems but few logic-based formal theories of contexts have emerged. In this article, we look at this issue from a proof-theoretical perspective and we describe a type-theoretical framework for reasoning about contexts. The use of constructive type theory with Dependently Typed Records (DTR) allows for a partial knowledge and dynamic reasoning to take place while assuming an Open World Assumption.


AUTEUR(S)
Richard DAPOIGNY, Patrick BARLATIER

MOTS-CLÉS
théorie constructive des types, intuitionisme, enregistrements à types dépendants, sous-typage, causalité, vérification de types, ontologies de domaine.

KEYWORDS
constructive type theory, intuitionism, dependent record types, sub-typing, causality, type-checking, domain ontologies.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (821 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier