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

4.2. Прямой н обратный вывод Наиболее распространенными являются два типа вывода: прямой и обратный. До сих пор как во второй главе, так и в настоящей в примерах со средой чудовища использовался прямой вывод. Будем полагать, что все формулы, входящие в постановку задачи, образуют некоторую начальную базу знаний. Идея прямого вывода основана на следующих шагах. На первом шаге подбирается правило вывода, условие которого можно образовать из формул начальной базы знаний с использованием, если это необходимо, унификации. Обычно начинается все с формул, представляющих знания о начальном состоянии среды. По правилу вывода получаются новые истинные формулы, являющиеся его унифицированным следствием. Эт формулы помещаются в начальную базу знаний, в результате чего она превращается в другую базу знаний, из нее извлекаются новые формулы, и все повторяется сначала до тех пор, пока на очередном шаге унифицированное следствие не совпадет с целевой формулой. Таким образом, в процессе прямого вывода на каждом его шаге база знаний пополняется выведенными истинными формулами.