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

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

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

= < , , , >,

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

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

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

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

ОГЛАВЛЕНИЕ

 

ВВЕДЕНИЕ…………………………………………………………………….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

8.6. Языки запросов………………………………………………………………...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

 

 

Министерство образования Российской Федерации

 

 

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

 

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