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

208 9.8. Свойства предшествования 9.8. Свойства предшествования Третий класс рассматриваемых нами свойств составляют свойства, которые называются свойствами предшествования и выражаются с помощью оператора «до тех пор пока» U и дополнительного оператора предшествования Р, который можно рассматривать как частный случай оператора U. В простейшем случае свойства предшествования описываются следующим выражением: Это выражение означает (истинно), что во всех допустимых вычислениях программы, если в будущем наступит ситуация, в которой формула w2 станет истинной, причем до этого такта она была ложной, a wx была истинной, то формула w, перестанет быть истинной в этой ситуации. Этот оператор очень полезен для выражения отношений предшествования между ситуациями.