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

VM(CV= И)ЗО(>= и+\)] означает, что в будущем будет такой такт, в котором значение переменной у будет больше на 1, чем ее текущее значение. Для места / &Lj атомарную формулу л. =т / обозначим вместе (/), т.е. в_месте (/) = Истина, если л. = /. Таким образом для данной ситуации s = <Х; т\> и места I eL формула в__месте (/) истинна в этой ситуации s, если процесс /> находится в месте /, т.е. \.= I. В более общем случае для множества мест L с L, формула в_месте(1) истинна, если процесс /> находится в одном из мест, принадлежащих множеству L, т.е. в_месте (L) истинна, если значение переменной места л,е L, т.е. если L = {1а, /о+1, ..., It) для некоторых О <. а ? h то будем так же записывать в_месте (/,), как в_месте (1а, / ,, ..., lt). Таким образом в_месте (Z.) = в_месте (/о, /о+1, ..., lb) = v вместе (/).