DocumentCode
2703165
Title
Multiple-Valued Logic Interpretations of Analogical, Reverse Analogical, and Paralogical Proportions
Author
Prade, Henri ; Richard, Gilles
Author_Institution
IRIT, Univ. of Toulouse, Toulouse, France
fYear
2010
fDate
26-28 May 2010
Firstpage
258
Lastpage
263
Abstract
Boolean logic interpretations have been recently proposed for analogical proportions (i.e. statements of the form \´\´$a$ is to $b$ as $c$ is to $d$"), and for two other related formal proportions named reverse analogy (\´\´what $a$ is to $b$ is the reverse of what $c$ is to $d$"), and paralogy (\´\´what $a$ and $b$ have in common $c$ and $d$ have it also"). These proportions relate items $a$, $b$, $c$, and $d$ in different ways, on the basis of their differences, or of their similarities. This paper investigates multiple-valued models for these proportions. These extensions may serve different purposes, such as taking into account graded features, or handling crisp ones in non binary attribute domains in a compact way. After summarizing the main results in the binary case, we discuss what multiple valued patterns make sense for the different proportions, starting with tri-valued interpretations, and then considering $[0,1]$-valued interpretations. It appears that Lukasiewicz implication-based interpretation fits well with the intended meaning of analogy and reverse analogy, while a minimum-based interpretation is more suitable for paralogy in case of graded features. Besides, the interest of an interpretation based on Post algebra in case of non binary attribute domains is briefly outlined. Similarities and differences with the standard Boolean setting are highlighted.
Keywords
Algebra; Artificial intelligence; Design methodology; Encoding; Logic; Machine intelligence; Machinery; Problem-solving; Switches; Testing; analogical reasoning; logical proportions; multi valued logic;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location
Barcelona, Spain
ISSN
0195-623X
Print_ISBN
978-1-4244-6752-5
Type
conf
DOI
10.1109/ISMVL.2010.55
Filename
5489147
Link To Document