Понедельник 06.08. Владимир Лифшиц (University of Texas at Austin): "Стабильные модели формул исчисления высказываний"

Понедельник 06.08. Владимир Лифшиц (University of Texas at Austin): "Стабильные модели формул исчисления высказываний"

Докладчик:

Владимир Лифшиц

Дата:

Monday, August 6, 2018 - 14:00

Аннотация:

Понятие стабильной модели формулы исчисления высказываний служит основой новой формы декларативного программирования, которая часто применяется сегодня для решения переборных задач. Мы рассмотрим примеры программ этого типа, написанных в языке системы CLINGO, созданной в Потсдамском университете в Германии. Затем мы обсудим два конкурирующих определения стабильной модели, используемые разными группами программистов, и новые результаты, описывающие, при каких условиях эти определения эквивалентны.