2000 character limit reached
Proportoids (2210.01751v6)
Published 31 Aug 2022 in cs.AI and cs.LO
Abstract: Analogical proportions are expressions of the form ``$a$ is to $b$ what $c$ is to $d$'' at the core of analogical reasoning. This paper contributes to the mathematical foundations of analogical proportions in the axiomatic tradition as initiated by Yves Lepage two decades ago. For this we introduce proportoids as sets endowed with a 4-ary analogical proportion relation $a:b::c:d$ satisfying a suitable set of axioms and study different kinds of proportion-preserving mappings and relations and their properties.
- Antić, C. (2022). Analogical proportions. Annals of Mathematics and Artificial Intelligence, 90(6), 595–644. https://doi.org/10.1007/s10472-022-09798-y.
- Antić, C. (2023a). Analogical proportions in monounary algebras. Annals of Mathematics and Artificial Intelligence, accepted. https://arxiv.org/pdf/2208.06829.pdf.
- Antić, C. (2023b). Boolean proportions. https://arxiv.org/pdf/2109.00388.pdf.
- Antić, C. (2023c). Logic-based analogical proportions. https://hal.science/hal-04005139.
- A Course in Universal Algebra. http://www.math.hawaii.edu/~ralph/Classes/619/univ-algebra.pdf.
- Analogy-preserving functions: a way to extend boolean samples. In IJCAI 2017, pp. 1575–1581.
- Galois theory for analogical classifiers. Annals of Mathematics and Artificial Intelligence. https://doi.org/10.1007/s10472-023-09833-6.
- A logical approach to reasoning by analogy. In McDermott, J. P. (Ed.), IJCAI 1987, pp. 264–270. Morgan Kaufmann.
- Hinman, P. G. (2005). Fundamentals of Mathematical Logic. A K Peters, Wellesley, MA.
- Howie, J. M. (2003). Fundamentals of Semigroup Theory. London Mathematical Society Monographs New Series. Oxford University Press, Oxford.
- Klein, S. (1982). Culture, mysticism and social structure and the calculation of behavior. In ECAI 1982, pp. 141–146.
- Lepage, Y. (2003). De L’Analogie. Rendant Compte de la Commutation en Linguistique. Habilitation à diriger les recherches, Université Joseph Fourier, Grenoble.
- Classifying and completing word analogies by machine learning. International Journal of Approximate Reasoning, 132, 1–25.
- Opening the parallelogram: Considerations on non-euclidean analogies. In ICCBR 2018, LNAI 11156, pp. 597–611. Springer Nature Switzerland AG.
- Christian Antić (20 papers)