Une approche syntaxique pour le problème de la fusion de réseaux de contraintes qualitatives

National audienceDans cet article, nous nous intéressons au problème de la fusion de réseaux de contraintes qualitatives (RCQ) représentant des croyances ou des préférences locales sur les positions relatives d'entités spatiales ou temporelles. Nous définissons deux classes d'opérateurs de fusion d1 et d2 qui, à un ensemble de RCQ définis sur le même formalisme qualitatif et le même ensemble d'entités, associent un ensemble cohérent de configurations qualitatives représentant une vision globale de ces RCQ. Ces opérateurs sont paramétrés par une distance entre relations du formalisme qualitatif considéré et par des fonctions d'agrégation. Contrairement aux précédents opérateurs proposées pour la fusion de RCQ, nous optons pour une approche syntaxique, où chacune des contraintes des RCQ fournis a une influence sur le résultat de la fusion. Nous étudions les propriétés logiques des opérateurs de fusion définis et montrons leur équivalence sous certaines restrictions. Nous montrons que le résultat fourni par l'opérateur d2 correspond à l'ensemble des solutions optimales d'un RCQ pondéré particulier. Afin de calculer ces solutions, un algorithme basé sur la méthode de fermeture par faible composition étendu au cas des RCQ pondérés est proposé

Fusion de réseaux de contraintes qualitatives par morceaux

International audienceNon disponibl

Pedestrian Detection with Wearable Cameras for the Blind: A Two-way Perspective

Blind people have limited access to information about their surroundings, which is important for ensuring one's safety, managing social interactions, and identifying approaching pedestrians. With advances in computer vision, wearable cameras can provide equitable access to such information. However, the always-on nature of these assistive technologies poses privacy concerns for parties that may get recorded. We explore this tension from both perspectives, those of sighted passersby and blind users, taking into account camera visibility, in-person versus remote experience, and extracted visual information. We conduct two studies: an online survey with MTurkers (N=206) and an in-person experience study between pairs of blind (N=10) and sighted (N=40) participants, where blind participants wear a working prototype for pedestrian detection and pass by sighted participants. Our results suggest that both of the perspectives of users and bystanders and the several factors mentioned above need to be carefully considered to mitigate potential social tensions.Comment: The 2020 ACM CHI Conference on Human Factors in Computing Systems (CHI 2020

Merging qualitative constraint networks

La représentation du temps et de l’espace est une tâche importante dans de nombreux domaines de l’Intelligence Artificielle tels que le traitement du langage naturel, les systèmes d’informations géographiques (GIS), la conception assistée par ordinateur (CAO), la navigation de robots. De nombreux formalismes qualitatifs ont été proposés pour représenter un ensemble d’entités spatiales ou temporelles et leurs relations. La plupart de ces formalismes utilisent des réseaux de contraintes qualitatives (RCQ en abrégé) pour représenter l’ensemble des informations d’un système.Dans certaines applications, en particulier de type multi-agents, plusieurs sources d’informations peuvent chacune fournir un réseau de contraintes qualitatives pour représenter leur connaissance sur l’ensemble des positions relatives d’un ensemble d’objets. La multiplicité des sources d’informations fournissant les RCQ fait que souvent ces RCQ sont conflictuels, et il est alors utile de mettre en oeuvre une méthode de fusion de ces réseaux pour résoudre les conflits. Il s’agit de définir des familles d'opérateurs de fusion prenant en argument un ensemble de RCQ modélisant les informations fournies par les différentes sources et retournant un ensemble cohérent d'informations ou temporelles correspondant aux informations globales déduites à partir de celles des différentes sources.De nombreux opérateurs de fusion ont été définis dans le cadre de la logique propositionnelle. En s’inspirant en partie de ces travaux, nous élaborons des processus de fusion spécifiques aux RCQ et nous en étudions les propriétés logiques.Time and space representation is an important task in many domains such as natural language processing, geographic information systems (GIS), computer vision, robot navigation. Many qualitative approaches have been proposed to represent the spatial or temporal entities and their relations. The majority of these formalisms use qualitative constraints networks (QCNs) to represent information about a system.In some application, e. g. multi-agent systems, spatial or temporal information come from different sources, i. e. each source provides a spatial or temporal QCN representing relative positions between objects. The multiplicity of sources providing spatial or temporal information makes that the underlying QCNs are generally conflicting. Indeed it becomes necessary to solve the conflicts and define a set of consistent spatial or temporal information representing the result of merging.Merging multiple sources information has attracted much attention in the framework of propositional logic. We take an inspiration from these works in order to define some merging process specified to QCNs, and study their logic and computational properties

