В настоящее время разработаны десятки моделей (или языков) представления знаний для различных предметных областей. Большинство из них может быть сведено к следующим классам:
Ø продукционные модели;
Ø семантические сети;
Ø фреймы;
Ø формальные логические модели.
В свою очередь это множество классов можно разбить на две большие группы (рис. 1.2):
Ø модульные;
Ø сетевые.
Модульные языки оперируют отдельными (не связанными) элементами знаний, будь то правила или аксиомы предметной области.
Сетевые языки предоставляют возможность связывать эти элементы или фрагменты знаний через отношения в семантические сети или сети фреймов.
Рассмотрим подробнее наиболее популярные у разработчиков языки представления знаний (ЯПЗ).

Продукционная модель
ЯПЗ, основанные на правилах (rule-based), являются наиболее распространенными и более 80% ЭС используют именно их.






