Модели представления знаний

Любая предметная область характеризуется своим набором поня­тий и связей между ними, своими законами, связывающими между собой объекты данной предметной области, своими процессами, со­бытиями. И конечно, каждая предметная область имеет свои, специ­фические методы решения задач. Знания о предметной области и способах решения в ней задач весьма разнообразны. Возможны раз­личные классификации этих знаний. Наиболее часто знания подраз­деляются на декларативные и процедурные.

Процедурные знания описывают последовательности дейст­вий, которые могут использоваться при решении задач. Это, напри­мер, программы для ЭВМ, словесные записи алгоритмов, инструкция по сборке некоторого изделия. Декларативные знания — это все знания, не являющиеся процедурными, например статьи в толко­вых словарях и энциклопедиях, формулировки законов в физике, хи­мии и других науках и т.п. В отличие от процедурных знаний, отве­чающих на вопрос: «Как сделать X?», декларативные знания отвеча­ют, скорее, на вопросы: «Что есть X?» или «Какие связи имеются между X и Y?» , «Почему X?» и т.д.

Интеллектуальные системы — это сложные программно-аппаратные комплексы, обязательно включающие в свой состав ЭВМ. Чтобы ввести знания о предметной области в ЭВМ, необходимо представить их в такой форме, которая была бы понятна машинными словами, знания надо написать на языке, понятном ЭВМ, понятны ей записи на языках программирования.

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