Skip to Main content Skip to Navigation
Conference papers

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

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.
Complete list of metadatas

Cited literature [25 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01244611
Contributor : Elisabeth Gavignet <>
Submitted on : Wednesday, December 16, 2015 - 8:42:45 AM
Last modification on : Monday, March 30, 2020 - 8:45:18 AM
Document(s) archivé(s) le : Saturday, April 29, 2017 - 4:02:56 PM

File

SAGEO2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01244611, version 1

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), GdR MAGIS, Nov 2015, Hammamet, Tunisie. ⟨hal-01244611⟩

Share

Metrics

Record views

148

Files downloads

151