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

сеободен(В)\ \на(Р, Стол) на{А, С) л сеободен(А) л переместить(А, Стол) \на(О,В)лсвободен(О)лпереместить(О,Стол) \сеободен(Ц I на(А, Стол) л свободен(А) л свободен(В) |f Рис. 4.2. Граф прямого вывода в среде кубиков Таким образом, имеем истинные атомы на (А, В), на (В, Стол), на (С, Стол), на (D, Стол). Согласно правилу введения конъюнкции, делаем заключение об истинности целевой формулы на (А, В) л на (В, Стол) л А на (С, Стол) л на (Д Стол). На этом прямой вывод завершен. На рис. 4.2 показан граф вывода указанной целевой формулы. В процессе прямого вывода база знаний разрастается, в нее заносятся вновь выводимые формулы. Некоторые из них могут оказаться ненужными для вывода целевой формулы. Таких «лишних» формул может быть достаточно много. Например, на рис. 4.2 ненужной является формула свободен (С).