Vers un modèle formel pour le raisonnement à partir des contextes - Université Savoie Mont Blanc Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle Year : 2008

Vers un modèle formel pour le raisonnement à partir des contextes

Abstract

Ces dix dernières années de nombreuses recherches dans le domaine des contextes furent menées, cependant, peu d'entre elles utilisèrent 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.

Dates and versions

hal-00498189 , version 1 (06-07-2010)

Identifiers

Cite

Richard Dapoigny, Barlatier Patrick. Vers un modèle formel pour le raisonnement à partir des contextes. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2008, 22 (6), pp.697-723. ⟨10.3166/ria.22.725-755⟩. ⟨hal-00498189⟩
61 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More