Lost in translation: Language independence in propositional logic - application to belief change

International audienceWhile propositional logic is widely used as a representation framework for many AI applications, the concept of language independence in the propositional setting has not received much attention so far. In this paper, we define language independence for a propositional operator as robustness w.r.t. symbol translation. We motivate the need to focus on symbol translations of restricted types, introduce and study several families of translations of interest, and provide a number of characterization results. We also identify the computational complexity of recognizing symbol translations from those families. Then we investigate the robustness of belief merging, belief revision and belief update operators w.r.t. translations of different types. It turns out that some rational merging/revision/update operators are not guaranteed to offer the most basic (yet non-trivial) form of language independenc

Non-Prioritized Iterated Revision: Improvement via Incremental Belief Merging

International audienceIn this work we define iterated change operators that do not obey the primacy of update principle. This kind of change is required in applications when the recency of the input formulae is not linked with their reliability/priority/weight. This can be translated by a commutativity postulate that asks the result of a sequence of changes to be the same whatever the order of the formulae of this sequence. Technically then we end up with a sequence of formulae that we have to combine in order to obtain a meaningful belief base. Belief merging operators are then natural candidates for this task. We show that we can define improvement operators using an incremental belief merging approach. We also show that these operators can not be encoded as simple preorders transformations, contrary to most iterated revision and improvement operators

Representative Solutions for Bi-Objective Optimisation

Bi-objective optimisation aims to optimise two generally competing objective functions. Typically, it consists in computing the set of nondominated solutions, called the Pareto front. This raises two issues: 1) time complexity, as the Pareto front in general can be infinite for continuous problems and exponentially large for discrete problems, and 2) lack of decisiveness. This paper focusses on the computation of a small, “relevant” subset of the Pareto front called the representative set, which provides meaningful trade-offs between the two objectives. We introduce a procedure which, given a pre-computed Pareto front, computes a representative set in polynomial time, and then we show how to adapt it to the case where the Pareto front is not provided. This has three important consequences for computing the representative set: 1) does not require the whole Pareto front to be provided explicitly, 2) can be done in polynomial time for bi-objective mixed-integer linear programs, and 3) only requires a polynomial number of solver calls for bi-objective problems, as opposed to the case where a higher number of objectives is involved. We implement our algorithm and empirically illustrate the efficiency on two families of benchmarks

Lost in Translation: Language Independence in Propositional Logic -- Application to Belief Revision and Belief Merging

Despite the importance of propositional logic in artificial intelligence, the notion of language independence in the propositional setting (not to be confound with syntax independence) has not received much attention so far. In this paper, we define language independence for a propositional operator as robustness w.r.t. symbol translation. We provide a number of characterizations results for such translations. We motivate the need to focus on symbol translations of restricted types, and identify several families of interest. We identify the computational complexity of recognizing symbol translations from those families. Finally, as a case study, we investigate the robustness of belief revision/merging operators w.r.t. translations of different types. It turns out that rational belief revision/merging operators are not guaranteed to offer the most basic (yet non-trivial) form of language independence; operators based on the Hamming distance do not suffer from this drawback but are less robust than operators based on the drastic distance

Lost in translation: sur l'indépendance au langage en logique propositionnelle - application à la révision et la fusion de croyances

National audienceJusqu'à présent, la notion d'indépendance au langage (à ne pas confondre avec celle d'indépendance à la syntaxe) a suscité peu d'intérêt en intelligence artificielle. Dans cet article, nous définissons la notion d'indépendance au langage d'un opérateur propositionnel en terme de robustesse à la substitution des symboles propositionnels par des formules. On parle aussi de traduction de symboles. Nous identifions plusieurs familles de traductions de symboles et nous motivons le besoin de se focaliser sur de telles familles. Nous étudions la complexité du problème de la reconnaissance de la famille à laquelle une traduction de symboles appartient, pour chacune des familles proposées. Enfin, nous étudions la robustesse de certains opérateurs de révision et de fusion propositionnels par rapport à des traductions de différents types. Il s'avère que certains opérateurs de révision (resp. de fusion) satisfaisant pourtant l'ensemble des postulats de rationalité AGM (resp. KP) violent les propriétés d'indépendance au langage les plus basiques (sans être pour autant triviales); ce n'est en revanche pas le cas de la plupart des opérateurs à base de distances, en particulier les opérateurs basés sur la distance de Hamming, qui sont toutefois moins robustes que ceux basés sur la distance drastique