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

ЕСЛИ* т2* НЕ{у1 + у2<п) ТО НА т2 i ЕСЛИ*тъ*ТО у; = yjy2 НА т0 ЕСЛИ*т* ТО СТОП КОНЕЦ Процесс Знаменатель КОНЕЦ Процесс Биноминальные коэффициенты. Как видно из приведенного описания, процесс Числитель, последовательно используя значения yv равные'л, л-1, ..., n-k+l, вычисляет числитель в уу Процесс Знаменатель, используя значения у2, последовательно равные 187 9. Модальность в ситуационном исчислении 1, 2, ..., к, вычисляет знаменатель, присваивает значения ур а затем делит уъ на уг Предложения ЕСЛИ * тг* (у, + у2 < л) ТО НА ту ЕСЛИ * т2* НЕ Си,+ у2< п) ТО НА т2 синхронизируют выполнение процесса Р2 (Знаменатель) с процессом Р{ (Числитель), чтобы обеспечить деление уъ на i только после того, как оно будет умножено на /?-/+! без остатка. Основанием этому служит теорема, утверждающая, что произведение / последовательных чисел к (к + 1)... (к + /-1) всегда делится на /! Рассмотрим теперь, как параллельные процессы вычисляются. Вместо понятия «вычисление» будем использовать понятие «выполнение» как соответствующее понятию процесса.