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

w = -, Ow 182 9.1. Модальность и модальная логика общезначимы. Формула П(и>, з и>2) з (Пи>, з Dw2) также общезначима. Это означает (на основе правила модус поненс), что истинность формулы D(w, з w2) всегда влечет истинность формулы QH>( Z> Dwr Задавая различные офаничения на отношение достижимости R, можно получать различные модальные исчисления. В нашем случае полагаем, что отношение R всегда рефлексивно (sRs) и транзитивно ((slRs2 л 52ЛУ3) З ^,ЛУ3)). Вследствие этого общезначимы все следующие формулы: Ow z> w благодаря рефлексивности (если во всех ситуациях, достижимых из s, истинна w, то w истинна и в ситуации л); OOw з Ow благодаря транзитивности отношения R (если существует ситуация sv достижимая из sr которая в свою очередь достижима из s0, причем в ситуации s2 формула w истинна, то существует sy достижимая из s0, в которой формула w также истинна, и s3~ *2)-