Пошук вглиб та вшир

Пряме і зворотне виведення

У системах з прямим виведенням за відомимми фактами відшукується факт, який з них випливає (див. рис.2). Якщо такий факт вдається знайти, то він записується в базу фактів. Пряме виведення називають також виведенням, керованим даними або виведенням, керованим посилками правил.

Під час зворотного виведення спочатку висувається гіпотеза, а потім механізм виведення ніби повертається назад, переходячи до фактів і намагаючись знайти в базі фактів ті, які підтверджують гіпотезу (рис.2б). Якщо гіпотеза не підтверджується фактами з бази фактів, одна з її можливих посилок вважається гіпотезою, що деталізує початкову і є стосовно неї підціллю. Далі відшукуються факти, які могли б підтвердити дану підціль, тобто процесрекурсивно повторюється. Виведення цього типу називається також виведенням, керованим цілями.

Пошук вшир

Пошук вглиб

Під час пошуку вглиб черговою підціллю стає та, що відповідає детальнішому рівню опису задачі. Виконуючи пошук ушир, машина виведення спочатку спробує знайти розв'язок серед можливих варіантів одного рівня і потім, за необхідності, перейде на наступний рівень деталізації.

Див. також: Пошук у глибину

Див. також: Пошук у ширину

Дата добавления: 2014-01-07