Prade, Henri and Richard, Gilles Analogical proportions: From equality to inequality. (2018) International Journal of Approximate Reasoning, 101. 234254. ISSN 0888613X

(Document in English)
PDF (Author's version)  Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 1MB 
Official URL: https://doi.org/10.1016/j.ijar.2018.07.005
Abstract
Analogical proportions are statements of the form a is to b as c is to d. Such expressions compare the pair (a,b)with the pair (c,d). Previous papers have developed logical modelings of such proportions both in Boolean and in multiplevalued settings. They emphasize a reading of the proportion as “the way a and b differ is the same as c and d differ”. The ambition of this paper is twofold. The paper first provides a deeper understanding and further justifications of the Boolean modeling, before introducing analogical inequalities, where “as” is replaced by “as much as” in the comparison of two pairs. From an abstract viewpoint, analogical proportions are supposed to obey at least three postulates expressing reflexivity, symmetry, and stability under central permutation. Nevertheless these postulates are not enough to determine a single model and a minimality condition has to be added as shown in this paper. These models are organized in a complete lattice based on set inclusion. This leads us to discuss lower and upper approximations of the minimal model. Apart from being minimal, this model can also be evaluated in terms of Kolmogorov complexity via an expression reflecting the intended meaning of analogy. We show that the six Boolean patterns of the minimal model that make Boolean analogy true minimize this expression. Besides, analogical proportions extend to 4tuples of Boolean vectors. This enables us to explain why analogical proportions also reads in terms of similarity (rather than difference, i.e., dissimilarity): a and d share the same presence or absence of features as b and c. Moreover, we establish a link between analogical proportion and Hamming distances between components of the proportion. We also emphasize that analogical proportions are pervasive in any comparison of two vectors a and d that implicitly induce the existence of “intermediary” vectors b and c forming together such a proportion. The similarity reading and the dissimilarity reading of a Boolean analogical proportion are no longer equivalent in the multiplevalued setting, where they give birth to two distinct options that are recalled. These options are also discussed with respect to their capability to handle socalled “continuous” logical proportions of the form a is to b as b is to c involving some idea of “betweenness”. In all the previously investigated issues, the pairs involved in the 4tuples were compared via equalities of similarities or equalities of dissimilarities. This observation suggests to also consider statements of the form “a is to b at least as much as c is to d”, leading to the concept of “analogical inequalities”. Thus, instead of expressing equality between differences or similarities, as it is the case for analogical proportions, it is also interesting to express inequalities between such differences or similarities. Starting from the modeling of analogical proportions, we investigate the logical modeling of analogical inequalities, both in the Boolean and in the multiplevalued cases, and discuss their potential use in relation with some recent related work in computer vision.
Item Type:  Article 

Additional Information:  https://www.sciencedirect.com/science/article/pii/S0888613X17306096 
HAL Id:  hal02382716 
Audience (journal):  International peerreviewed journal 
Uncontrolled Keywords:  
Institution:  French research institutions > Centre National de la Recherche Scientifique  CNRS (FRANCE) Université de Toulouse > Institut National Polytechnique de Toulouse  Toulouse INP (FRANCE) Université de Toulouse > Université Toulouse III  Paul Sabatier  UT3 (FRANCE) Université de Toulouse > Université Toulouse  Jean Jaurès  UT2J (FRANCE) Université de Toulouse > Université Toulouse 1 Capitole  UT1 (FRANCE) Other partners > University of Technology, Sydney  UTS (AUSTRALIA) 
Laboratory name:  
Statistics:  download 
Deposited On:  21 Nov 2019 15:33 
Repository Staff Only: item control page