Формально-логическая модель

Общие положения

В основе формально-логической модели знаний лежит понятие формальной теории :

= < , , , >,

где – счетное множество базовых символов (алфавит) теории ;

– подмножество выражений теории , называемых формулами теории;

– выделенное множество формул, называемых аксиомами теории ;

– конечное множество отношений { ,…, } между формулами,

ВВЕДЕНИЕ…………………………………………………………………….3

1. Формально-логическая модель………………………………………3

1.1. Общие положения……………………………………………………….………..3

1.2. Синтаксис языка предикатов первого порядка……………………..4

1.3. Семантика языка предикатов первого порядка……………………..5

1.4. Унификация…………………………………………………………….…………… 7

1.5. Принцип резолюций…………………………………………………….………..8

2. ПРОДУКЦИОННАЯ МОДЕЛЬ…………………………………………………..9

2.1. Общие положения…………………………………………………………………9

2.2. Прямой и обратный поиск…………………………………………….………9

2.3. Язык программирования PROLOG…………………………………….…..12

2.3.1. Общие положения…………….…………………………………….12

2.3.2. Описание фактов……………………………………………………12

2.3.3. Описание правил……………………………………………………14

2.3.4. Интерпретатор Пролога……………………………………………15

2.3.5.Операции………………………………………………………….….17

2.3.6. Обработка списков и строк символов…………………………...18

3. Иерархическая модель………………………………………………….24

4. Семантическая сеть……………………………………………………..25

5. Фреймовая модель………………………………………………………..29

6. ОБЪЕКТНО-ОРИЕНТИРОВАННАЯ МОДЕЛЬ……………………………..30

7. МОДЕЛЬ, УПРАВЛЯЕМАЯ ОБРАЗЦАМИ…………………………………..31

8. Реляционная модель……………………………………………………..31

8.1. Структура модели……………………………………………………………...31

8.2. Индексирование………………………………………………………….…….32

8.3. Связывание таблиц……………………………………………………...……33

8.4. Реляционная алгебра……………………………………………………….35

8.5. Реляционное исчисление………………………………………………….37

9. ЭКСПЕРТНЫЕ СИСТЕМЫ (ЭС)……………………………………………37

9.1. Классификация ЭС……………………………………………………………..38

9.2. Пример ЭС анализа обучения……………………………………………..39

9.3. Основы инженерии ЭС………………………………………………………..40

10. Нечеткие множества………………………………………………….….43

10.1. Ощие положения……………………………………………………………….43

10.2. Операции с нечеткими множествами…………………………………44

10.3. Выводы на основе нечетких множеств…………………………… 46

10.4. Нечеткие множества в ЭС………………………………………………….50

БИБЛИОГРАФИЧЕСКИЙ СПИСОК……………………………………………….59

Рязанская государственная радиотехническая академия

В.Ф. ОДИНОКОВ