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

Les systemes d'information archeologiques offrent des methodes et des outils pour re-presenter les donnees collectees et effectuer des analyses avec lesquels la prise en compte de donnees imparfaites est souvent delicate. Notre contribution porte sur l'utilisation de plusieurs logiques modales pour modeliser et tester les effets de la prise en compte de donnees incer-taines, mais aussi pour verifier la qualite d'un corpus tout en travaillant dans un environnement collaboratif interdisciplinaire. La modelisation et le raisonnement sur des donnees incertaines, proposes dans cet article, s'integrent dans une plateforme ouverte et extensible permettant de gerer les donnees archeologiques. Sur le plan informatique, le raisonneur utilise, base sur la logique du premier ordre, fournit aux archeologues, les moyens de valider ou non leurs hy-potheses. Quelques exemples de raisonnement sont propposes pour des donnees decrivant un personnage ecclesiastique. 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.