Организация Базы Знаний в экспертных системах

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

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

• Логические (формальные) модели. В их основе лежат понятия формальной системы (теории); к этому классу относятся логика предикатов, любая конкретная система продукций. В логических моделях, как правило, используется логика предикатов первого порядка, дополненная эвристическими стратегиями. Эти методы являются дедуктивными, т.е. в них применяется модель вывода из заданной системы посылок с помощью фиксированной системы правил вывода. Дальнейшее развитие предикатных систем нашло в системах индуктивного типа, где правила вывода порождаются системой на основе обработки конечного числа примеров-образцов.
• Эвристические (формализованные) модели имеют разнообразный набор средств, передающих специфические особенности предметной области; именно этот факт обеспечивает превосходство эвристических моделей над логическими vмоделями как по возможности представить проблемную среду, так и по эффективности используемых правил вывода. К эвристическим моделям относятся фреймовые модели, продукционные модели, семантические сети. Продукционные модели отличаются от формальных продукционных систем тем, что используют более сложные конструкции правил, а также содержат эвристическую информацию о специфике предметной области, выраженную в виде семантических структур.

Рис. 1 Структура знаний экспертной системы