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

q= ЛОЛ Л 0 Л О. Корректное поведение, ожидаемое от пользователей R., имеет вид ф = Л С.. I =1 Проблема доказательства правильного поведения диспетчера G может быть решена двумя различными путями. В первом случае рассматривается параллельная программа, которая состоит из одного диспетчера G. Переменные г и gi рассматриваются как входные и выходные переменные этой программы. Значения переменных г устанавливаются внешними пользователями /?,, ..., Rr Для этой программы необходимо доказать истинность формулы Ц Dtp з D^, задающей свойство отзывчивости. Смысл этой формулы состоит в том, что при условии непрерывно правильного поведения пользователей, формирующих внешнее воздействие в соответствии с формулой ф, диспетчер С должен всегда вести себя соответствующим образом в соответствии с формулой правильного поведения ?.