Konfliktdrevet nogood-løsningsprogram for svarsæt til indlæring
Clasp er et løsningsprogram for svarsæt (udvidet) til normale logiske
programmer. Det kombinerer modelleringsfunktionerne, på højt niveau, for
svarsætprogrammering (ASP) med moderne teknikker fra området med boolesk
begrænsningsløsning. Den primære clasp-algoritme beror på konfliktdreven
nogood-indlæring, en teknik, der viste sig at have høj succes for
opfyldelighedskontrol (SAT). I modsætning til andre løsningsprogrammer for
indlærings-ASP, så stoler clasp ikke på forældede programmer, såsom et
SAT-løsningsprogram eller ethvert andet eksisterende ASP-løsningsprogram.
Snarere har clasp været udviklet til svarsæt-løsning baseret på
konfliktdrevet nogood-indlæring. Clasp kan anvendes som et
ASP-løsningsprogram (på LPARSE-uddataformat), som et SAT-løsningsprogrammet
(på forenklet DIMACS/CNF-format) eller som et PB-løsningsprogram (på
OPB-format).
