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

припаркован {Автомобиль, SJ л достижима (SJ; факт исчезновения автомобиля чуть позже после парковки записывается следующим образом: достижима (Sn) л -. припаркован (Автомобиль, Sn) л Sm < Sn. Введем аксиому перехода в следующую ситуацию: допустимо (a, s) з [припаркован (Автомобиль, переход (a, s)) s = припаркован (Автомобиль, s) л а * Угнать л а * Убрать л л а = Припарковать]. Сформулируйте на языке ситуационного исчисления вопросы: 1) мог ли быть автомобиль угнан? 2) мог ли быть автомобиль убран? Расширьте аксиоматизацию, если введенных аксиом недостаточно. Разбейте аксиомы на группы. Дайте ответ на вопросы с помощью формального вывода на языке ситуационного исчисления. 9. МОДАЛЬНОСТЬ В СИТУАЦИОННОМ ИСЧИСЛЕНИИ В этой главе рассказано, что такое модальность и какую роль она играет в ситуационном исчислении, превращая его в модальное ситуационное исчисление илы модальную логику. Особое внимание уделено применению модальной логики для анализа корректности поведения параллельных процессов. Изложены основы использования модальной логики для анализа корректности параллельных процессов. Описана используемая для этого анализа модель параллельных процессов. Подробно рассмотрены наиболее типичные свойства корректности параллельных процессов, их формальная запись в языке модальной логики. Приведены сведения о принципах формального доказа-тельства (проверки) свойств корректности.