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

допустимо (a, s) л а = Разрядить з -i заряжено (Ружье, переход (a, s)), допустимо (a, s) z> [глухая (Индейка, s) = глухая (Индейка, переход (a, s)], допустимо (a, s) з [спрятавшаяся (Индейка, переход (a, s)) = = а = Зарядить л -¦ глухая (Индейка, s) v спрятавшаяся (Индейка, s)]. Эти аксиомы указывают, что случится в следующей ситуации с ружьем или индейкой, если то или иное действие допустимо в настоящей ситуации. 8.3.2. Поставленный вопрос Если предположить, что помимо начальной ситуации существуют такие ситуации 57, S2, S3, S4, что SO < SI < S2 < S3 < S4 и, соответственно, в ситуациях SI, S2, S3 будут осуществлены действия Зарядить, Ждать, Выстрелить, а ситуация S4 достижима, то спрашивается, будет ли жива в этой ситуации индейка, если она не глухая, т.е.