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

V(/) Р(/)) = У(1)(в_месте (/) л у = « л и = (и,, и,, м3) А Х,*2 = = ы3ы,и2) s D(e месте (I) л _у = и л и = (м,, м2, м3) л л х,х2 = уъ-у*1 = м3-м,и2). (9,19) Используя аксиому модальной логики D/з О/ получаем 0(в_месте (I) л у - и л и = (м,, м2, м3) л х,х2 = ^.у,^ = «3-w,u2). (9.20) Начальным значением х2, присваиваемым промежуточной переменной и2, является положительное конечное число. Промежуточное значение и2 = у2 согласно выполняемым действиям уменьшается до тех пор, пока не станет равным 0 . При этом значении и2 =у2 = 0 и формула (9.20) приобретает следующий вид: 0(в_месте (/) л у = и л и = (и,, 0, м3) л х{г = у3). (9.21) Используя правило исключения конъюнкта, получаем 0(в месте (/) л хххг = у3). . (9.22) Таким образом, имеем 1= вместе (/0) л Начать л х2 > 0 z> Овместе (/2) л ^3= х,ж2. Корректность программы доказана.