Marinette Savonnet

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

La prise en compte de donnes imparfaites est un enjeu essentiel pour les systemes d’information archeologiques, notamment parce que la constitution d’un corpus est un travail intrinsequement collaboratif et interdisciplinaire. L’imperfection des donnees collectees est en partie liee a la fiabilite des sources qui contribuent a les enrichir. Notre contribution porte sur l’utilisation de plusieurs logiques modales pour modeliser et tester les effets de la prise en compte de donnees incertaines, mais aussi pour faciliter la verification de la qualite du corpus dans une plateforme ouverte et extensible permettant de gerer les donnees archeologiques. Pour la partie applicative, le raisonneur utilise, base sur la logique du premier ordre, fournit aux archeologues les moyens de valider ou non leurs hypotheses. Plusieurs raisonnements avec differentes modalites sont proposes autour d’un exemple simple qui rassemble les types d’incertitudes habituellement rencontres.

Towards a Twitter observatory: A multi-paradigm framework for collecting, storing and analysing tweets

In this article we show how a multi-paradigm framework can fulfil the requirements of tweets analysis and reduce the waiting time for researchers that use computational resources and storage systems to support large-scale data analysis. The originality of our approach is to combine concerns about data harvesting, data storage, data analysis and data visualisation into a framework that supports inductive reasoning in multidisciplinary scientific research. Our main contribution is a polyglot storage system with a generic data model to support logical data independence and a set of tools that can provide a suitable solution for mixing different types of algorithms in order to maximise the extraction of knowledge. We describe the software architecture of our framework, the generic model and we show how it has been used in major projects and what characteristics have been validated.