Page 4 - 6109

5.2.6 Решітки типів; ієрархії типів ....................................................................... 52
5.2.7 Решітки множин і решітки типів ................................................................. 52

5.2.8 Схеми і схематичні кластери ..................................................................... 54
5.3 Міркувань, що використовують семантичні мережі .................................... 55
6 Об'єктне представлення знань. Фреймові моделі ........................................ 57
6.1 Зчеплення ...................................................................................................... 57

6.2 Фрейми і слоти .............................................................................................. 58
6.2.1 Явні фрейми ............................................................................................... 58

6.2.2 Функціональні фрейми ............................................................................... 58
6.2.3 –квантифікація ......................................................................................... 59
6.3 Міркування, що використовують об'єктне уявлення ................................... 59

6.3.1 Паропоєднання .......................................................................................... 59
6.3.2 Функціональні атрибути ............................................................................. 60

6.4 Автоматичні міркування, що використовують фрейми ............................... 61
6.4.1 Ієрархічні міркування, що використовують фрейми ................................ 62
6.4.2 Міркування з винятками ............................................................................. 63
7 ПРОДУКЦІЙНІ МОДЕЛІ ПРЕДСТАВЛЕННЯ ЗНАНЬ...................................... 65

7.1 Класифікація ядер продукції ........................................................................ 67
7.2 Пряме та зворотне виведення ..................................................................... 68

7.3 Типові дисципліни виконання продукцій ...................................................... 69
7.4 Основні стратегії вирішення конфліктів у продукційних системах............. 70
8 ФОРМАЛІЗАЦІЯ НЕДОСТОВІРНИХ І НЕЧІТКИХ ЗНАНЬ .............................. 73

8.1 Модальна логіка предикатів ......................................................................... 73
8.1.1 Модальні оператори .................................................................................. 74
8.1.2 Приклади модальних операторів .............................................................. 74

8.1.3 Синтаксис модальної логіки предикатів ................................................... 74
8.2 Тризначна семантика для модальної логіки предикатів............................. 75
8.3 Семантика можливих світів .......................................................................... 76

8.4 Ламбда-числення .......................................................................................... 78
9 ЛОГІЧНЕ ВИВЕДЕННЯ ЗА НЕДОСТОВІРНИХ ЗНАНЬ ................................. 80
9.1 Поняття про неточне логічне виведення ..................................................... 80

9.2 Деякі визначення з теорії ймовірностей ...................................................... 80
9.3 "Об'єктивна" та "суб'єктивна" невизначеність ............................................. 82
9.4 Загальні принципи неточного виведення .................................................... 84

9.4.1Точкові та інтервальні міри неточності ...................................................... 85
9.4.2 Проблема комбінування свідоцтв ............................................................. 86

9.4.3 Приклади застосування мір достовірності ............................................... 86
9.5 Формалізації мір ризику за неточного логічного виведення ....................... 87
9.5.1 Деякі проблеми виведення ........................................................................ 88

4