Analogical Proportions and Multiple-Valued Logics

National audienceRecently, a propositional logic modeling of analogical proportions, i.e., statements of the form “A is to B as C is to D”, has been proposed, and has then led to introduce new related proportions in a general setting. This framework is well-suited for analogical reasoning and classification tasks about situations described by means of Boolean properties. There is a clear need for extending this approach to deal with the cases where i) properties are gradual ; ii) properties may not apply to some situations ; iii) the truth status of a property is unknown. The paper investigates the appropriate extension in each of these three cases

Analogy on Sequences : a Definition and an Algorithm

We present a definition of analogy on sequences which is based on two principles : the definition of an analogy between the letters of an alphabet and the use of the edit distance between sequences. Our definition generalizes the algorithm given by Lepage and is compatible with another definition of analogy in sequences given by Yvon

Analogical proportions and the factorization of information in distributive lattices

International audienceAnalogical proportions are statements involving four enti- ties, of the form 'A is to B as C is to D'. They play an important role in analogical reasoning. Their formalization has received much attention from different researchers in the last decade, in particular in a proposi- tional logic setting. Analogical proportions have also been algebraically defined in terms of factorization, as a generalization of geometric nu- merical proportions (that equate ratios). In this paper, we define and study analogical proportions in the general setting of lattices, and more particularly of distributive lattices. The decomposition of analogical pro- portions in canonical proportions is discussed in details, as well as the resolution of analogical proportion equations, which plays a crucial role in reasoning. The case of Boolean lattices, which reflects the logical mod- eling, and the case corresponding to entities described in terms of gradual properties, are especially considered for illustration purposes

Relation d'analogie et distance sur un alphabet défini par des traits

Cet article rappelle d'abord ce qu'est une relation d'analogie entre quatre ensembles finis (ou alphabets) selon la définition de Lepage. Il étudie le cas où ils sont définis par des traits binaires et présente ensuite une distance sur ces alphabets, compatible avec la relation d'analogie. Il étudie aussi comment construire des alphabets définis par des traits binaires au sein desquels se trouvent des relations d'analogie systématiques et examine le nombre d'analogies possibles dans ces alphabets. Pour finir, il prouve l'équivalence entre la définition de l'analogie entre ensembles de Lepage et celle de Stroppa

La proportion analogique dans les groupes. Application aux permutations et aux matrices.

Ce rapport de recherche étudie la notion de proportion analogique entre quatre éléments d'un groupe, en respectant les axiomes proposés par Lepage [1] et en suivant aussi la notion de factorisation, donnée comme fondamentale par Stroppa et Yvon pour dénir la proportion analogique [2]. On montre d'abord qu'en général, l'équation analogique n'a pas de solution dans un groupe non commutatif. On s'intéresse ensuite aux conditions que doivent respecter trois éléments pour qu'il existe un quatrième en proportion analogique avec eux. Ces conditions sont présentées de diérentes manières, que l'on démontre comme équivalentes. On dénit ensuite la notion de dissemblance analogique à partir d'une distance sur le groupe. On s'intéresse ensuite au cas particulier du groupe des permutations sur un ensemble à n éléments. On caractérise les conditions d'existence et on montre comment construire des proportions analogiques à partir de deux éléments et on en dénombre les cas possibles. On présente une distance sur le groupe et on en déduit une dissimilarité analogique entre quatre permutations. Pour terminer, on étudie le groupe des matrices inversibles. On caractérise les conditions d'existence et on montre comment construire des proportions analogiques à partir de deux matrices. Quelques cas particuliers sont présentés. Enn, on dénit une dissimilarité analogique entre quatre matrices

Les techniques d'appariement entre arbres. Rapport Bibliographique

le problème de comparer deux arbres intervient dans divers domaines comme les documents structurés (XML), la bioinformatique (les structures secondaires d'ARN), etc. Les algorithmes reposent sur le principe de l'appariement, ou édition (editing), d'un arbre en un autre par la composition d'opérations élémentaires, en visant à minimiser leur coût cumulé (la distance d'édition). Dans ce cadre, nous étudions un certain nombre de travaux antérieurs sur l'appariement entre arbres, qui représentent un large éventail des méthodes existantes. Notre but est d'étendre ces méthodes pour définir une analogie entre quatre arbres

Rates of Chemical Reactions Embedded in a Metabolic Network by Dissolution Dynamic Nuclear Polarisation NMR

International audienceThe isomerisation of 6-phosphogluconolactones and their hydrolyses into 6-phosphogluconic acid form a non enzymatic side cycle of the pentose-phosphate pathway (PPP) in cells. We show that dissolution dynamic nuclear polarization can be used for determining the kinetic rates of the involved transformations in real time. It is found that the hydrolysis of both lactones is significantly slower than the isomeration process, thereby shedding new light onto this subtle chemical process

Steps in the Representation of Concept Lattices and Median Graphs

International audienceMedian semilattices have been shown to be useful for dealing with phylogenetic classication problems since they subsume median graphs, distributive lattices as well as other tree based classica-tion structures. Median semilattices can be thought of as distributive ∨-semilattices that satisfy the following property (TRI): for every triple x, y, z, if x ∧ y, y ∧ z and x ∧ z exist, then x ∧ y ∧ z also exists. In previous work we provided an algorithm to embed a concept lattice L into a dis-tributive ∨-semilattice, regardless of (TRI). In this paper, we take (TRI) into account and we show that it is an invariant of our algorithmic approach. This leads to an extension of the original algorithm that runs in polynomial time while ensuring that the output is a median semilattice