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

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

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

Интеллектуальные системы - это сложные программно-аппаратные комплексы, обязательно включающие в свой состав

ЭВМ. Чтобы ввести знания о предметной области в ЭВМ, необходимо представить их в такой форме, которая была бы понятна машине. Иными словами, знания надо написать на языке, понятном ЭВМ, как понятны ей записи на языках программирования.

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