Anti-unification and Generalization: A Survey
arXiv:2302.00277 · doi:10.24963/ijcai.2023/736
Abstract
Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference. It is the dual operation to unification, an operation at the foundation of automated theorem proving. Interest in AU from the AI and related communities is growing, but without a systematic study of the concept nor surveys of existing work, investigations often resort to developing application-specific methods that existing approaches may cover. We provide the first survey of AU research and its applications and a general framework for categorizing existing and future developments.
arXiv commentAccepted at IJCAI 2023 - Survey Track (https://ijcai-23.org/survey-track/)
References in corpus (6)
- babble: Learning Better Abstractions with E-Graphs and Anti-Unification
- Top-Down Synthesis for Library Learning
- Learning Higher-Order Programs without Meta-Interpretive Learning
- Learning Symbolic Rules for Reasoning in Quasi-Natural Language
- Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification
- Generalisation Through Negation and Predicate Invention