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

Выполняемая последовательность ситуаций о является справедливой, если для нее соблюдается сформулированное ранее по отношению к процессам требование справедливости. Таким образом, поведение параллельных процессов характеризуется множеством его справедливых выполняемых последовательностей ситуаций. Используя формализм временной модальной логики, будем устанавливать свойства этих последовательностей для параллельных процессов, характеризуя, таким образом, их динамическое поведение. Введем предварительно ряд дополнительных обозначений и понятий. Формулы временной модальной логики будем рассматривать, используя следующие переменные: локальные распределяемые уг ..., уп; локальные мест л,, ..., лт; глобальные xv ..., xk, uv м2, ... Переменные у{, -..., уп называют также программными. Переменные ж,, ..., хк называют входными и их можно изменять только в определенные оговариваемые заранее такты выполнения процессов извне (не могут изменяться процессами). Будем полагать, что их значения задаются перед началом выполнения процессов и после этого остаются неизменными. Переменные и,, и2, ... являются добавочными, остаются постоянными в течение всего выполнения (не изменяются от состояния к состоянию) и используются для задания отношений 'между локальными значениями в различных состояниях. Например, формула