Activités par an
Résumé
Anti-unification 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 anti-unification 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 NP-complete problem. We subsequently introduce a generalization algorithm that computes a well-defined 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 anti-unification 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 NP-complete problem. We subsequently introduce a generalization algorithm that computes a well-defined 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 - à) | 773-789 |
Nombre de pages | 17 |
journal | Theory and Practice of Logic Programming |
Volume | 19 |
Numéro de publication | 5-6 |
Les DOIs | |
Etat de la publication | Publié - 20 sept. 2019 |
Empreinte digitale
Examiner les sujets de recherche de « Anti-unification 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é: Participation ou organisation d'un événement › Participation à une conférence, un congrès
-
Anti-unification in Constraint Logic Programming
Gonzague Yernaux (Orateur)
22 sept. 2019Activité: Discours ou présentation › Présentation orale