Skip to Main content Skip to Navigation
Journal articles

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

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

Cited literature [27 references]  Display  Hide  Download
Contributor : Elisabeth Gavignet <>
Submitted on : Tuesday, February 14, 2017 - 8:43:07 AM
Last modification on : Monday, March 30, 2020 - 8:47:52 AM
Document(s) archivé(s) le : Monday, May 15, 2017 - 12:37:53 PM


Files produced by the author(s)



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. ⟨10.3166/rig.2016.00007⟩. ⟨hal-01467036⟩



Record views


Files downloads