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

92 4.2. Прямой и обратный вывод 4.2.3. Обратный вывод Обратный вывод начинается с целевой формулы на (А, В) л на (В, Стал) л л на (С, Стол) л на (D, Стол). Для нашего примера его можно проследить по тому же графу на рис. 4. 2. Только в отличие от прямого вывода, который осуществлялся в направлении стрелок, обратный вывод осуществляется против направления стрелок. Кроме того, ненужных формул не выводится, что делает его в ряде случаев более эффективным, особенно, если для вывода целевых формул достаточно незначительной части базы знаний. В настоящей главе были рассмотрены только принципы прямого и обратного вывода. Возможны и комбинации прямого и обратного вывода. Во всех случаях исходной для вывода является некоторая начальная база знаний. Для того чтобы иметь возможность решения реальных задач на основе использования исчислений, необходимо иметь ответ на ряд очень важных вопросов.