De l'usage des logiques modales pour la gestion de l'incertitude des données : application en archéologie

Résumé : Les systèmes d'information archéologiques offrent des méthodes et des outils pour re-présenter les données collectées et effectuer des analyses avec lesquels la prise en compte de données imparfaites est souvent délicate. 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 incer-taines, mais aussi pour vérifier la qualité d'un corpus tout en travaillant dans un environnement collaboratif interdisciplinaire. La modélisation et le raisonnement sur des données incertaines, proposés dans cet article, s'intègrent dans une plateforme ouverte et extensible permettant de gérer les données archéologiques. Sur le plan informatique, le raisonneur utilisé, basé sur la logique du premier ordre, fournit aux archéologues, les moyens de valider ou non leurs hy-pothèses. Quelques exemples de raisonnement sont propposés pour des données décrivant un personnage ecclésiastique. ABSTRACT. Archaeological information systems offer methods and tools for representing collected data and performing analyses with which taking into account imperfect data is often hard to please. Our contribution describes 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 a corpus in an in-terdisciplinary collaborative environment. The modelling and the reasoning based on uncertain data, which are studied in this article, are integrated open and extensible platform allowing to manage archaeological data. From the computing point of view, the reasoner used, based on the first order logic, provides the archaeologists with ways to validate or not their hypotheses. Some examples of reasoning are proposed for data describing an ecclesiastical person.
Type de document :
Communication dans un congrès
SAGEO'2015 (Spatial Analysis and GEOmatics), Nov 2015, Hammamet, Tunisie. 2015, <http://ceur-ws.org/Vol-1535/>
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-01244611
Contributeur : Elisabeth Gavignet <>
Soumis le : mercredi 16 décembre 2015 - 08:42:45
Dernière modification le : vendredi 18 décembre 2015 - 13:36:53
Document(s) archivé(s) le : samedi 29 avril 2017 - 16:02:56

Fichier

SAGEO2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01244611, version 1

Collections

Citation

Elisabeth Gavignet, Eric Leclercq, Nadine Cullot, Marinette Savonnet. De l'usage des logiques modales pour la gestion de l'incertitude des données : application en archéologie. SAGEO'2015 (Spatial Analysis and GEOmatics), Nov 2015, Hammamet, Tunisie. 2015, <http://ceur-ws.org/Vol-1535/>. <hal-01244611>

Partager

Métriques

Consultations de
la notice

68

Téléchargements du document

72