Наши издания

Программирование наборов ответов

Беляев С. А., Родионов С. В.

Представлены материалы по дисциплине «Логическое программирование» по программированию наборов ответов (answer set programming — ASP). Рассматриваются особенности языка программирования и вопросы разработки текста программ и формирования на их основе стабильных моделей из правил и фактов, решающих поставленную задачу. Рассматриваются варианты решения нескольких NP-полных задач. Приводятся основы программирования наборов ответов с использованием ограничений. Описываются механизмы вывода и доказательства, используемые в ASP.

Предназначено для студентов, обучающихся по направлениям «Программная инженерия» и «Прикладная математика и информатика».

ISBN 978-5-7629-2660-7

УДК 004.432(07) + 510.755(07)

ББК З 973.2–018я7 + В 12я7