Activités par an
Résumé
Antiunification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interested in computing what is often called a most specific generalization, that is a generalization that captures a maximal amount of shared structure.
In this work we address the problem of antiunification in CLP, where goals can be seen as unordered sets of atoms and/or constraints. We show that while the concept of a most specific generalization can easily be defined in this context, computing it becomes an NPcomplete problem. We subsequently introduce a generalization algorithm that computes a welldefined abstraction whose computation can be bound to a polynomial execution time. Initial experiments show that even a naive implementation of our algorithm produces acceptable generalizations in an efficient way.
In this work we address the problem of antiunification in CLP, where goals can be seen as unordered sets of atoms and/or constraints. We show that while the concept of a most specific generalization can easily be defined in this context, computing it becomes an NPcomplete problem. We subsequently introduce a generalization algorithm that computes a welldefined abstraction whose computation can be bound to a polynomial execution time. Initial experiments show that even a naive implementation of our algorithm produces acceptable generalizations in an efficient way.
langue originale  Anglais 

Pages (de  à)  773789 
Nombre de pages  17 
journal  Theory and Practice of Logic Programming 
Volume  19 
Numéro de publication  56 
Les DOIs  
Etat de la publication  Publié  20 sept. 2019 
Empreinte digitale
Examiner les sujets de recherche de « Antiunification in Constraint Logic Programming ». Ensemble, ils forment une empreinte digitale unique.Projets

35th International Conference on Logic Programming (ICLP 2019)
Gonzague Yernaux (Participant)
20 sept. 2019 → 25 sept. 2019Activité: Types de Participation ou d'organisation d'un événement › Participation à une conférence, un congrès

Antiunification in Constraint Logic Programming
Gonzague Yernaux (Orateur)
22 sept. 2019Activité: Types de discours ou de présentation › Présentation orale