Generalization-baed similarity
Abstract: Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative notion of similarity based on the observation that sets of generalizations encode important properties of elements. We show that similarity defined in this way has appealing mathematical properties. As we construct our notion of similarity from first principles using only elementary concepts of universal algebra, to convince the reader of its plausibility, we show that it can model fundamental relations occurring in mathematics and be naturally embedded into first-order logic via model-theoretic types. Finally, we sketch some potential applications to theoretical computer science and artificial intelligence.
- Antić, C. (2023). Algebraic anti-unification. https://hal.science/hal-04207922.
- Unification theory. In Handbook of Automated Reasoning. Elsevier.
- Case-based prediction — a survey. International Journal of Approximate Reasoning, 108920.
- On the role of similarity in analogical transfer. In Cox, M. T., Funk, P., and Begum, S. (Eds.), ICCBR 2018, LNAI 11156, pp. 499–514. Springer-Verlag.
- Biere, A. (1993). Normalisierung, Unifikation, und Antiunifikation in freien Monoiden. Master’s thesis, University of Karlsruhe.
- A Course in Universal Algebra. http://www.math.hawaii.edu/~ralph/Classes/619/univ-algebra.pdf.
- Idempotent anti-unification. ACM Transactions on Computational Logic, 21(2), 10:1–10:32.
- Anti-unification and generalization: a survey. In IJCAI 2023, pp. 6563–6573.
- Tree Automata Techniques and Applications. https://hal.inria.fr/hal-03367725.
- Tree Automata (2 edition). https://arxiv.org/pdf/1509.06233.pdf.
- Green, J. A. (1951). On the structure of semigroups. Annals of Mathematics, 54(1), 163–172.
- Analogical reasoning: a core of cognition. Künstliche Intelligenz, 22(1), 8–12.
- Héder, M. (2023). Explainable AI: A brief history of the concept. ERCIM News, 134, 9–10.
- Hinman, P. G. (2005). Fundamentals of Mathematical Logic. A K Peters, Wellesley, MA.
- Hofstadter, D. (2001). Analogy as the core of cognition. In Gentner, D., Holyoak, K. J., and Kokinov, B. K. (Eds.), The Analogical Mind: Perspectives from Cognitive Science, pp. 499–538. MIT Press/Bradford Book, Cambridge MA.
- Surfaces and Essences. Analogy as the Fuel and Fire of Thinking. Basic Books, New York.
- Holcombe, W. M. (1982). Algebraic Automata Theory. Cambridge Studies in Advanced Mathematics 1. Cambridge University Press, New York.
- Howie, J. M. (2003). Fundamentals of Semigroup Theory. London Mathematical Society Monographs New Series. Oxford University Press, Oxford.
- Hungerford, T. W. (1974). Algebra. Graduate Texts in Mathematics 73. Springer-Verlag.
- Krieger, M. H. (2003). Doing Mathematics: Convention, Subject, Calculation, Analogy. World Scientific, New Jersey.
- Navarro, G. (2001). A guided tour to approximate string matching. ACM Computing Surveys, 33(1), 31–88.
- Plotkin, G. D. (1970). A note on inductive generalization. Machine Intelligence, 5, 153–163.
- Pólya, G. (1954). Mathematics and Plausible Reasoning. Volume I. Induction and Analogy in Mathematics, Vol. 1. Princeton University Press, Princeton, New Jersey.
- Reynolds, J. C. (1970). Transformational systems and the algebraic structure of atomic formulas. Machine Intelligence, 5(1), 135–151.
- Sipser, M. (2013). Introduction to the Theory of Computation (3 edition). Cengage Learning, Boston.
- Yao, Y. (2000). Qualitative similarity. In Suzuki, Y., Ovaska, S., Furuhashi, T., Roy, R., and Dote, Y. (Eds.), Soft Computing in Industrial Applications, pp. 339–347. Springer-Verlag London.
Paper Prompts
Sign up for free to create and run prompts on this paper.
