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

7» 195 9. Модальность в ситуационном исчислении Для данной совокупности параллельных процессов (программы) УпустьфСх) будет предусловием входных переменных, задающим начальные значения и ограничения для входных переменных х, a fo(x) — предусловием программных переменных, задающим начальные значения для переменных у, уо(л) — предусловием, задающим начальные значения мест программы. Начальное предусловие, ассоциируемое с допустимым вычислением, представляется формулой % (х, у, п) = ф(х) л fo(x) л i|/0(n). Выполняемая последовательность ситуаций о является (Лф) — инициализируемым вычислением, если она является справедливой выполняемой последовательностью ситуаций программы Р, и so= есть первая ситуация последовательности о, такая, что X совпадает с множеством начальных мест (/'0, ..., /™) процессов, а ц =f0(x) для входных значений х, таких, что имеет место предусловие ф(х). Выполняемая последовательность ситуаций является {Р, ф)-вычислением, если она является суффиксом (Р, ф)-инициализируемого вычисления. Множество F(P, ф) обозначает множество всех (Р, ф)-вычислений. Множество F(P, ф) называют также допустимым вычислением, а каждую последовательность этого множества — допустимой выполняемой последовательностью.