Модели представления знаний

Можно различить два типа представления знаний:

1. логические

2. эвристические

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

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

1. сетевые

2. фреймовые

3. продукционные

Рассмотрим первый тип представления знаний.