Интеллектуальные информационные системы. Макаренко С.И. - 61 стр.

          ЧАСТЬ 3. ПРЕДСТАВЛЕНИЕ И ВЫВОД ЗНАНИЙ

               7. МОДЕЛИ ПРЕДСТАВЛЕНИЯ ЗНАНИЙ

            7.1 Декларативные и процедурные знания

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

          7.2 Логическая модель представления знаний

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



                                   60