Revisiting analogical proportions and analogical inference. (English) Zbl 07885925
Summary: In this paper, we consider analogical proportions which are statements of the form “\(\vec{a}\) is to \(\vec{b}\) as \(\vec{c}\) is to \(\vec{d}\)”, understood as a comparative formulation between vectors of items described on the same set of attributes. Analogical proportions and analogical inference have been extensively studied in the last decade, in particular by the authors of this paper. Some important remarks have been made regarding these proportions on i) the role of ordered pairs in them; ii) the large number of them associated with taxonomic trees; and more recently iii) their close relationship with multi-valued dependencies. We offer a renewed presentation of these facts together with some new insights on analogical proportions, emphasizing the role of equivalence classes of ordered pairs. Moreover, not all consequences had been drawn for a better understanding of analogical inference. This is the main purpose of this paper. In particular, it is advocated that analogical proportions whose four members are equal on some attributes are better predictors in general for classification purposes than analogical proportions for which there does not exist such attribute. This is confirmed by experimental results also reported in the paper. Thus this paper can be read both as an introductory survey on recent advances on analogical proportions and as a study on the impact of particular patterns on analogical inference, a topic never considered before.
MSC:
| 03-XX | Mathematical logic and foundations |
Keywords:
analogical proportion; analogical inference; analogical classification; multi-valued dependency; Boolean/nominal data; taxonomyReferences:
| [1] | Abiteboul, S.; Hull, R.; Vianu, V., Foundations of Databases, 1995, Addison-Wesley: Addison-Wesley Reading · Zbl 0848.68031 |
| [2] | Aristotle, Nicomachean Ethics, 2011, Univ. of Chicago Press, Trans. by R.C. Bartlett and S.D. Collins |
| [3] | Arrazola, I.; Plainfossé, A.; Prade, H.; Testemale, C., Extrapolation of fuzzy values from incomplete data bases, Inf. Syst., 14, 6, 487-492, 1989 |
| [4] | Barbot, N.; Miclet, L.; Prade, H., Analogy between concepts, Artif. Intell., 275, 487-539, 2019 · Zbl 1478.68360 |
| [5] | Barbot, N.; Miclet, L.; Prade, H.; Richard, G., A new perspective on analogical proportions, (Kern-Isberner, G.; Ognjanovic, Z., Proc. 15th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proc. 15th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU’19), Belgrade, Sept. 18-20. Proc. 15th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proc. 15th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU’19), Belgrade, Sept. 18-20, LNCS, vol. 11726, 2019, Springer), 163-174 · Zbl 1517.68349 |
| [6] | Barbot, N.; Miclet, L.; Prade, H.; Richard, G., Analogical proportions and binary trees, (Béziau, J.-Y.; Desclés, J.-P.; Moktefi, A.; Pascu, A. C., Logic in Question. Talks from the Annual Sorbonne Logic Workshop (2011- 2019), 2022, Birkhäuser), 435-458 · Zbl 1543.03026 |
| [7] | Beeri, C.; Fagin, R.; Howard, J. H., A complete axiomatization for functional and multivalued dependencies in database relations, (Smith, D. C.P., Proc. ACM SIGMOD Int. Conf. on Mgmt. of Data. Proc. ACM SIGMOD Int. Conf. on Mgmt. of Data, Toronto, Aug. 3-5, 1977), 47-61 |
| [8] | Bounhas, M.; Prade, H., Analogy-based classifiers: an improved algorithm exploiting competent data pairs, Int. J. Approx. Reason., 158, Article 108923 pp., 2023 · Zbl 07879230 |
| [9] | Bounhas, M.; Prade, H.; Richard, G., Analogy-based classifiers for nominal or numerical data, Int. J. Approx. Reason., 91, 36-55, 2017 · Zbl 1419.68073 |
| [10] | Bounhas, M.; Prade, H.; Richard, G., Some recent advances in reasoning based on analogical proportions, 2022, CoRR |
| [11] | Chouraqui, E., Construction of a model for reasoning by analogy, (Proc. 5th Europ. Conf. in Artificial Intelligence (ECAI’82). Proc. 5th Europ. Conf. in Artificial Intelligence (ECAI’82), Orsay, France, 1982), 48-53 |
| [12] | Correa, W.; Prade, H.; Richard, G., Trying to understand how analogical classifiers work, (Hüllermeier, E.; etal., Proc. 6th Inter. Conf. on Scalable Uncertainty Management. Proc. 6th Inter. Conf. on Scalable Uncertainty Management, (SUM’12), Marburg, Germany. Proc. 6th Inter. Conf. on Scalable Uncertainty Management. Proc. 6th Inter. Conf. on Scalable Uncertainty Management, (SUM’12), Marburg, Germany, LNAI, vol. 7520, 2012, Springer Verlag), 582-589 |
| [13] | Couceiro, M.; Hug, N.; Prade, H.; Richard, G., Analogy-preserving functions: a way to extend Boolean samples, (Proc. of 26th Inter. Joint Conf. on Artificial Intelligence. Proc. of 26th Inter. Joint Conf. on Artificial Intelligence, (IJCAI’17), Melbourne, 2017), 1575-1581 |
| [14] | Couceiro, M.; Hug, N.; Prade, H.; Richard, G., Behavior of analogical inference w.r.t. Boolean functions, (Lang, J., Proc. 27th Int. Joint Conf. on Artificial Intelligence. Proc. 27th Int. Joint Conf. on Artificial Intelligence, (IJCAI’18), Stockholm, July 13-19, 2018), 2057-2063 |
| [15] | Couceiro, M.; Lehtonen, E.; Miclet, L.; Prade, H.; Richard, G., When nominal analogical proportions do not fail, (Davis, J.; Tabia, K., Proc. 14th Int. Conf. on Scalable Uncertainty Management. Proc. 14th Int. Conf. on Scalable Uncertainty Management, (SUM’20), Bozen-Bolzano, Sept. 23-25. Proc. 14th Int. Conf. on Scalable Uncertainty Management. Proc. 14th Int. Conf. on Scalable Uncertainty Management, (SUM’20), Bozen-Bolzano, Sept. 23-25, LNCS, vol. 12322, 2020, Springer), 68-83 · Zbl 1517.68352 |
| [16] | Davies, T. R.; Russell, S. J., A logical approach to reasoning by analogy, (McDermott, J. P., Proc. of the 10th International Joint Conference on Artificial Intelligence. Proc. of the 10th International Joint Conference on Artificial Intelligence, (IJCAI’87), Milan, 1987, Morgan Kaufmann), 264-270 |
| [17] | Dorolle, M., Le Raisonnement par Analogie, 1949, PUF: PUF Paris |
| [18] | Dubois, D.; Prade, H.; Richard, G., Multiple-valued extensions of analogical proportions, Fuzzy Sets Syst., 292, 193-202, 2016 · Zbl 1380.03029 |
| [19] | Fagin, R., Multivalued dependencies and a new normal form for relational databases, ACM Trans. Database Syst., 2, 3, 262-278, 1977 |
| [20] | Fischer, P. C.; Van Gucht, D., Weak multivalued dependencies, (Proc. 3rd ACM SIGACT-SIGMOD Symp. on Principles of Database Systems. Proc. 3rd ACM SIGACT-SIGMOD Symp. on Principles of Database Systems, Waterloo, Ontario, April 2-4, 1984), 266-274 |
| [21] | Hartmann, S.; Link, S., On inferences of weak multivalued dependencies, Fundam. Inform., 92, 1-2, 83-102, 2009 · Zbl 1176.68063 |
| [22] | Hesse, M., On defining analogy, Proc. Aristot. Soc., 60, 79-100, 1959 |
| [23] | Hesse, M., Aristotle’s logic of analogy, Philos. Q., 15, 328-340, 1965 |
| [24] | Kenig, B.; Mundra, P.; Prasaad, G.; Salimi, B.; Suciu, D., Mining approximate acyclic schemes from relations, (Maier, D.; Pottinger, R.; Doan, A. H.; Tan, W.-C.; Alawini, A.; Ngo, H. Q., Proc. Int. Conf. on Management of Data. Proc. Int. Conf. on Management of Data, (SIGMOD’20), Online Conf. [Portland, OR], June 14-19, 2020, ACM), 297-312 |
| [25] | Klein, S., Analogy and mysticism and the structure of culture (and Comments & Reply), Curr. Anthropol., 24, 2, 151-180, 1983 |
| [26] | Besnard, P.; Cordier, M. O.; Dubois, D.; Farinas del Cerro, L.; Froidevaux, C.; Moinard, Y.; Prade, H.; Schwind, C.; Siegel, P., Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example, 1990, Wiley · Zbl 0713.68066 |
| [27] | Lepage, Y., De l’analogie rendant compte de la commutation en linguistique, 2003, Univ. J. Fourier: Univ. J. Fourier Grenoble, Habilit. à Diriger des Recher. |
| [28] | Lepage, Y.; Goh, C.-L., Towards automatic acquisition of linguistic features, (Jokinen, Kristiina; Bick, Eckhard, Proc. 17th Nordic Conf. of Computational Linguistics. Proc. 17th Nordic Conf. of Computational Linguistics, NODALIDA 2009, Odense, Denmark, May 14-16, 2009, Northern European Association for Language Technology (NEALT)), 118-125 |
| [29] | Lieber, J.; Nauer, E.; Prade, H., Improving analogical extrapolation using case pair competence, (Bach, K.; Marling, C., Proc. 27th Int. Conf. on Case-Based Reasoning. Proc. 27th Int. Conf. on Case-Based Reasoning, (ICCBR ’19), Otzenhausen, Sept. 8-12. Proc. 27th Int. Conf. on Case-Based Reasoning. Proc. 27th Int. Conf. on Case-Based Reasoning, (ICCBR ’19), Otzenhausen, Sept. 8-12, LNCS, vol. 11680, 2019, Springer), 251-265 |
| [30] | Lim, S.; Prade, H.; Richard, G., Classifying and completing word analogies by machine learning, Int. J. Approx. Reason., 132, 1-25, 2021 · Zbl 1519.68292 |
| [31] | Link, S.; Prade, H., Possibilistic functional dependencies and their relationship to possibility theory, IEEE Trans. Fuzzy Syst., 24, 3, 757-763, 2016 |
| [32] | Link, S.; Prade, H.; Richard, G., Analogical proportions, multivalued dependencies and explanations, (Dupin de Saint-Cyr, F.; Öztürk-Escoffier, M.; Potyka, N., Proc. 15th Int. Conf. on Scalable Uncertainty Management. Proc. 15th Int. Conf. on Scalable Uncertainty Management, SUM’22, Paris, Oct. 17-19. Proc. 15th Int. Conf. on Scalable Uncertainty Management. Proc. 15th Int. Conf. on Scalable Uncertainty Management, SUM’22, Paris, Oct. 17-19, LNCS, vol. 13562, 2022, Springer), 351-360 · Zbl 1524.68358 |
| [33] | Mertz, J.; Murphy, P. M., Uci repository of machine learning databases, 2000, Available at |
| [34] | Miclet, L.; Bayoudh, S.; Delhay, A., Analogical dissimilarity: definition, algorithms and two experiments in machine learning, J. Artif. Intell. Res., 32, 793-824, 2008 · Zbl 1183.68489 |
| [35] | Miclet, L.; Prade, H., Handling analogical proportions in classical logic and fuzzy logics settings, (Proc. 10th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proc. 10th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU’09), Verona. Proc. 10th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proc. 10th Eur. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU’09), Verona, LNCS, vol. 5590, 2009, Springer), 638-650 · Zbl 1245.03046 |
| [36] | Mikolov, T.; Sutskever, I.; Chen, K.; Corrado, G. S.; Dean, J., Distributed representations of words and phrases and their compositionality, (Burges, C. J.C.; etal., Advances in Neural Information Processing Systems, vol. 26, 2013, Curran Associates Inc.), 3111-3119 |
| [37] | Papenbrock, Th.; Naumann, F., A hybrid approach to functional dependency discovery, (Özcan, F.; Koutrika, G.; Madden, S., Proc. 2016 Int. Conf. on Management of Data. Proc. 2016 Int. Conf. on Management of Data, SIGMOD’16, San Francisco, June 26 - July 01, 2016, ACM), 821-833 |
| [38] | Pirrelli, V.; Yvon, F., Analogy in the lexicon: a probe into analogy-based machine learning of language, (Proc. 6th Int. Symp. on Human Communication, 1999), Santiago de Cuba, 6 pp. |
| [39] | Prade, H.; Richard, G., Homogenous and heterogeneous logical proportions, IfCoLog J. Log. Appl., 1, 1, 1-51, 2014 |
| [40] | Prade, H.; Richard, G., Analogical proportions: from equality to inequality, Int. J. Approx. Reason., 101, 234-254, 2018 · Zbl 1448.68400 |
| [41] | Prade, H.; Richard, G., Analogical proportions: why they are useful in AI, (Zhou, Z.-H., Proc. 30th Int. Joint Conf. on Artificial Intelligence. Proc. 30th Int. Joint Conf. on Artificial Intelligence, (IJCAI-21) Virtual Event/Montreal, Aug. 19-27, 2021), 4568-4576 |
| [42] | Prade, H.; Richard, G., Multiple analogical proportions, AI Commun., 34, 3, 211-228, 2021 · Zbl 1487.68220 |
| [43] | Prade, H.; Richard, G., First steps towards a logic of ordered pairs, (Bouraoui, Z.; Vesic, S., Proc. 17th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proc. 17th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU’23), Arras, Sept. 19-22. Proc. 17th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. Proc. 17th Europ. Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, (ECSQARU’23), Arras, Sept. 19-22, LNCS, vol. 14294, 2023, Springer), 198-209 |
| [44] | Prade, H.; Richard, G., Analogical proportion-based induction: from classification to creativity, J. Appl. Log. - IfCoLog J. Log. Appl., 11, 1, 51-87, 2024 · Zbl 07799278 |
| [45] | Savnik, I.; Flach, P. A., Discovery of multivalued dependencies from relations, Intell. Data Anal., 4, 3-4, 195-211, 2000 · Zbl 1088.68582 |
| [46] | Wei, Z.h.; Leck, U.; Link, S., Discovery and ranking of embedded uniqueness constraints, Proc. VLDB Endow., 12, 13, 2339-2352, 2019 |
| [47] | Zhou, Y.; Fam, R.; Lepage, Y., Extraction of analogies between sentences on the level of syntax using parse trees, (Proc. ATA@ICCBR Workshop. Proc. ATA@ICCBR Workshop, Nancy, Sept. 12, 2022) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
