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

\- живая (Индейка, переход (Выстрелить, S3)) = живая (Индейка, S4) л л S4 = переход (Выстрелить, S3), \- живая (Индейка, S4). Вопросы и упражнения 1. Что такое язык ситуационного исчисления? 2. Какие группы аксиом входят в язык ситуационного исчисления? 3. Перепишите вывод к задаче об охоте на индейку, приводя на каждом шаге вывода используемые аксиомы. 4. Задача об автоматическом выстреле сформулирована на языке ситуационного исчисления в виде следующей группы аксиом: допустимо (Зарядить, s) л допустимо (Выстрелить, s). допустимо (Разрядить, s) = заряжено (Ружье, s)\ живой (Индивидуум, s); произойдет (Зарядить, S1) л произойдет (Ждать, S2) л л произойдет (Выстрелить, S3); SKS2< S3< S4; 176 Вопросы и упражнения достижима (S4); допустимо (a, s) z> [заряжено (Ружье, переход (a, s)) = а — зарядить л л -. а = Зарядить л заряжено (Ружье, s)];