Anti-unification and Generalization: A Survey

02/01/2023
by   David M. Cerna, et al.
0

Anti-unification (AU), also known as generalization, is a fundamental operation used for inductive inference and is the dual operation to unification, an operation at the foundation of 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, investigations7 often resort to developing application-specific methods that may be covered by existing approaches. We provide the first survey of AU research and its applications, together with a general framework for categorizing existing and future developments.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/01/2019

Warshall's algorithm -- survey and applications

The survey presents the well-known Warshall's algorithm, a generalizatio...
research
03/28/2014

E-Generalization Using Grammars

We extend the notion of anti-unification to cover equational theories an...
research
06/18/2020

Combating Anti-Blackness in the AI Community

In response to a national and international awakening on the issues of a...
research
07/24/2019

Anti-unification in Constraint Logic Programming

Anti-unification refers to the process of generalizing two (or more) goa...
research
10/20/2019

Identity Document and banknote security forensics: a survey

Counterfeiting and piracy are a form of theft that has been steadily gro...
research
08/16/2023

Separate the Wheat from the Chaff: Model Deficiency Unlearning via Parameter-Efficient Module Operation

Large language models (LLMs) have been widely used in various applicatio...
research
07/21/2022

A Linter for Isabelle: Implementation and Evaluation

In interactive theorem proving, formalization quality is a key factor fo...

Please sign up or login with your details

Forgot password? Click here to reset