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 :
بازگشت