← Усі статті

2-ASP(Q) з weak constraints: складність і Casper

Фрагмент логічного програмування для оптимізації до Δ₃ᵖ — теорія складності та CEGAR у Casper.

Теги
researchsoftware engineering
2-ASP(Q) з weak constraints: складність і Casper
Зміст

Коротко

ASP(Q) додає квантори над answer sets. Клас 2-ASP(Q)^w виразний для оптимізації рівня Δ₃ᵖ з повною картою складності та солвером.

Що вивчали

Теорія складності та CEGAR у Casper на жорстких бенчмарках.

Головні висновки

  • Практично релевантний фрагмент.
  • CEGAR для ASP(Q) працює на різних доменах.

Що це означає для розробників

Для комбінаторної оптимізації з кванторами — ASP(Q) / Casper; weak constraints для soft goals.

Обмеження

Ніша declarative logic.