Une logique modale pour raisonner sur la cohérence et la complétude de réglementations

Nous nous intéressons dans ce papier aux réglementations qui peuvent exister dans des systèmes multi-agents pour réguler les comportements des agents. Plus précisément, nous travaillons sur deux propriétés des réglementations, la cohérence et la complétude. Après avoir donné une définition de ces deux notions, nous proposons un cadre permettant de compléter de façon cohérente une réglementation incomplète. Nous considérons dans l'article que les réglementations sont exprimées dans une logique déontique du premier ordre

Modélisation ontologique pour l'analyse de comportements de navires à risques

International audienceCet article se propose d'étudier les potentialités des ontologies spatiales à la fois comme objet de modélisation, de partage et d'inférence afin d'améliorer l'analyse de comportements des navires à risque. Pour cela, un système de surveillance maritime composée de trois principales ontologies a été développé. Puis, les règles d'inférences nécessaires à la détection des alertes ont été définies par les experts du domaine maritime. Enfin, un moteur de Raisonnement à Partir de Cas permet de déterminer automatiquement les scénarios potentiels issues de l'interprétation d'une situation à risque. Au final, l'objectif est de fournir aux experts du domaine un environnement adapté permettant la modélisation des connaissances spatiales. L'approche adoptée a été mise en application au sein du prototype FishEye

Un serveur de connaissance pour l'agriculture durable

National audienceL'agriculture devra évoluer vers une activité plus respectueuse de l'environnement tout en étant économiquement viable. Ce type d'agriculture est dite durable. Elle a une logique systémique et nécessite beaucoup de connaissances. Nous proposons donc de développer un outil de gestion des connaissances. Dans la première partie présentation, nous appréhendons quels sont les acteurs possibles de l'outil et leurs implications possibles. La seconde partie traite du contenu avec la sélection et la formalisation des connaissances. / Agriculture must evolve into a more environmentally-friendly way while being economically workable. This type of agriculture is said to be sustainable. It has a systemic logic and therefore requires strong knowledge. We suggest developing a management computing tool of knowledge. In the first part of our article, we apprehend who are the potential actors of the tool and their possible implications. The second part deals with the contents, its selection and its form

Aide à la rédaction de documents réglementaires dans le domaine du bâtiment

National audienceL'industrie du bâtiment connaît actuellement une croissance phénoménale de ses textes techniques et réglementaires. Dans ce contexte, il est urgent et crucial d'aider à la création de nouvelles règlementations et de faciliter leur traitement automatique. Dans cet article, nous présentons une approche ontologique pour modéliser les documents technico-réglementaires dans l'industrie du bâtiment. Nous nous concentrons sur trois volets. Premièrement, nous décrivons notre approche pour la modélisation des guides pratiques émis par le CSTB en règles SBVR basées sur un vocabulaire contrôlé, puis leur formalisation en SPARQL. Deuxièmement, les contraintes réglementaires représentées en SPARQL sont exploitées dans la modélisation de processus de vérification de la conformité d'un document par rapport à la règlementation. Troisièmement, ces processus sont mis en œuvre pour aider à la rédaction d'Avis Techniques émis par le CSTB sur des dossiers techniques soumis par des industriels ; un rapport de conformité est automatiquement généré pour déterminer la conformité ou non-conformité des dossiers techniques et l'expliquer

Interrogation d'un réseau sémantique de documents : l'intertextualité dans l'accès à l'information juridique

A collection of documents is generally represented as a set of documents but this simple representation does not take into account cross references between documents, which often defines their context of interpretation. This standard document model is less adapted for specific professional uses in specialized domains in which documents are related by many various references and the access tools need to consider this complexity. We propose two models based on formal and relational concept analysis and on semantic web techniques. Applied on documentary objects, these two models represent and query in a unified way documents content descriptors and documents relations.Une collection documentaire est généralement représentée comme un ensemble de documents mais cette modélisation ne permet pas de rendre compte des relations intertextuelles et du contexte d'interprétation d'un document. Le modèle documentaire classique trouve ses limites dans les domaines spécialisés où les besoins d'accès à l'information correspondent à des usages spécifiques et où les documents sont liés par de nombreux types de relations. Ce travail de thèse propose deux modèles permettant de prendre en compte cette complexité des collections documentaire dans les outils d'accès à l'information. Le premier modèle est basée sur l'analyse formelle et relationnelle de concepts, le deuxième est basée sur les technologies du web sémantique. Appliquées sur des objets documentaires ces modèles permettent de représenter et d'interroger de manière unifiée les descripteurs de contenu des documents et les relations intertextuelles qu'ils entretiennent

Construction de réponses coopératives : du corpus à la modélisation informatique

Les stratégies utilisées pour la recherche d’information dans le cadre du Web diffèrent d’un moteur de recherche à un autre, mais en général, les résultats obtenus ne répondent pas directement et simplement à la question posée. Nous présentons une stratégie qui vise à définir les fondements linguistiques et de communication d’un système d’interrogation du Web qui soit coopératif avec l’usager et qui tente de lui fournir la réponse la plus appropriée possible dans sa forme et dans son contenu. Nous avons constitué et analysé un corpus de questions-réponses coopératives construites à partir des sections Foire Aux Questions (FAQ) de différents services Web aux usagers. Cela constitue à notre sens une bonne expérimentation de ce que pourrait être une communication directe en langue naturelle sur le Web. Cette analyse de corpus a permis d’extraire les caractéristiques majeures du comportement coopératif et de construire l’architecture de notre système informatique webcoop, que nous présentons à la fin de cet article.Algorithms and strategies used on the Web for information retrieval differ from one search engine to another, but, in general, results do not lead to very accurate and informative answers. In this paper, we describe our strategy for designing a cooperative question answering system that aims at producing the most appropriate answers to natural language questions. To characterize these answers, we collected a corpus of cooperative question in our opinion answer pairs extracted from Frequently Asked Questions. The analysis of this corpus constitutes a good experiment on what a cooperative natural language communication on the Web could be. This analysis allows for the elaboration of a general architecture for our cooperative question answering system webcoop, which we present at the end of this paper

