Программирование на множестве ответов (ASP) — форма декларативного программирования, ориентированная на решение сложных (в первую очередь NP-трудных) задач поиска. Она основана на семантике стабильной модели (множества ответов) логического программирования. В ASP задачи поиска сводятся к вычислению стабильных моделей, а для поиска используются решатели множества ответов — программы для генерации стабильных моделей.
[Глоссарий по искусственному интеллекту. (Электронный ресурс). Режим доступа: http:// en.wikipedia.org›wiki/Glossary_of_artificial_intelligence/, свободный.]