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

доказательства того, что Ф(5"0) истинна, доказательства того, что для любого действия а и любой ситуации 5 истинна импликация ip(s) з ^(переход (a, s)), заключения (вывода), что предикат q(s) истинен для всех s. Следующая аксиома говорит о том, что ни в одну ситуацию нельзя перейти из двух различных ситуаций в результате различных действий, или, другими словами, в каждую ситуацию ведет только один переход. Эта базовая аксиома свидетельствует о том, что множество переходов между ситуациями можно 169 8. Ситуационное исчисление представить в виде дерева, начинающегося в некоторой начальной ситуации (V о,, av sr s2) переход (о,, st) = переход (а2, s2) з , = а,л$, =52. (8.2) К числу базовых относятся также следующие аксиомы: (V s) 5" < s, т.е. любая ситуация наступает позже начальной: (V s) s Ф So гэ (3 a, s')(s = переход (a, s')), если некоторая ситуация s не является начальной, то существует действие а и ситуация s', из которой при выполнении этого действия осуществляется переход в ситуацию s (иными словами, в любую ситуацию можно попасть из некоторой другой);