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

Выражение 3 дает индуктивную характеристику оператора Р. Оно говорит о том, что w, предшествует w2, если в настоящей ситуации w2 не истинно, a w, истинно, либо в настоящей ситуации w2 не истинно, а начиная со следующей ситуации w, предшествует w2. Выражение 4 говорит о том, что если w2 никогда не становится истинной, то w, предшествует w2 для любого wr 209 9. Модальность в ситуационном исчислении Выражение 5 характеризует линейность развития событий во времени для любых двух w, и w2: или wf предшествует w2, или w2 предшествует wv или обе истинные в одной и той же ситуации. Рассмотрим некоторые из свойств предшествования, использующих операторы U и Р. 9.8.1. Безопасность Выражение типа Dw, можно интерпретировать по отношению к программе как свойство, выполнение которого мы хотим всегда иметь для определенной гарантии правильности программы, выражение типа 0w2 — как свойство, выполнение которого нарушает указанную гарантию. Тогда для некоторых случаев выражение wl\Jw2 можно интерпретировать как комбинацию свойств DH>, И 0W2, поскольку справедливо выражение