Модели представления знаний отражают структуру БЗ, методы наполнения и извлечения знаний и алгоритмы поиска решений.
Существует множество моделей представления знаний. Т.к. БЗ является неотъемлемым компонентом ИС, то выбор модели определяет качество разрабатываемой системы. Выбор модели, неадекватной знаниям предметной области, приводит к созданию «систем-монтсров», обладающих тривиальным интеллектом.
Проблема представления знаний решается на трех уровнях:
1 – технический – характеризует аппаратную реализацию моделей знаний с использованием параллельных вычислений в реальном масштабе времени, имеющих гигантские объемы памяти;
2 – программный (логический) – разработка программ, реализующих все алгоритмы представления знаний;
3 – концептуальный – определяет выбор моделей представления знаний, описывающих предметную область.
Каждая модель определяет форму представления знаний, связи между знаниями, их иерархию и способы изменения.
Все модели можно разделить на 4 базовых группы:
• продукционные модели;
• семантические сети;
• фреймы;
• формальные логические модели.