Vers un modèle formel pour le raisonnement à partir des contextes
| Autor: | Richard Dapoigny, Patrick Barlatier |
|---|---|
| Přispěvatelé: | Laboratoire d'Informatique, Systèmes, Traitement de l'Information et de la Connaissance (LISTIC), Université Savoie Mont Blanc (USMB [Université de Savoie] [Université de Chambéry]) |
| Rok vydání: | 2008 |
| Předmět: |
vérification de types
Context (language use) 02 engineering and technology Data type [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] causalité Perspective (geometry) Artificial Intelligence Intuitionism 0202 electrical engineering electronic engineering information engineering sous-typage Mathematics théorie constructive des types intuitionnisme business.industry Intuitionistic type theory Epistemology enregistrements à types dépendants Type theory Ontology 020201 artificial intelligence & image processing Artificial intelligence business Open-world assumption ontologies de domaine Software |
| Zdroj: | Revue des Sciences et Technologies de l'Information-Série RIA : Revue d'Intelligence Artificielle 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⟩ |
| ISSN: | 0992-499X 1958-5748 |
| DOI: | 10.3166/ria.22.725-755 |
| Popis: | 27; National audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|