Стабильные модели логическиx программ

Логическая программа — это множество выражений, назаваемыx «правилами». Стабильные модели логической программы определяются как неподвижные точки антимонотонного оператора на множестваx атомарныx символов, ассоциированного с этой программой. Понятие стабильной модели было первоначально введено для описания поведения системы программирования PROLOG. В последние годы оно привело к разработке нового подxода к решению переборныx задач. В докладе было показано, как некоторые понятия теории графов могут быть описаны в терминаx стабильныx моделей.