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

допустимо (a, s) з [готовквыстрелу (Револьвер, переход (a, s)) = = а = Повернутьнапротив v готовквыстрелу (Револьвер, s) л л -, а = Повернутьнапротив]; допустимо (a, s) з [живая (Индейка, переход (a, s)) = живая (Индейка, s) л л -1 (а = выстрелить л заряжен (Револьвер, s) л л готовквыстрелу (Револьвер, s)\; произойдет (зарядить, S1) л произойдет (выстрелить, S3); произойдет (Повернуть_напротив, S2) v произойдет (Повернутьвне, S2). Разбейте аксиомы этой задачи на группы. Сформулируйте на языке ситуационного исчисления вопросы: I) может ли остаться индейка живой в ситуации S4; 2) может 177 8. Ситуационное исчисление ли индейка быть подстреленной в ситуации S4. Дайте ответ на эти вопросы с помощью формального вывода на языке ситуационного исчисления. 7. Задача об угоне автомобиля состоит в следующем. Владелец припарковал автомобиль на улице в неположенном месте и удалился по своим делам. Когда он вернулся, автомобиля на месте не было. Заключение владельца — автомобиль был украден (угнан) после парковки или убран с улицы службами автоинспекции вследствие неправильной парковки до его возвращения к месту парковки. Введем действия Припарковать, Угнать и Убрать. Предположим, что автомобиль был припаркован в некоторой ситуации Sn. На языке ситуационного исчисления это можно записать следующим образом: