Raisonner en logique modale sur l'incertitude liée aux données : application en archéologie - Université de Bourgogne Accéder directement au contenu
Article Dans Une Revue Revue Internationale de Géomatique Année : 2016

Use of modal logic for reasoning under uncertainty : archaeological application

Raisonner en logique modale sur l'incertitude liée aux données : application en archéologie

Résumé

The consideration of imperfect data is a key issue for archaeological information systems, in particular because the elaboration of a corpus is intrinsically a collaborative and interdisciplinary task. The imperfect property of collected data is partly related to the reliability of the sources contributing to enrich them. Our contribution brings the use of several modal logics to model and verify the effects of the consideration of uncertain data, but also to check the quality of the corpus in an open and extensible platform allowing the management of archaeological data. From the application point of view the reasoner used, based on the first order logic, provides the archaeologists with tools to validate or not their hypotheses. Some case studies of reasoning using different modalities are proposed around a simple example which gathers the kinds of uncertainty usually encountered.
La prise en compte de données imparfaites est un enjeu essentiel pour les systèmes d'information archéologiques, notamment parce que la constitution d'un corpus est un travail intrinsèquement collaboratif et interdisciplinaire. L'imperfection des données collectées est en partie liée à la fiabilité des sources qui contribuent à les enrichir. Notre contribution porte sur l'utilisation de plusieurs logiques modales pour modéliser et tester les effets de la prise en compte de données incertaines, mais aussi pour faciliter la vérification de la qualité du corpus dans une plateforme ouverte et extensible permettant de gérer les données archéologiques. Pour la partie applicative, le raisonneur utilisé, basé sur la logique du premier ordre, fournit aux archéologues les moyens de valider ou non leurs hypothèses. Plusieurs raisonnements avec différentes modalités sont proposés autour d'un exemple simple qui rassemble les types d'incertitudes habituellement rencontrés.
Fichier principal
Vignette du fichier
RIG-pour-HAL.pdf (473.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01467036 , version 1 (14-02-2017)

Identifiants

Citer

Elisabeth Gavignet, Eric Leclercq, Nadine Cullot, Marinette Savonnet. Raisonner en logique modale sur l'incertitude liée aux données : application en archéologie. Revue Internationale de Géomatique, 2016, Modéliser les dynamiques spatiales, 26 (4), pp.467-490. ⟨10.3166/rig.2016.00007⟩. ⟨hal-01467036⟩
133 Consultations
497 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More