Search results for "raisonnement"

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

2015

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…

Continuum : un modèle spatio-temporel et sémantique pour la découverte de phénomènes dynamiques au sein d’environnements géospatiaux

2015

There is a need for decision-makers to be provided with both an overview of existing knowledge, and information which is as complete and up-to-date as possible on changes in certain features of the biosphere. Another objective is to bring together all the many attempts which have been made over the years at various levels (international, Community, national and regional) to obtain more information on the environment and the way it is changing. As a result, remote sensing tools monitor large amount of land cover informations enabling study of dynamic processes. However the size of the dataset require new tools to identify pattern and extract knowledge. We propose a model to discover knowledg…

Analogical reasoning and its development : role of executive functions and the goal of the task

2013

This manuscript develops an issue related to the involvement of goal management capabilities and executive functions in this type of reasoning and its development. The first three experiments examine this issue in two tasks of analogical reasoning, the scene analogy task and the A:B::C:? task, through the study of visual strategies used by adults, and children aged 6-to-7. The results show differences in visual patterns related to goals, and to the inhibition of irrelevant information for the solution of the problems, between the different tasks, and between children and adults. The following two experiments study the visual strategies, always in relation to executive functioning and goal m…

La place et l'influence de l'épistémologie bachelardienne

2009

Context-aware intelligent video analysis for the management of smart buildings

2019

To date, computer vision systems are limited to extract digital data of what the cameras "see". However, the meaning of what they observe could be greatly enhanced by environment and human-skills knowledge.In this work, we propose a new approach to cross-fertilize computer vision with contextual information, based on semantic modelization defined by an expert.This approach extracts the knowledge from images and uses it to perform real-time reasoning according to the contextual information, events of interest and logic rules. The reasoning with image knowledge allows to overcome some problems of computer vision such as occlusion and missed detections and to offer services such as people guid…

Open data, big data : quel renouveau du raisonnement cartographique ?

2017

International audience; Le mouvement d’open data, qui permet l’accès gratuit à un grand nombre de données spatiales ou démographiques, associé au développement d’outils de cartographie ou de visualisation libres (SIG, programme), a permis l’augmentation de la production de cartes. Seulement, l’automatisation des traitements permise par ces outils tend à gommer le raisonnement cartographique et peut conduire à des erreurs de construction cartographique, d’autant plus que la phase d’analyse des données peut s’avérer de plus en plus complexe dans un contexte de big data (en tant que données massives, peu structurées et désagrégées). Le raisonnement cartographique est le processus menant d’une …

Enrichissement sémantique d'un fichier IFC pour une extraction partielle dynamique

2014

International audience; La dématérialisation de l'ensemble des données et des processus dans le domaine du bâtiment est un enjeu mondial depuis ces 10 dernières années. Au-delà de la simple représentation géométrique d'un bâtiment, le BIM s'impose petit à petit comme un système d'information coopératif complexe, intégrant avec difficulté les données et pratiques hétérogènes des différents acteurs du domaine. La restitution intégrée de ces données aux usagers du bâtiment est une opération délicate. Pour répondre à ce verrou, nous utilisons une approche sémantique de représentation du bâtiment et particulièrement de la norme IFC. Cette approche permet d'extraire des fichiers IFC valides, part…