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

Résumé : 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.
Type de document :
Article dans une revue
Revue Internationale de Géomatique, Lavoisier, 2016, Modéliser les dynamiques spatiales, 26 (4), pp.467-490. <http://rig.revuesonline.com/>. <10.3166/rig.2016.00007>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01467036
Contributeur : Elisabeth Gavignet <>
Soumis le : mardi 14 février 2017 - 08:43:07
Dernière modification le : vendredi 17 février 2017 - 01:04:21

Fichier

RIG-pour-HAL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

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, Lavoisier, 2016, Modéliser les dynamiques spatiales, 26 (4), pp.467-490. <http://rig.revuesonline.com/>. <10.3166/rig.2016.00007>. <hal-01467036>

Partager

Métriques

Consultations de
la notice

38

Téléchargements du document

16