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

167 8. Ситуационное исчисление 8.1. Язык ситуационного исчисления Ситуационное исчисление является логическим языком для описания динамики изменения среды. Интуитивно язык ситуационного исчисления предполагает, что есть некоторая начальная ситуация Son среда изменяется от ситуации к ситуации по мере выполнения действий. При этом предполагается, что других ситуаций, помимо тех, которые могут быть достигнуты с помощью выполнения действий, не существует. В этом языке используются следующие категории, предикаты и функции. Три непересекающиеся категории: категория действий А, категория ситуаций S и категория объектов среды D. По-прежнему строчные буквы (a, s, f, d, х, у, ... ) или слова, начинающиеся с этих букв, используются для обозначения переменных этих категорий, а прописные буквы (A, S, F, X, У, ...) или слова, начинающиеся с этих букв — для обозначения констант. Элементами категории действий являются простые или сложные константы, обозначающие действия. Сложные константы этой категории, т.е. константы, сами являющиеся категориями, могут содержать в качестве элементов только элементы категории D. Элементами категории ситуаций являются простые константы, обозначающие ситуации. Элементами категории D являются любые простые или сложные константы, кроме именующих действия и ситуации. Сложные константы этой категории могут содержать в качестве элементов только элементы категории D.