Аналитика: методология, технология и организация

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

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

Логические модели представления знанийформируются из следующих компонентов:

- множество базовых терминов (например, имен объектов, действий и т. п.);

- множество аксиом (синтаксически и семантически корректных высказываний из базовых терминов);

- множество методов вывода из множества аксиом синтаксически и семантически корректных высказываний;

- множество методов соотнесения терминов с входными терминами;

- множество методов построения синтаксически корректных высказываний из терминов;

- множество методов установления факта принадлежности синтаксически корректных высказываний к множеству синтаксически и семантически корректных высказываний.

Сетевые модели представления знанийформируются из следующих компонентов:

- множество информационных единиц;

- множество типов связей между информационными единицами (временные, причинно-следственные, родо-видовые и т. п.);

- множество связей между информационными единицами.

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

Продукционные модели представления знанийформируются из следующих компонентов:

- семантическая сеть;

- множество правил вывода (продукций).

Такие модели вместо логического вывода на множестве аксиом используют вывод на знаниях.