Algebraic anti-unification
Artificial Intelligence
2024-07-23 v1 Discrete Mathematics
Logic in Computer Science
Symbolic Computation
Abstract
Abstraction is key to human and artificial intelligence as it allows one to see common structure in otherwise distinct objects or situations and as such it is a key element for generality in AI. Anti-unification (or generalization) is \textit{the} part of theoretical computer science and AI studying abstraction. It has been successfully applied to various AI-related problems, most importantly inductive logic programming. Up to this date, anti-unification is studied only from a syntactic perspective in the literature. The purpose of this paper is to initiate an algebraic (i.e. semantic) theory of anti-unification within general algebras. This is motivated by recent applications to similarity and analogical proportions.
Cite
@article{arxiv.2407.15510,
title = {Algebraic anti-unification},
author = {Christian Antić},
journal= {arXiv preprint arXiv:2407.15510},
year = {2024}
}