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

заряжено в ситуации S4. Дайте ответ на этот вопрос с помощью формального вывода на языке ситуационного исчисления. 6. Задача о русской охоте на индейку отличается от задачи об охоте на индейку, рассмотренной в настоящей главе, тем, что вместо ружья используется револьвер, барабан которого заряжен не полностью. В зависимости от поворота барабана возможны две ситуации. В одной из них патрон окажется напротив бойка, а в другой патрон будет вне бойка. Будем полагать, что каждое из этих положений, барабана зависит от двух действий Пдвернуть_напротив и Повернуть_вне. Тогда аксиоматизация этой задачи выглядит следующим образом: допустимо (Повернуть напротив, s) л допустимо (Повернутьвне, s). допустимо (Зарядить, s) л допустимо (Выстрелить, s); допустимо (a, s) з Наряжен (Револьвер, переход (a, s)) = а = зарядить v v заряжен (Револьвер, s)\;