De l'usage des logiques modales pour la gestion de l'incertitude des données : application en archéologie - Université de Bourgogne Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

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

Résumé

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.
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.
Fichier principal
Vignette du fichier
SAGEO2015.pdf (240.82 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01244611 , version 1 (16-12-2015)

Identifiants

  • HAL Id : hal-01244611 , version 1

Citer

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), GdR MAGIS, Nov 2015, Hammamet, Tunisie. ⟨hal-01244611⟩
87 Consultations
105 Téléchargements

Partager

Gmail Facebook X LinkedIn More