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

Аксиомы допустимых действий: допустимо {Зарядить, s) л допустимо {Выстрелить, s). Эта аксиома гласит: в любой ситуации, независимо ни от каких условий, можно зарядить ружье и вьЛтрелить из него. Аксиомы перехода в следующие ситуации: допустимо {a, s) л а = Зарядить з заряжено {Ружье, переход {a, s)), допустимо {a, s) л а = Зарядить л -i глухая {Индейка, s) з з спрятавшаяся {Индейка, переход {a, s)), допустимо {a, s) л а = Выстрелить л заряжено {Ружье, s) л л -1 спрятавшаяся {Индейка, s) => -, живая {Индейка, переход {a, s)), допустимо {a, s) л а = Выстрелить л заряжено {Ружье, s) л л спрятавшаяся {Индейка, s) з живая {Индейка, переход {a, s)), 173 8. Ситуационное исчисление