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

N $(*, у, п) г> П(в_месте (/) => ц>(х, у)), где le= (llt, ..., lme) — множество терминальных мест всех процессов. Эта формула означает, что если начальная ситуация удовлетворяет ограничивающему предусловию \(х, у, п), то в любой терминальной ситуации, достижимой из начальной, т.е. в такой, что А. = 1г, имеет место отношение ф(х, у) между входными значениями х и полученными значениями у. Заметим, что JC остается постоянным в течение всего времени вычислений, но при этом окончание программы само по себе не гарантируется. Пример. Программа вычисления факториала: Ух = х, уг = 1 /„: ЕСЛИУ}=0 ТО НА lt /,: 0V УгУ- = tV|- '. У{Уг) /2: НА { /,: СТОП. В результате выполнения этой программы после ее останова в месте /.будем иметьу2 = х\ Утверждение частичной корректности для этой программы следующее: