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

Используя формулу (9.8) и правило (/, = /2) Ь /(/,, /,) =/(/,, tj, имеем Ь в_месте (/,) л у = и л и = (х,,х2,1) л x,Jt2=l- ^г л л У,- ^ =^AX2 = 0VJ^>0. (9.9) Используя формулу (9.9), правило исключения конъюнкта и правило (/, = /2) Ь /(/,, V =/(/,, /2), получаем h в_месте (1{)л у= ил и = (х,,х2,1) л х,х2 = уъ-у*г л у2 = 0. (9.10) Используя формулу (9.10), правило исключения конъюнкта и правило (г, = г2) Ь /(/,, /,; =/(/,, /2), имеем h в_месте (/,) л у = ил « = (х,,х2,1) л х,л2 = y3-yty2 л у2 > 0. (9.11) Формула (9.11) для случая нечетного уг имеет вид h вместе (/,) л у = и л и = (хрх2,1) л х,л2= ^-у,^ л нечетный (у2) л А>-2>0. (9.12) Формула (9.12) для случая четного у2 имеет вид Ь в_месте (/,) л у = и л и = (х,,х2,1) л х,л2 = у3-у/2 л четный (у2) л у2 > 0. (9.13) 217 9. Модальность в ситуационном исчислении Используя профаммную аксиому М2, формулу (9.10) и правило модус поненс, получаем истинную формулу Р(а, /,) для случая, когда у2 = 0, и = (х,, х2, 1)