Базы знаний

Введение 5

Тема 1. Логика нулевого порядка 5

1.1. Основы 5

1.2. Символизация естественного языка 6

1.3. Синтаксис и семантика 7

1.4. Вывод в логических моделях нулевого порядка 10

1.5. Аудиторные задания 13

1.6. Самостоятельная работа 14

1.7. Контрольные вопросы 14

Тема 2. Логика первого порядка 15

2.1. Синтаксис 15

2.2. Символизация естественного языка 16

2.3. Семантика 18

2.4. Нормальные формы 19

2.5. Выводы в логических моделях первого порядка 21

2.6. Аудиторные задания 25

2.7. Самостоятельная работа 26

2.8. Контрольные вопросы 26

Тема 3. Продукционная модель представления знаний 27

3.1. Продукционная система 27

3.2. Аудиторные задания 28

3.3. Самостоятельная работа 28

3.4. Контрольные вопросы 29

Тема 4. Семантические сети 30

4.1. TLC-модель 30

4.2. Аудиторные задания 30

4.3. Самостоятельная работа 31

4.4. Контрольные вопросы 31

Тема 5. Фреймовая модель представления знаний 32

5.1. Фреймовая модель представления статических знаний 32

5.2. Фреймовая модель представления динамических знаний 33

5.3. Аудиторные задания 33

5.4. Самостоятельная работа 34

5.5. Контрольные вопросы 34

Тема 6. Нечеткие множества и нечеткие отношения 35

6.1. Нечеткие множества 35

6.2. Нечеткие отношения 38

6.3. Аудиторные задания 40

6.4. Самостоятельная работа 41

6.5. Контрольные вопросы 42

Тема 7. Нечеткий композиционный вывод 43

7.1. Описание нечеткого композиционного вывода 43

7.2. Пример 45

7.3. Аудиторные задания 46

7.4. Самостоятельная работа 47

7.5. Контрольные вопросы 47

Тема 8. Разработка нечеткой системы 48

8.1. Нечеткая система 48

8.2. Нечеткий вывод 50

8.3. Аудиторные задания 51

8.3.1. Задание 1 51

8.3.2. Задание 2 52

8.3.3. Задание 3 62

8.4. Самостоятельная работа 64

8.5. Контрольные вопросы 65

ЛИТЕРАТУРА 66