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

л -, находится (Чудовище, 1, 2) л -, находится (Чудовище, 3, 2). (4.107) Шаг 54. В соответствии с формулами (4.105), (4.107) и правилом модус поненс получаем -, находится (Чудовище, 2, 2) л -. находится (Чудовище, 2, 1) л л -1 находится (Чудовище, 2, 3) л -i находится (Чудовище, 1, 2) л л -, находится (Чудовище, 3, 2). (4.108) Шаг 55. В соответствии с формулой (4.108) и правилом исключения конъюнкта получаем -1 находится (Чудовище, 2, 2), (4.109) -. находится (Чудовище, 2, 1), (4.110) -1 находится (Чудовище, 2, 3), (4.111) -, находится (Чудовище, 1, 2), (4.112)