Un Mecanisme de prediction deductive pour le raisonnement temporel

Ce document decrit un mecanisme de prediction pour le raisonnement temporel. L'interet de ce mecanisme est sa simplicite car il fonctionne en chainage avant. On commence par decrire formellement la logique temporelle utilisee, qui est une logique temporelle reifiee trivaluee. Ce mecanisme fonctionne sur une classe particuliere de theories de cette logique que nous decrivons avant de donner le principe du mecanisme. Le mecanisme genere automatiquement les hypotheses qui lui sont necessaires pour effectuer certaines deductions : pour l'implantation de celui-ci, nous utilisons un systeme de maintien de coherence de type ATMS pour garder la trace des inferences effectuees sur la base de ces hypotheses ainsi qu'un mecanisme de compilation des regles causales en un graphe a la RETE. On decrit ensuite quelques extensions possibles de ce mecanisme, en particulier pour traiter une logique temporelle plus complexe

Un dispositif binoculaire LVA basé sur la réalité mixte pour améliorer la reconnaissance des visages

Today’s visual enhancement systems for low vision people consist of dedicated augmentedreality hardware allowing to magnify or enhance the overall scene, independently of theimage content or patient needs. For example, for patients with central vision loss, interacting withother has become a painful activity since faces and expressions can hardly be recognized. Weintroduce a new augmented reality system allowing to selectively enhances faces, using two imageprocessing techniques. Our system has the capacity to adjust the enhancement to the detectedfaces’ size and distance, hence maintaining a constant boost in the critical range of spatial frequency.It offers a binocular and large Field-of-View and performs at near real-time with a modestlaptop computer using multithreading. Preliminary experiments with three patients with centralvision loss suggest that the enhancements chosen strongly depends on each patient’s condition andlead to improved recognition abilities when patients find their optimal settings.Les systèmes d’amélioration visuelle actuels pour les malvoyants consistent en unmatériel dédié à la réalité augmentée permettant d’agrandir ou d’améliorer la scène dans sonensemble, indépendamment du contenu de l’image ou des besoins du patient. Par exemple, pourles patients présentant une perte de vision centrale, l’interaction avec d’autres patients est devenueune activité douloureuse, car les visages et les expressions sont difficilement reconnaissables.Nous introduisons un nouveau système de réalité augmentée permettant d’améliorer de manièresélective les visages, en utilisant deux techniques de traitement d’images. Notre système a lacapacité d’ajuster l’amélioration à la taille et à la distance des visages détectés, maintenant ainsiune augmentation constante de la plage critique de fréquences spatiales. Il offre un grand champde vision binoculaire et fonctionne proche du temps réel avec un ordinateur portable modesteutilisant la technologie multithreading. Des expériences préliminaires menées auprès de trois patientsprésentant une perte de vision centrale suggèrent que les améliorations choisies dépendentfortement de l’état de chaque patient et permettent d’améliorer les capacités de reconnaissancelorsque les patients trouvent leurs paramètres optimaux

Contribution à l'étude du raisonnement temporel. Résolution avec contraintes et application à l'abduction en raisonnement temporel

