Введение в проблему искусственного интеллекта



Особенности реализации экспертных систем на базе логической модели знаний. - часть 6


Безсистемное применение правил в рассчете на случайное доказательство приводит к тому, что возникает много лишних цепочек ППФ , активных в определенный момент времени. Это чаще всего приводит к переполнению рабочей памяти.

В процессе исследований по отысканию эффективных процедур машинной реализации языка предиката наметилось 2 основных подхода(кон. 60-х гг.):

1 — Отбрасывается принцип универсальности языка предиката  и производится поиск конкретных процедур, эффективных для конкретной предметной области. В этом случае в БЗ вводились обширные знания предметной области. Наиболее типичный представитель — LISP

2 — развивался в рамках традиционной логики и был направлен на сохранение универсальности , свойственной языку- предикату путем  разработки эффективных процедур логического вывода универсальных по своему характеру, но позволяющих нейтрализовать монотонность  и комбинаторный взрыв.

Наиболее эффективной разработкой этого подхода явл. язык  PROLOG. В нем принята обратная стратегия вывода. Полностью реализованы все средства описания знаний языка-предиката, в т.ч. и кванторами для порождения новых высказываний используется операция резолюции.В качестве процедуры поиска решения, позволяющей устранить монотонность  и комбинаторный взрыв используют поиск в иерархически упорядоченном пространстве состояний.




Содержание  Назад  Вперед