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

Функторная функция f(dv dv ..., dn, s), где dv d2, ..., dn — переменные или константы категории D. Функторная функция также содержит единственный аргумент s, значение которого принадлежит категории ситуаций 168 8.1. Язык ситуационного исчисления S. Значение функции принадлежит категории D. Например, значением функции изготовлена (гончар, глина, S) может быть значение переменной чашка. Остальные обозначения будем вводить по мере необходимости. 8.2. Аксиомы ситуационного исчисления Все аксиомы рассматриваемого ситуационного исчисления подразделяют на следующие группы: базовые аксиомы; допустимых действий; перехода в следующие ситуации; начальной ситуации; ограничений. 8.2.1. Базовые аксиомы К числу базовых относится сравнительно небольшое число аксиом, устанавливающих отношения между ситуациями, действиями и переходами между ситуациями в результате выполнения этих действий. Основными среди них являются следующие аксиомы.