Algebraic anti-unification
<|reference_start|>Algebraic anti-unification: 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.<|reference_end|>
@article{antić2024algebraic,
    title={Algebraic anti-unification},
    author={Christian Anti'c},
    journal={arXiv preprint arXiv:2407.15510},
    year={2024},
    archivePrefix={arXiv},
    eprint={2407.15510},
    primaryClass={cs.AI cs.DM cs.LO cs.SC}
}