Mapping entre un référentiel d’exigences et un modèle de maturité : application à l’industrie pharmaceutique

Les systèmes d'information de l'industrie pharmaceutique sont maintenant tenus de respecter des exigences réglementaires imposées par le secteur d'activité. Ces exigences sont listées dans des documents, comme par exemple les GxP pour l'Europe, auxquels les autorités réglementaires se réfèrent. De manière concomitante, l'entreprise peut avoir mis en œuvre des démarches d'amélioration, basées sur des référentiels de bonnes pratiques, comme le sont les modèles de maturité. Le Capability Maturity Model Integration (CMMI) est l’un d’entre eux et est souvent utilisé dans le domaine des systèmes d'information. Ces deux catégories de documents, provenant d'expertise sectorielle pour l'un et d'expertise métier pour l'autre, se recouvrent. Dans un souci d’efficience, leur déploiement ne peut s'imaginer sans une analyse de ce recouvrement, et nécessite la production d'une directive issue des deux sources documentaires pour l'assurance qualité. L'objectif de nos travaux est de mesurer le niveau de correspondance entre ces deux types de référentiels qualité. Pour apporter une réponse à cette question, nous appliquons une démarche d'ingénierie dirigée par les modèles. Un mapping est réalisé entre des modèles de ces deux types de documents. Il a pour but de mettre en relation des connaissances comparables. Nous proposons ensuite une méthode de génération du référentiel cible basée sur des opérateurs logiques, et ce afin de retenir un ensemble minimal de pratiques à déployer assurant le respect des exigences imposées. L'approche est déployée sur un cas d'application industrielle mobilisant 175 exigences des GxP et plus de 800 pratiques issues du CMMI, mais aussi d'autres sources de bonnes pratiques (ISO 9000, ITIL, ...). ABSTRACT : Information systems for pharmaceutical industry are now obliged to respect regulatory requirements imposed by this branch of industry. These requirements are listed in documents, as for example the GxP for Europe. In a concomitant way, organization can have deployed software process improvement methods, based on good practices repositories. The Capability Maturity Model Integration (CMMI) is one of them. It is often used in the area of information systems. These two types of documents, coming from sectorial expertise for the first one and from business expertise for the second one, are overlapping. To be efficient, their deployment can not be done without analysing this overlapping and needs the realization of a policy stemming from the two documentary sources for quality assurance. The aim of our researches is to measure the degree of correspondences between these two quality repositories. To bring an answer to this question, we apply a model driven engineering method. We realize a mapping between models of those two categories of documents. Its aim is to put into relation comparable knowledge. Then, we propose a method to build the target repository, based on logical operators use in order to identify a minimal set of good practices required by pharmaceutical regulation. The approach is deployed on an industrial study case composed by 175 regulatory requirements and more than 800 practices, coming from MMI but also from other repositories (ISO 9000, ITIL, ...)

Veille sociologique et flux d'informations numériques: Une expérience de chronique automatique sur les thèmes sanitaires et environnementaux

Depuis plus d'une dizaine d'années, les travaux de sociologie sur les alertes et les controverses publiques se sont accompagnés de développements informatiques spécifiques. Le principal objectif de ces travaux est d'outiller les enquêtes, en permettant de lier le suivi de grands dossiers, notamment des dossiers sanitaires, environnementaux ou technologiques (amiante, nucléaire, OGM, nanotechnologies, pesticides, champs électro-magnétiques), et la modélisation des formes de l'action et du jugement utilisées par de multiples protagonistes. Il ne s'agit pas de développer une sociologie des discours ou des textes mais bien de considérer les ensembles discursifs comme des lieux de cristallisation de processus sociaux complexes marqués par une profonde réflexivité des acteurs, puisque ceux qui s'imposent sont aussi ceux qui concentrent le plus d'expertise - ou de contre-expertise - sur les dossiers en question . Dans le cadre de ces travaux, pour faire face à l'accumulation documentaire et aux changements de phases, comme lorsque se produit un emballement politique ou médiatique sur un sujet, il est décisif de disposer de protocoles de " veille ". La fonction de ces protocoles est d'assurer dans le même mouvement la mise à jour des bases documentaires et l'identification des changements de régimes argumentatifs, l'émergence de nouveaux acteurs ou d'événements et de prises de parole susceptibles de modifier les éléments centraux d'un dossier

Agents coopératifs et politiques d'échanges d'informations

National audienceDans les systèmes multiagents, les agents sont souvent supposés être coopératifs les uns avec les autres dans leurs échanges, ceci afin de mener à bien une tâche globale. Ils sont également souvent tenus de respecter la politique d'échange d'informations du système qui régule quels échanges sont obligatoires, permis ou interdits entre les agents et sous quelles conditions. Comment dans ce cas les agents peuvent-ils être à la fois coopératifs et obéissants ? Dans cet article, nous définissons une politique d'échange d'informations particulière, que nous appelons politique de coopération, qui est la politique que les agents doivent respecter pour être coopératifs. Ainsi, nous ramenons la problématique d'être à la fois obéissant et coopératif à la problématique de respecter deux politiques d'échange d'informations différentes : la politique qui existe déjà au sein du système et la politique de coopération. Nous étudions également le cas où ces politiques sont conflictuelles et proposons alors de nouvelles définitions des caractères obéissants et coopératifs des agents