Abstract
This paper investigates the logical formalization of a restricted form of analogical reasoning based on analogical proportions, i.e. statements of the form a is to b as c is to d. Starting from a naive set theoretic interpretation, we highlight the existence of two noticeable companion proportions: one states that a is to b the converse of what c is to d (reverse analogy), while the other called paralogical proportion expresses that what a and b have in common, c and d have it also. We identify the characteristic postulates of the three types of proportions and examine their consequences from an abstract viewpoint. We further study the properties of the set theoretic interpretation and of the Boolean logic interpretation, and we provide another light on the understanding of the role of permutations in the modeling of the three types of proportions. Finally, we address the use of these proportions as a basis for inference in a propositional setting, and relate it to more general schemes of analogical reasoning. The differences between analogy, reverse-analogy, and paralogy is still emphasized in a three-valued setting, which is also briefly presented.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Winston, P.H.: Learning and reasoning by analogy. Com. ACM, 23 (1980) 689–703
Davies, T.R., Russell, S.J.: A logical approach to reasoning by analogy. In: IJCAI-87, Morgan Kaufmann (1987) 264–270
Sowa, J.F., Majumdar, A.K.: Analogical reasoning. In: Proc. Inter. Conf. on Conceptual Structures. LNAI 2746, Dresden, Springer-Verlag (2003) 16–36
Gentner, D.: The Mechanisms of Analogical Learning. In: Similarity and Analogical Reasoning. Cambridge University Press (1989) 197–241
Schmid, U., Gust, H., Kühnberger, K., Burghardt, J.: An algebraic framework for solving proportional and predictive analogies. Eur. Conf. Cogn. Sci. 295-300 (2003)
Melis, E., Veloso, M.: Analogy in problem solving. In: Handbook of Practical Reasoning: Computational and Theoretical Aspects, Oxford University Press (1998)
Ippoliti, E.: Demonstrative and non-demonstrative reasoning by analogy. in: ”Demonstrative and non-demonstrative reasoning in mathematics and natural science”, C. Cellucci - P. Pecere (eds), Edizioni dell’Universia’ di Cassino, 2006, 309-338 (arXiv:0810.5078) (2008) 24 p
Lepage, Y.: Analogy and formal languages. In: Proc. FG/MOL 2001. (2001) 373–378 (see also http://www.slt.atr.co.jp/lepage/pdf/dhdryl.pdf.gz).
Stroppa, N., Yvon, F.: Analogical learning and formal proportions: Definitions and methodological issues. ENST Paris report (2005)
Miclet, L., Prade, H.: Handling analogical proportions in classical logic and fuzzy logics settings. In: Proc. 10th ECSQARU, Verona. Volume LNCS 5590., Springer (2009) 638–650
Prade, H., Richard, G.: Analogy, paralogy and reverse analogy: Postulates and inferences. In: Proc. 32nd Ann. Conf. on Artif. Intellig. (KI 2009), Paderborn, Sept. 15-18, Springer (2009)
Miclet, L., Bayoudh, S., Delhay, A.: Analogical dissimilarity: definition, algorithms and two experiments in machine learning. JAIR, 32 (2008) 793–824
Klein, S.: Culture, mysticism & social structure and the calculation of behavior. In: Proc. Europ. Conf. in AI (ECAI). (1982) 141–146
Stroppa, N., Yvon, F.: An analogical learner for morphological analysis. In: Proc. 9th Conf. Comput. Natural Language Learning (CoNLL-2005). (2005) 120–127
Miclet, L., Delhay, A.: Relation d’analogie et distance sur un alphabet defini par des traits. Technical Report 1632, IRISA (July 2004)
Barbot, N., Miclet, L.: La proportion analogique dans les groupes: applications aux permutations et aux matrices. Technical Report 1914, IRISA (July 2009)
Gentner, D., Holyoak, K.J., Kokinov, B.: (Eds.) The Analogical Mind: Perspectives from Cognitive Sciences. MIT Press (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag London
About this paper
Cite this paper
Prade, H., Richard, G. (2010). Analogical proportions: another logical view. In: Bramer, M., Ellis, R., Petridis, M. (eds) Research and Development in Intelligent Systems XXVI. Springer, London. https://doi.org/10.1007/978-1-84882-983-1_9
Download citation
DOI: https://doi.org/10.1007/978-1-84882-983-1_9
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-84882-982-4
Online ISBN: 978-1-84882-983-1
eBook Packages: Computer ScienceComputer Science (R0)