Microsoft Word Книга иис мггу 1 Print doc

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

---

62 
Логическая модель знаний строится на базе предикатов. 
Логика предикатов является развитием алгебры логики (или логики 
высказываний). 
В 
логике 
высказываний 
для 
обозначения 
фактов 
используются буквы (имена или идентификаторы или фразы), не имеющие
структуры (используемые как атомарные объекты), и принимающие
значения «1» или «0» («да» или «нет»). То, что фразы имеют атомарный 
характер, не позволяет обнаружить похожесть их смысла. Например, 
высказывания «расстояние от Земли до Солнца – 150 млрд. км» и 
«расстояние от Земли до Марса – 60 млн. км» имеют похожий смысл, но 
абсолютно разные в логике высказываний. 
В логике предикатов факты обозначаются 
n
-арными логическими
функциями – предикатами 
F
(
x
1
, 
x
2
, ..., 
x
m
), где 
F
– имя предиката (функтор) и 
x
i
– аргументы предиката [3].