Имя материала: Базы знаний интеллектуальных систем

Т17

a исключает возможность развития b

 

С каждым типом сообщения из табл. 4.7 связывается формальная конструкция базы знаний, то есть бинарное отношение на множестве объектов (событий). Эти конструкции можно проиллюстрировать следующим образом: если каждый объект (событие) представить в виде «двухмерного» множества, по первому измерению которого можно откладывать атрибуты этого объекта, а по второму — множества значений соответствующих атрибутов, то каждый объект представляется в виде фигуры:

 

               

 

Если считать множества всех атрибутов равновеликими, то можно рисовать прямоугольники.

Тогда типу сообщения Т, можно поставить в соответствие диаграмму (пересечение a и b всюду далее заштриховано).

 

                   

 

В качестве примера приведем интерпретации некоторых диаграмм. Так, диаграмму, соответствующую сообщению типа Т3, можно интерпретировать следующим образом: для всякого примера объекта b найдутся такие примеры объекта a, в которых равны совпадающие имена и значения атрибутов. Для остальных типов сообщений получим диаграммы, представленные в табл. 4.8.

 

Таблица 4.8.

Диаграммы для различных типов сообщений

 

 

Для сообщения типа Т8: для всякого имени атрибута примера объекта а найдется совпадающее с ним имя атрибута из примера объекта b, и наоборот; при этом соответствующие значения атрибутов равны. Найдутся такие примеры объекта a, в которых равны совпадающие имена и значения атрибутов.

Каждой из изображенных диаграмм можно дать такую теоретико-множественную интерпретацию, связав с каждым из типов сообщений Ti некоторое бинарное отношение Rk примеров объектов (при k = i).

Способ представления с определенными так отношениями называется неоднородной семантической сетью.

В реализации базы знаний основными элементами структур данных являются элементы «вершина», «элемент кортежа», «атрибут», «цепь», «стрелка». Элемент «вершина» соответствует объекту (событию), он содержит имя, списки входных и выходных «стрелок» и список типа «элемент кортежа». Список «элементов кортежа» соответствует совокупности атрибутов события.

Для обеспечения простого способа определения указателя «вершины» существуют элементы типа «цепь». Элемент типа «цепь» содержит указатель на «вершину» и указатель на следующий элемент типа «цепь». Указатель на первый элемент списка «цепь» входит в описание элемента типа «атрибут». «Атрибут» характеризуется также именем, множеством значений и единицей измерения.

Отношения на множестве объектов реализованы в элементах типа «стрелка». Каждый такой элемент содержит имя, сорт, вес, тип веса, указатель на «вершину» и указатель на следующий элемент типа «стрелка». Отношения на двух объектах описываются парой элементов типа «стрелка», один из которых входит в список входящих стрелок одного объекта, другой — в список входящих стрелок другого объекта.

Процедурная компонента системы содержит функции создания структур данных, поддержки корректности базы знаний, наследования свойств и ряд других функций. Для обеспечения поиска по именам элементов типа «вершина» и «атрибут» в системе реализовано В-дерево. Доступ ко всем элементам базы осуществляется через виртуальную память. Каждый элемент имеет внутренний идентификатор, по значению которого однозначно определяется его размещение в оперативной или внешней памяти. Для работы с объектами, отсутствующими в оперативной памяти, осуществляется их динамический перенос из внешней памяти в оперативную. Это позволяет системе работать на компьютере с ограниченным объемом оперативной памяти.

 

Прямое приобретение знаний в системе SIMER

Для выявления структурных знаний о предметной области используются стратегии разбиения на ступени и репертуарных решеток. Подробнее о репертуарных решетках см. параграф 5.2.

Стратегия разбиения на ступени направлена на выявление структурных и классификационных свойств событий (понятий, объектов) области и таксонометри-ческой структуры событий предметной области.

Стратегия разбиения на ступени реализуется в одном из двух сценариев, который выбирается экспертом

1. «Имя — свойство».

Подпись: Сценарий «Имя — свойство»
1. Вопрос системы об имени события.
2. Сообщение эксперта об имени события.
3. Вопрос системы об имени свойства.
4. Сообщение эксперта об имени свойства.
5. Вопрос системы о существовании множества значений свойства.
6. Ответ эксперта (Да/Нет).
2. «Множество имен — свойство».

Подпись: 7. В случае отрицательного ответа имя свойства воспринимается как имя события.
8. Если имя события, образованного на шаге 3, отсутствует в базе знаний, то это событие рассматривается как но-вое, и для него выполняются шаги 2-7.
9. Вопрос системы о типе множества значений свойства (непрерывное/дискретное).
11. Вопрос системы о единице измерения свойства.
12. Сообщение эксперта о единице измерения.
13. Вопрос системы о множестве значений свойства.
14. Сообщения эксперта о множестве значений свойства.
15. В процессе выполнения шагов 2—6 создается глобальный объект «имя свойства» и область его значений. Со-вокупность таких объектов будем называть базисом свойств области.
16. Вопрос системы о подмножестве значений свойства, характерного для описываемого события.
17. Сообщение эксперта о подмножестве значений свойства.

 

В результате выполнения шага 7 один из элементов базиса свойств связывается с описываемым событием (с указанием подмножества области значений элемента базиса, характеризующего описываемое событие).

 

Подпись: Сценарий «Множество имен — свойство»
При работе сценария шаг 1 многократно повторяется, а затем выполняются шаги 2—7 для каждого имени события.

Страница: | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 | 101 | 102 | 103 | 104 | 105 | 106 | 107 | 108 | 109 | 110 | 111 | 112 | 113 | 114 | 115 | 116 | 117 | 118 | 119 | 120 | 121 | 122 | 123 | 124 | 125 | 126 | 127 | 128 | 129 | 130 | 131 | 132 | 133 | 134 | 135 | 136 | 137 | 138 | 139 | 140 | 141 | 142 | 143 | 144 | 145 | 146 | 147 | 148 | 149 | 150 | 151 | 152 | 153 | 154 | 155 | 156 | 157 |