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

Возникает вопрос – что же такое знания и чем они отличаются от обычных данных, которые обрабатываются на компьютере.

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

База знаний – основа любой интеллектуальной системы, где знания описаны на некотором языке представления знаний, приближенном к естественному.

Знания делят на процедурные и декларативные. Исторически первичными были процедурные знания. Процедурные знания заключены в алгоритмах, они управляют данными. Для их изменения требовалось изменить текст программы. Однако с развитием информатики и программного обеспечения все большая часть знаний сосредотачивалась в структурах данных (таблицы, списки, абстрактные типы данных), т.е. увеличилась роль декларативных знаний.

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

Алан Ньюэлл проиллюстрировал эволюцию средств общения человека с компьютером как переход от машинных кодов через символьные языки программирования к языкам представления знаний (рисунок)

В настоящее время разработаны десятки моделей (или языков) представления знаний для различных предметных областей. Большинство из них может быть сведено к следующим классам:

 - продукционные модели;

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

 - фреймы;

 - формально-логические модели.

В свою очередь это множество классов можно разбить на две большие группы:

 - модульные;

 - сетевые.

Модульные языки оперируют отдельными (не связанными) элементами знаний, будь то правила или аксиомы предметной области.

Сетевые языки предоставляют возможность связывать эти элементы или фрагменты через отношения в семантические сети и сети фреймов.