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

9.5. Модальная логика и анализ параллельных процессов Для того чтобы использовать модальную логику как средство описания и анализа свойств параллельных процессов (программ), введем точное понятие ситуации и последовательности ситуаций применительно к программе. Ситуацией, или состоянием, назовем набор значений s = < X; т) >. Здесь X = < Я.,, ..., Хт > — вектор значений переменных места я = {я,, ..., ят}, в котором я( изменяется в пределах множества мест L = {/'0,'..., /', ...,1'е} процесса Рг Значение переменной места nj указывает на место V. в процессе Рп которое активировано, ц = <п,, ..., x]n>eDn— вектор значений распределяемых индивидуальных и пропозициональных переменных у в ситуации s.