Искусственный интеллект

Ситуационное исчисление является формальной системой, базирующейся на логике предикатов первого порядка. В основе его лежит понятие ситуации, рассмотренное в предыдущей главе. Как и в более простом случае, когда мы рассматривали вопросы рассуждения в пространстве состояний на основе логики высказываний (см. гл. 2) ИЛИ ЛОГИКИ предикатов первого порядка (см. гл. 3, 4), будем полагать, что среда переходит из одной ситуации в другую в результате выполнения некоторого действия. И единственная возможность -перехода в другую ситуацию — это совершение действия. В настоящей главе рассмотрим современный вариант довольно простого ситуационного исчисления, который можно было бы назвать инициальным детерминированным ситуационным исчислением, поскольку оно предполагает, что все изменения в среде начинаются с некоторой начальной ситуации и переход из любой ситуации при совершении любого действия возможен только в одну ситуацию. Все пространство ситуаций и переходов между ними можно представить в виде дерева, корневой вершиной которого является начальная ситуация. Степень ветвления дерева не превосходит числа действий. В настоящей главе рассмотрены основные разделы, составляющие это исчисление, не очень сложные примеры и процедуры решений некоторых из них. Сначала напомним ряд уже введенных ранее обозначений и введем некоторые новые.