Sketched Answer Set Programming - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2018

Sketched Answer Set Programming

Résumé

Answer Set Programming (ASP) is a powerful mod-eling formalism for combinatorial problems. However, writing ASP models can be hard. We propose a novel method, called Sketched Answer Set Programming (SkASP), aimed at facilitating this. In SkASP, the user writes partial ASP programs, in which uncertain parts are left open and marked with question marks. In addition, the user provides a number of positive and negative examples of the desired program behaviour. SkASP then synthesises a complete ASP program. This is realized by rewriting the SkASP program into another ASP program, which can then be solved by traditional ASP solvers. We evaluate our approach on 21 well known puzzles and combinatorial problems inspired by Karps 21 NP-complete problems and on publicly available ASP encodings.
Fichier principal
Vignette du fichier
ictai18.pdf (1.38 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-02310677 , version 1 (10-10-2019)

Identifiants

Citer

Sergey Paramonov, Christian Bessiere, Anton Dries, Luc de Raedt. Sketched Answer Set Programming. ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2018, Volos, Greece. pp.694-701, ⟨10.1109/ICTAI.2018.00110⟩. ⟨lirmm-02310677⟩
150 Consultations
250 Téléchargements

Altmetric

Partager

More