Anti-unification and Generalization: A Survey

要約

【タイトル】Anti-unification and Generalization: A Survey

【要約】
– Anti-unification（AU）は、帰納推論において使用される基本操作であり、定理証明の基礎となる操作であるunificationの双対操作である。
– AIや関連するコミュニティにおけるAUへの関心は高まっているが、概念のシステマチックな研究や既存の研究の調査がないため、アプリケーション固有の方法の開発にまで踏み込んでしまうことがある。
– この論文は、AUの研究とその応用の最初の調査を提供し、現在のおよび将来の発展を分類する一般的なフレームワークを提供する。

【要点】
– Anti-unification（AU）は、帰納推論において使用される基本操作である。
– AUは、定理証明の基礎となる操作であるunificationの双対操作である。
– AIや関連するコミュニティにおいてAUへの関心は高まっているが、概念のシステマチックな研究や既存の研究の調査がないため、アプリケーション固有の方法の開発にまで踏み込んでしまうことがある。
– この論文は、AUの研究とその応用の最初の調査を提供する。
– また、現在のおよび将来の発展を分類する一般的なフレームワークも提供する。

要約(オリジナル)

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.

arxiv情報

提供元, 利用サービス

arxiv.jp, OpenAI