Boolean Analogical Proportions - Axiomatics and Algorithmic Complexity Issues

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10369)


Analogical proportions, i.e., statements of the form a is to b as c is to d, are supposed to obey 3 axioms expressing reflexivity, symmetry, and stability under central permutation. These axioms are not enough to determine a single Boolean model, if a minimality condition is not added. After an algebraic discussion of this minimal model and of related expressions, another justification of this model is given in terms of Kolmogorov complexity. It is shown that the 6 Boolean patterns that make an analogical proportion true have a minimal complexity with respect to an expression reflecting the intended meaning of the proportion.


  1. 1.
    Bennett, C.H., Gács, P., Li, M., Vitányi, P., Zurek, W.H.: Information distance (2010). CoRR abs/1006.3520
  2. 2.
    Cornuéjols, A.: Analogy as minimization of description length. In: Nakhaeizadeh, G., Taylor, C. (eds.) Machine Learning and Statistics: The Interface, pp. 321–336. Wiley, Chichester (1996)Google Scholar
  3. 3.
    Delahaye, J.P., Zenil, H.: On the Kolmogorov-Chaitin complexity for short sequences (2007). CoRR abs/0704.1043Google Scholar
  4. 4.
    Delahaye, J.P., Zenil, H.: Numerical evaluation of algorithmic complexity for short strings: a glance into the innermost structure of randomness. Appl. Math. Comput. 219(1), 63–77 (2012)MATHGoogle Scholar
  5. 5.
    Goel, S., Bush, S.F.: Kolmogorov complexity estimates for detection of viruses in biologically inspired security systems: a comparison with traditional approaches. Complexity 9(2), 54–73 (2003)CrossRefGoogle Scholar
  6. 6.
    Klein, S.: Whorf transforms and a computer model for propositional/appositional reasoning. In: Proceedings of the Applied Mathematics colloquium, University of Bielefeld, West Germany (1977)Google Scholar
  7. 7.
    Lepage, Y.: Analogy and formal languages. Electr. Notes Theor. Comp. Sci. 53, 180–191 (2002). Moss, L.S., Oehrle, R.T. (eds.) Proceedings of the Joint Meeting of the 6th Conference on Formal Grammar and the 7th Conference on Mathematics of LanguageGoogle Scholar
  8. 8.
    Levin, L.: Laws of information conservation (non-growth) and aspects of the foundation of probability theory. Probl. Inf. Transm. 10, 206–210 (1974)Google Scholar
  9. 9.
    Li, M., Vitanyi, P.: An Introduction to Kolmogorov Complexity and Its Applications, 3rd edn. Springer, New York (2008)CrossRefMATHGoogle Scholar
  10. 10.
    Miclet, L., Delhay, A.: Relation d’analogie et distance sur un alphabet défini par des traits. Technical Report 1632, IRISA, July 2004Google Scholar
  11. 11.
    Miclet, L., Delhay, A.: Analogical dissimilarity: definition, algorithms and first experiments in machine learning. Technical Report RR-5694, INRIA, July 2005Google Scholar
  12. 12.
    Miclet, L., Prade, H.: Logical definition of analogical proportion and its fuzzy extensions. In: Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS), New-York, pp. 1–6. IEEE (2008)Google Scholar
  13. 13.
    Miclet, L., Prade, H.: Handling analogical proportions in classical logic and fuzzy logics settings. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS (LNAI), vol. 5590, pp. 638–650. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-02906-6_55 CrossRefGoogle Scholar
  14. 14.
    Prade, H., Richard, G.: From analogical proportion to logical proportions. Logica Universalis 7(4), 441–505 (2013)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Prade, H., Richard, G.: Homogenous and heterogeneous logical proportions. IfCoLog J. Logics Appl. 1(1), 1–51 (2014)Google Scholar
  16. 16.
    Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(3), 379–423 (1948)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Soler-Toscano, F., Zenil, H., Delahaye, J.P., Gauvrit, N.: Correspondence and independence of numerical evaluations of algorithmic information measures. Computability 2, 125–140 (2013)MathSciNetMATHGoogle Scholar
  18. 18.
    Solomonoff, R.J.: A formal theory of inductive inference. Part i and ii. Inf. Control 7(1), 1–22 and 224–254 (1964)Google Scholar
  19. 19.
    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

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.IRITToulouse UniversityToulouseFrance
  2. 2.QCISUniversity of TechnologySydneyAustralia

Personalised recommendations