Ce travail présente notre contribution au domaine du raisonnement temporel (RT) en intelligence artificielle. Nous avons défini et mis en oeuvre un mécanisme de raisonnement abductif (génération d'hypothèses) pour le RT. Un tel mode de raisonnement présente en particulier l'intérêt d'être une alternative possible au raisonnement par défaut pour prendre en compte la non monotonie inhérente au RT. Une autre motivation est que le raisonnement abductif appliqué au RT est une approche possible pour la planification. Préalablement à la présentation de la procédure d'abduction, nous étudions l'intérêt pour le raisonnement temporel du principe de résolution avec contraintes de Bürckert. Ce principe s'avère être un cadre formel intéressant pour décrire l'intégration des systèmes de contraintes temporelles dans des systèmes déductifs utilisant le principe de résolution comme règle d'inférence. Dans la deuxième partie, nous proposons une procédure de génération d'hypothèses qui est basée conjointement sur des travaux de Kakas et Mancarella sur l'abduction en programmation logique, et sur l'idée de la résolution avec contraintes. La procédure que nous proposons possède des mécanismes originaux facilitant en premier lieu son application au raisonnement temporel, et permettant ensuite de ramener la conservation de la consistance des hypothèses déjà générées à des tests de satisfaction de contraintes temporelles. Nous présentons des exemples d'utilisation, en particulier pour la planification en utilisant le Calcul d'Evénements de Sergot et Kowalski comme formalisme de représentation. Le cadre de la programmation logique avec contraintes, sous jacent à notre travail, nous permet d'étendre notre procédure à d'autres systèmes de contraintes. Nous décrivons en particulier l'utilisation de contraintes sur domaines finis, ce qui permet de décrire et gérer des ressources finies en planification. L'implantation de la procédure utilise, en plus des contraintes temporelles et des contraintes sur domaines finis, des contraintes sur le typage des termes, ce qui nous permet de proposer un cadre logique avec types et sous-typage qui facilite la description du formalisme temporel et des problèmes à résoudre

Efficient Algorithms for Networks of Quantitative Temporal Constraints

This paper describes two algorithms for networks of quantitative temporal constraints. The ørst one is an incremental algorithm for checking the consistency of a set of constraints: it is based on the directional path consistency property, and it is a complete algorithm. The second algorithm relies on a property of shortest paths in a directional path consistent network. We prove this property and present an efficient linear-time algorithm that has a lower cost than usual shortest-path algorithm such as BellmanFord algorithm. These two algorithms form a complete system for managing quantitative temporal relationships

Using Constrained Resolution for Abductive Temporal Reasoning

We describe in this article an abductive procedure based on a constrained resolution principle. The choice of constrained resolution is motivated by the whish to gain full advantage of using rei ed temporal logics. For this purpose, it is interesting to deal e ciently with temporal ordering and equality relation between instants. The constrained resolution principle described here is a solution to this point. It is an instance of the more general constrained resolution principle of H.J. Burckert. It also relies on the work done in the area of temporal constraint propagation. For the purpose of temporal reasoning it is also necessary to cope with temporal persistency of known and deduced facts. This point issolved by handling persistency in an abductive fashion

BigGraphs: distributed graph computing

The objective of BigGraphs is to provide a distributed middleware for very large graphs processing.The first phase of the project consists in the evaluation of the existing middlewares such as GraphX/Spark or Giraph/Hadoop with respect to the following criteria: ease of deployment, maintenance and use, variety of programming models (Map/Reduce, BSP, (a)synchronous message passing, centralized programming, mobile agent-based, etc.), overall efficiency and memory footprint, etc. One of the chosen use cases is a subgraph of the Twitter graph with 3 millions of nodes and 200 millions of edges. The experiments are run on the NEF cluster at Inria. We have implemented and tested the classic algorithms (using the BSP model): page rank, BFS, connected components as well as the iFUB algorithm for computing the diameter of large graphs

TimeSquare: Logical Time Matters

http://timesquare.inria.frTimeSquare is a software environment for the modeling, simulation and analysis of timing constraints in embedded systems. It relies specifically on the Time Model of the Marte UML profile, and more accurately on the associated Clock Constraint Specification Language (CCSL) for the expression of timing constraints

Passwords project

The objective of the PASSWORDS Project is to design and develop a prototype of an intelligent video image analysis system for video surveillance and security applications, based on concrete needs expressed by potential users. The goal of the system developed within PASSWORDS is to detect certain dangerous situations in some scenes (e.g. vandalism in a metro station), providing for example a remote operator with an alarm signal. This paper illustrates the different steps which compose the PASSWORDS system, focusing the attention on the Image Processing Module

Un mecanisme de prediction deductive pour le raisonnement temporel

SIGLEAvailable at INIST (FR), Document Supply Service, under shelf-number : 14802 E, issue : a.1992 n.1812 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc