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 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.
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2008, 22 (6), pp.697-723. 〈10.3166/ria.22.725-755〉
Liste complète des métadonnées

http://hal.univ-smb.fr/hal-00498189
Contributeur : Richard Dapoigny <>
Soumis le : mardi 6 juillet 2010 - 22:05:44
Dernière modification le : mercredi 10 janvier 2018 - 09:49:55

Identifiants

Collections

Citation

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, Lavoisier, 2008, 22 (6), pp.697-723. 〈10.3166/ria.22.725-755〉. 〈hal-00498189〉

Partager

Métriques

Consultations de la notice

98