База знаний является автономной частью интеллектуальной системы:
Выбор модели представления знаний и построение формализованного представления предметной/проблемной области в виде фрагментов базы знаний осуществляются инженером по знаниям на этапе формализации, который следует после этапов получения и структурирования знаний:
Выделяют простые семантические сети (если вершины не имеют собственной внутренней структуры) и иерархические сети (если вершины обладают некоторой структурой):
Декларативные знания - описания действий, которые возможны при манипулировании фактами и явлениями для достижения намеченных целей:
Знания - выявленные закономерности предметной области:
Любое продукционное правило, содержащееся в базе знаний, состоит из двух частей: антецедента и консеквента:
Модель в виде семантической сети представляет собой ориентированный граф с помеченными вершинами (понятиями) и дугами (отношениями между понятиями):
При построении семантической сети накладываются ограничения на число связей:
Продукционная модель представления знаний - ориентированный граф с помеченными вершинами (понятиями) и дугами (отношениями между понятиями):
Процедурные знания представляют собой описания фактов и явлений, фиксируют наличие или отсутствие таких фактов, а также включают описания основных связей и закономерностей, в которые эти факты и явления входят:
Совокупность данных предметной области может быть представлена множеством взаимосвязанных фреймов, образующих единую фреймовую систему, в которой объединяются декларативные и процедурные знания:
Способ представления знаний в интеллектуальной системе характеризуют моделью представления знаний:
Фреймовые модели требуют достаточно длительного времени на доведение системы до рабочего состояния:
Фреймовые системы подразделяются на статические и динамические, последние допускают изменение фреймов в процессе решения задачи:
Фреймом называется структура данных для представления некоторого концептуального объекта:
Характерным признаком интеллектуальных систем является наличие знаний, необходимых для решения задач конкретной предметной области: