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

Выполняемой последовательностью ситуаций программы Р = ^,1 l-ll/^ называется в общем случае бесконечная последовательность ситуаций s = s0, s{, s2, ..... такая, что каждая ситуация sk+t = получается из ситуации sk — <\; г] >, начиная с начальной ситуации sB, согласно одному из следующих правил: 194 9.5. Модальная логика и анализ параллельных процессов холостой такт: sk^ = sk\ 1-й рабочий такт : выбираем один из процессов Р., 1 < / < т, содержащий допустимый переход, ЕСЛИ * \ * dy) ТО у': = Дк) НА X) при некотором значении у = г\, такой, что ф\) = Истина. Согласно этому переходу получаем X' заменой Х.;на X'., для всех./* i имеем X' = X.; г)'получаем по команде у': =f(y) допустимого перехода процесса Р: г\': =/(г\).