Skip to main content
Log in

From Analogical Proportion to Logical Proportions

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

Given a 4-tuple of Boolean variables (a, b, c, d), logical proportions are modeled by a pair of equivalences relating similarity indicators (\({a \wedge b}\) and \({\overline{a} \wedge \overline{b}}\)), or dissimilarity indicators (\({a \wedge \overline{b}}\) and \({\overline{a} \wedge b}\)) pertaining to the pair (a, b), to the ones associated with the pair (c, d). There are 120 semantically distinct logical proportions. One of them models the analogical proportion which corresponds to a statement of the form “a is to b as c is to d”. The paper inventories the whole set of logical proportions by dividing it into five subfamilies according to what they express, and then identifies the proportions that satisfy noticeable properties such as full identity (the pair of equivalences defining the proportion hold as true for the 4-tuple (a, a, a, a)), symmetry (if the proportion holds for (a, b, c, d), it also holds for (c, d, a, b)), or code independency (if the proportion holds for (a, b, c, d), it also holds for their negations \({{(\overline{a},\overline{b}, \overline{c}, \overline{d})}}\)). It appears that only four proportions (including analogical proportion) are homogeneous in the sense that they use only one type of indicator (either similarity or dissimilarity) in their definition. Due to their specific patterns, they have a particular cognitive appeal, and as such are studied in greater details. Finally, the paper provides a discussion of the other existing works on analogical proportions.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Barbot, N., Miclet, L.: La proportion analogique dans les groupes: applications aux permutations et aux matrices. Technical Report 1914, IRISA (2009)

  2. Bayoudh, M., Prade, H., Richard.: A Kolmogorov complexity view of analogy: from logical modeling to experimentations. In: Bramer, M., Petridis, M., Hopgood, A. (eds.) Proc. 29th SGAI Int. Conf. on Innovative Techniques and Applications of Artificial Intelligence, Cambridge, 14–16 Dec. 2010, pp. 93–106. Springer, Berlin (2011)

  3. Bayoudh, S., Miclet, L., Delhay, A.: Learning by analogy: a classification rule for binary and nominal data. In: Proc. 20th Int. Conf. on Artificial Intelligence (IJCAI’07), pp. 678–683 (2007)

  4. Bayoudh, S., Miclet, L., Delhay, A., Mouchère, H.: De l’utilisation de la proportion analogique en apprentissage artificiel. In: Actes des Journées Inteligence Artificielle Fondamentale (IAF’07) (2007)

  5. Béziau J.-Y.: New light on the square of oppositions and its nameless corner. Log. Investig. 10, 218–233 (2003)

    Google Scholar 

  6. Béziau J.-Y.: The power of the hexagon. Log. Univers. 6(1–2), 1–43 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Blanché R.: Sur l’opposition des concepts. Theoria 19, 89–130 (1953)

    Article  Google Scholar 

  8. Blanché R.: Structures Intellectuelles. Essai sur l’Organisation Systématique des Concepts. Vrin, Paris (1966)

  9. Bollegala, D., Goto, T., Tuan Duc, N., Ishizuka, M.: Improving relational similarity measurement using symmetries in proportional word analogies. Inf. Process. Manage. (2012, to appear)

  10. Cajori F.: William Oughtred: A Great Seventeenth-Century Teacher of Mathematics. Open Court Publishing Company, Chicago (1916)

    MATH  Google Scholar 

  11. Chater N.: The search for simplicity: a fundamental cognitive principle? Q. J. Exp. Psychol. 52(A), 273–302 (1999)

    Google Scholar 

  12. Cornuéjols, A.: Analogy as minimization of description length. In: Nakhaeizadeh, G., Taylor, C.C. (eds.), Machine Learning and Statistics: The Interface. Wiley, New York (1996)

  13. Correa, W., Prade, H., Richard, G.: When intelligence is just a matter of copying. In: De Raedt L. et al. (eds.) Proc. 20th Europ. Conf. on Artificial Intelligence, Montpellier, Aug. 27-31, pp. 276–281. IOS Press (2012)

  14. Dastani M., Indurkhya B., Scha R.: Analogical projection in pattern perception. J. Exp. Theoret. Artif. Intell. 15(4), 489–511 (2003)

    Article  MATH  Google Scholar 

  15. Davies, T.R., Russell S.J.: A logical approach to reasoning by analogy. In: McDermott, J.P. (eds.) Proc. 10th Int. Joint Conf. on Artificial Intelligence (IJCAI’87), Milan, pp. 264–270. Morgan Kaufmann, Boca Raton (1987)

  16. De Finetti, B.: La logique des probabilités. In: Congrès International de Philosophie Scientifique, pp. 1–9 (1936). Hermann et Cie, Paris

  17. Dorolle, M.: Le raisonnement par analogie. PUF, Paris (1949)

  18. Douay-Soublin, F.: La contre-analogie. Réflexion sur la récusation de certaines analogies pourtant bien formées cognitivement. Texto! (1999)

  19. Dubois D., Prade H.: Conditional objects as nonmonotonic consequence relationships. IEEE Trans. Syst. Man Cybern. 24, 1724–1740 (1994)

    Article  MathSciNet  Google Scholar 

  20. Dubois D., Prade H.: From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Log. Univers. 6(1–2), 149–169 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  21. Durrenberger P., Morrison J.W.: A theory of analogy. J. Anthropol. Res. 33(4), 372–387 (1977)

    Google Scholar 

  22. Evans, T.G.: A heuristic program to solve geometry-analogy problems. In: Proc. A.F.I.P. Spring Joint Computer Conf., vol. 25, pp. 5–16 (1964)

  23. Falkenhainer B., Forbus K.D., Gentner D.: The structure-mapping engine: algorithm and examples. Artif. Intell. 41(1), 1–63 (1989)

    Article  MATH  Google Scholar 

  24. Forbus, K., Lovett, A., Lockwood, K., Wetzel, J., Matuk, C., Jee, B., Usher, J.: Cogsketch. In AAAI’08: Proc. 23rd national Conf. on Artificial intelligence, pp. 1878–1879. AAAI Press, New York (2008)

  25. French R.M.: The computational modeling of analogy-making. Trends Cogn. Sci. 6(5), 200–205 (2002)

    Article  Google Scholar 

  26. Gentner D.: Structure-mapping: a theoretical framework for analogy. Cogn. Sci. 7(2), 155–170 (1983)

    Article  Google Scholar 

  27. Gentner, D., Holyoak, K.J., Kokinov, B.N.: The Analogical Mind: Perspectives from Cognitive Science. Cognitive Science, and Philosophy. MIT Press, Cambridge (2001)

  28. Gick, N.L., Holyoak, K.J.: Analogical problem solving. In: Cognitive Psychology, vol. 12, pp. 306–335 (1980)

  29. Guhe M., Pease A., Smaill A., Martinez M., Schmidt M., Gust H., Kühnberger K., Krumnack U.: A computational account of conceptual blending in basic mathematics. Cogn. Syst. Res. Specl. Issue Compl. Cogn. 12(3–4), 249–265 (2011)

    Article  Google Scholar 

  30. Gust H., Kühnberger K., Schmid U.: Metaphors and heuristic-driven theory projection (hdtp). Theoret. Comput. Sci. 354(1), 98–117 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  31. Helman, D.H.: (ed) Analogical Reasoning: Perspectives of Artificial Intelligence. Cognitive Science, and Philosophy. Kluwer, Dordrecht (1988)

  32. Hesse M.: On defining analogy. Proc. Aristotel. Soc. 60, 79–100 (1959)

    Google Scholar 

  33. Hofstadter, D., Mitchell, M.: The Copycat project: a model of mental fluidity and analogy-making. In: Hofstadter, D., The Fluid Analogies Research Group (eds.), Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought, pp. 205–267. Basic Books, Inc., New York (1995)

  34. Holyoak K.J., Thagard P.: Analogical mapping by constraint satisfaction. Cogn. Sci. 13, 295–355 (1989)

    Article  Google Scholar 

  35. James W.: The Principles of Psychology. Holt, New York (1890)

    Book  Google Scholar 

  36. Klein, S.: Whorf transforms and a computer model for propositional/ appositional reasoning. In: Proc. of the Applied Mathematics colloquium. Univ. of Bielefeld (1977)

  37. Klein, S.: Culture, mysticism & social structure and the calculation of behavior. In: Proc. 5th Europ. Conf. in Artificial Intelligence (ECAI’82), Paris, pp. 141–146 (1982)

  38. Klein S.: Analogy and mysticism and the structure of culture (and Comments & Reply). Curr. Anthropol. 24(2), 151–180 (1983)

    Article  Google Scholar 

  39. Klein, S.: The analogical foundations of creativity in language, culture & the arts: the upper paleolithic to 2100ce. In: McKevitt, P., Mulvihill, C., Nuallin, S.O’ (eds.), Language, Vision & Music, pp. 347–371. John Benjamin, Amsterdam (2002)

  40. Kling, R.E.: A paradigm for reasoning by analogy. In: Proc. 2nd Int. Joint Conf. on Artificial Intelligence (IJCAI’71), Imperial College, London, Sept. 1-3, pp. 568–585 (1971)

  41. Kunda, M., McGreggor, K., Goel A.: A computational model for solving problems from the ravens progressive matrices intelligence test using iconic visual representations. In: Cognitive Systems Research, pp. 47–66 (2013)

  42. Langlais, P., Yvon, F., Zweigenbaum, P.: Analogical translation of medical words in different languages. In: GoTAL, pp. 284–295 (2008)

  43. Lepage, Y.: Analogy and formal languages. Electr. Notes Theor. Comput. Sci. 53, (2001)

  44. Lepage, Y.: De l’analogie rendant compte de la commutation en linguistique. 2003. Habilitation thesis, May 23, CLIPS/IMAG, Univ. Joseph-Fourier, Grenoble I.

  45. Lepage, Y., Ando, S.: Saussurian analogy: a theoretical account and its application. In: Proc. 16th Int. Conf. on Computational Linguistics (COLING’96), Copenhagen, Aug. 5–9, pp. 717–722 (1996)

  46. Lepage, Y., Migeot, J., Guillerm, E.: A measure of the number of true analogies between chunks in japanese. In: Vetulani, Z., Uszkoreit, H. (eds.) Human Language Technology. Challenges of the Information Society, 3rd Language and Technology Conf., LTC 2007, Poznan, Poland, October 5–7, (2007). Revised Selected Papers, of LNCS, vol. 5603, pp. 154–164. Springer, Berlin (2009)

  47. Lorrain, F.: Réseaux Sociaux et Classifications Sociales. Essai sur l’Algèbre et la Géométrie des Structures Sociales. Hermann, Paris (1975)

  48. Lovett, A., Forbus, K., Usherm, J.: A structure-mapping model of Raven’s progressive matrices. In: Proc. of the 32nd Annual Conf. of the Cognitive Science Society, Portland (2010)

  49. Melis, E., Veloso, M.: Analogy in problem solving. In: Handbook of Practical Reasoning: Computational and Theoretical Aspects. Oxford Univ. Press, Oxford (1998)

  50. Miclet L., Bayoudh S., Delhay A.: Analogical dissimilarity: definition, algorithms and two experiments in machine learning. JAIR 32, 793–824 (2008)

    MathSciNet  MATH  Google Scholar 

  51. Miclet, L., Delhay, A.: Relation d’analogie et distance sur un alphabet défini par des traits. Technical Report 1632, IRISA, Rennes (2004)

  52. Miclet, L., Prade, H.: Handling analogical proportions in classical logic and fuzzy logics settings. In: Proc. 10th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’09), Verona, pp. 638–650. LNCS, vol. 5590. Springer, Berlin (2009)

  53. Moretti A.: Why the logical hexagon?. Log. Univers. 6(1-2), 69–107 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  54. O’Donoghue, D.P., Bohan, A.J., Keane, M.T.: Seeing things: inventive reasoning with geometric analogies and topographic maps. New Gener. Comput. 24(3), 267–288 (2006)

  55. Piaget, J.: Classe, Relations et Nombres. Essai sur les Groupements de la Logistique et sur la Réversibilité de la Pensée. Vrin, Paris (1942)

  56. Piaget, J.: Traité de Logique : Essai de Logistique Opératoire. Dunod, (1949)

  57. Piaget, J.: Essai sur les transformations des opérations logiques: les 256 opérations ternaires de la logique bivalente des propositions. Presses Univ. de France, Paris (1952)

  58. Piaget, J.: Logic and Psychology. Manchester Univ. Press, Manchester (1953)

  59. Plotkin G.D.: A Note on Inductive Generalization. Mach. Intell. 5, 153–163 (1970)

    MathSciNet  Google Scholar 

  60. Prade, H., Richard, G.: Analogy, paralogy and reverse analogy: Postulates and inferences. In: Proc. 32nd Ann. Conf. on Artif. Intellig. (KI 2009), Paderborn. LNAI, vol. 5803, pp. 306–314. Springer, Berlin (2009)

  61. Prade, H., Richard, G.: Analogical proportions: another logical view. In: Bramer, M., Ellis, R., Petridis, M. (eds.) Research and Development in Intelligent Systems XXVI, Proc. 29th Ann. Int. Conf. on AI (SGAI’09), Cambridge, UK, December 2009, pp. 121–134. Springer, Berlin (2010)

  62. Prade, H., Richard, G.: Logical proportions—typology and roadmap. In: Hüllermeier, E., Kruse, R., Hoffmann, F. (eds.) Computational Intelligence for Knowledge-Based Systems Design: Proc. 13th Int. Conf. on Information Processing and Management of Uncertainty (IPMU’10), Dortmund, June 28–July 2. LNCS, vol. 6178, pp. 757–767. Springer, Berlin (2010)

  63. Prade, H., Richard, G.: Multiple-valued logic interpretations of analogical, reverse analogical, and paralogical proportions. In: Proc. 40th IEEE Int. Symp. on Multiple-Valued Logic (ISMVL’10), Barcelona, May 26–28, pp. 258–263 (2010)

  64. Prade, H., Richard, G.: Reasoning with logical proportions. In: Lin, F.Z., Sattler, U., Truszczynski, M.: (eds.) Proc. 12th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2010, Toronto, Ontario, Canada, May 9–13, 2010, pp. 545–555. AAAI Press, Menlo Park (2010)

  65. Prade, H., Richard, G.: Homogeneous logical proportions: their uniqueness and their role in similarity-based prediction. In: Brewka, G., Eiter, T., McIlraith S.A. (eds.) Proc. 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR12), Roma, June 10–14, pp. 402–412. AAAI Press, Menlo Park (2012)

  66. Prade, H., Richard, G.: Logical proportions—further investigations. In: Greco, S. et al. (eds.) Computational Intelligence for Knowledge-Based Systems Design, Proc. 14th Int. Conf. on Inform. Process. and Management of Uncertainty in Knowledge-Based Systems (IPMU’12), Catania, Italy, July 9–13 CCIS, vol. 297, pp. 208–218. Springer, Berlin (2012)

  67. Prade, H., Richard, G.: On the hexagonal organization of concepts related to the ideas of similarity and analogy. In: Béziau, J.-Y., Gan-Krzywoszyńska, K. (eds.) Handbook of abstracts of the 3rd World Congress on the Square of Opposition, pp. 75, Beirut, June 26–30 (2012)

  68. Prade, H., Richard, G.: Analogical proportions and multiple-valued logics. In: van der Gaag, L.C. (eds.) Proc. 12th Eur. Conf. on Symb. and Quantit. Appr. to Reasoning with Uncertainty (ECSQARU’13), Utrecht, Jul. 7–10, LNAI, vol. 7958, pp. 497–509. Springer, Berlin (2013)

  69. Prade, H., Richard, G.: Picking the one that does not fit—a matter of logical proportions. In: Proc. 8th Conf. Europ. Soc. for Fuzzy Logic and Technology (EUSFLAT), Milano, Sept. 11–13 (2013)

  70. Prade H., Richard G., Yao B.: Enforcing regularity by means of analogy-related proportions-a new approach to classification. Int. J. Comput. Inf. Syst. Ind. Manage. Appl. 4, 648–658 (2012)

    Google Scholar 

  71. Sakaguchi, T., Akaho, Y., Okada, K., Date, T., Takagi, T., Kamimaeda, N., Miyahara, M., Tsunoda, T.: Recommendation system with multi-dimensional and parallel-case four-term analogy. Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC), Anchorage, Oct. 9–12, pp. 3137–3143 (2011)

  72. Schmid, U., Gust, H., Kühnberger, K., Burghardt, J.: An algebraic framework for solving proportional and predictive analogies. Eur. Conf. Cogn. Sci., pp. 295–300 (2003)

  73. Smith, D.E.: History of Mathematics, vol. 1. Reprinted by Dover, New York (1958)

  74. Sowa, J.F., Majumdar, A.K.: Analogical reasoning. In: Proc. Int. Conf. on Conceptual Structures, pp. 16–36. LNAI, vol. 2746. Springer, Berlin (2003)

  75. Stroppa, N., Yvon, F.: An analogical learner for morphological analysis. In: Online Proc. 9th Conf. Comput. Natural Language Learning (CoNLL-2005), pp. 120–127 (2005)

  76. Stroppa, N., Yvon, F.: Analogical learning and formal proportions: Definitions and methodological issues. ENST, Paris, Tech. Rep. TR-D004 (2005)

  77. Stroppa N., Yvon F.: Du quatrième de proportion comme principe inductif : une proposition et son application à l’apprentissage de la morphologie. Traitement Automatique des Langues 47(2), 1–27 (2006)

    Google Scholar 

  78. Turney, P.D.: A uniform approach to analogies, synonyms, antonyms, and associations. In: COLING, pp. 905–912 (2008)

  79. Turney P.D., Littman M.L.: Corpus-based learning of analogies and semantic relations. Mach. Learn. 60(1–3), 251–278 (2005)

    Article  Google Scholar 

  80. Tversky, A.: Features of similarity. In: Psychological Review, vol. 84, pp. 327–352. American Psychological Association, Washington, DC (1977)

  81. Veale T., Keane M.: The competence of sub-optimal theories of structure mapping on hard analogies. Proc. Int. Joint C. Artif. Intell. (IJCAI’97) 15(1), 232–237 (1997)

    Google Scholar 

  82. Winston P.H.: Learning and reasoning by analogy. Commun. ACM 23(12), 689–703 (1980)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Henri Prade.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Prade, H., Richard, G. From Analogical Proportion to Logical Proportions. Log. Univers. 7, 441–505 (2013). https://doi.org/10.1007/s11787-013-0089-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-013-0089-6

Mathematics Subject Classification (2000)

Keywords

Navigation