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

*„(', У) A xn(i, j) л дсч(/, у + 1) л -1 дсч(/+1, у) л -Iдся(/+1, у) => ^ *н(', У) А *,(/, у) л хя(/, у + 1) л -, дс,(/+1, у) л -. хя(/+1, У) з Zj \0, У) A xt(i, у)) л дсч(/+1, у) л -, x4(i, у-1) л -. дся(/, у-1) з ^, xJLh J) A xt(i, у)) А хя(/+1, у) л -.хч(/, у-1) л -,хя(1, у-1) з ^,, 43 2. Логические рассуждения *Д У) А хД у)) л хч(/, у-1) л -, хч(/-1, У) л -, хя(/-1, У) => zo, хи0, у) л хД у)) л хД у-1) л -, хч(/-1, у) л -, хя(/-1, у) э Zo, *Д У) A xw(i, Л) А *Д-1, У) А -, хД у+1) л -. хД У+1) э zo, хи(/, у) л xw(i, у)) л хД-1, у) л -, хД у + 1) л -, хД у +1) з zo- (2.9)