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

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 interdisciplinary 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. MOTS-CLÉS : incertitudes, logiques modales, raisonnement, annotations sémantiques, ontologies