Algebraic anti-unification - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2023

Algebraic anti-unification

Résumé

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 from a syntactic perspective in the literature. The purpose of this paper is to \textit{initiate} an \textit{algebraic} (i.e. semantic) theory of anti-unification within general algebras. This is motivated by recent applications to analogical reasoning in the form of similarity and analogical proportions.
Fichier principal
Vignette du fichier
230521-algebraic_anti-unification.pdf (173.66 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04207922 , version 1 (14-09-2023)
hal-04207922 , version 2 (01-12-2023)
hal-04207922 , version 3 (22-02-2024)

Identifiants

Citer

Christian Antic. Algebraic anti-unification. 2023. ⟨hal-04207922v2⟩
60 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More