 |
Инструментарий прямого приобретения
|
|
|
|
знаний SIMER + MIR
Программная система SIMER + MIR, разработанная в ИПС РАН под руководством Осипова Г. С. [Осипов, 1997], представляет собой совокупность программных средств для формирования модели и базы знаний предметной области. Система ориентирована преимущественно на области с неясной структурой объектов, с неполно описанным множеством свойств объектов и богатым набором связей различной «связывающей силы» между объектами.
Одна из особенностей системы состоит в том, что ее использование на заключительном этапе не предполагает участия специалистов-разработчиков экспертных систем. Это означает, что система SIMER + MIR представляет собой технологию создания систем, основанных на знаниях о предметной области, причем технологию, ориентированную на экспертов.
Архитектура. Система SIMER + MIR включает модуль прямого приобретения знаний SIMER, систему моделирования рассуждений типа аргументации MIR, программу адаптации системы МШ'к базе знаний, сформированной с помощью SIMER + и программной среды поддержки базы знаний, над которой работают все названные модули. Конструкции базы знаний создаются и просматриваются с помощью языка инженера знаний FORTE, который включается в технологию в специальных случаях (рис. 4.17).
Рис. 4.17.Создание конструкции базы знаний с помощью языка FORTE
Представление и база знаний. Одним из наиболее распространенных видов экспертизы являются высказывания (сообщения) эксперта об объектах (событиях) предметной области. Эти высказывания имеют вид:
< имя объекта > < имя отношения > < имя объектам.
Для ряда областей — медицины, экологии, политики, социологии — можно выделить формы сообщений, показанные в табл. 4.6:
|
|
|
Таблица 4.6.
Формы сообщений
| Номер формы | Имя формы | Номер формы | Имя формы |
| Ф1 | a характерно для b | Ф8 | При a нередко присутствует b |
| Ф2 | a наблюдается при b | Ф9 | a может наблюдаться при b |
| Ф3 | a отмечается при b | Ф10 | a обычно сопровождается b |
| Ф4 | a есть проявление b | Ф11 | При a как правило b |
| Ф5 | a есть признак b | Ф12 | При a обычно b |
Продолжение табл. 4.6.
| Номер формы | Имя формы | Номер формы | Имя формы | ||
| Ф6 | a сопровождает b | Ф13 | a иногда сопровождается b | ||
| Ф7 | a нередко сопровождается b | Ф14 | a часто сопровождается b | ||
| Ф15 | a исключает b | Ф20 | С a начинается b | ||
| Ф16 | a приводит к b | Ф21 | b развивается при a | ||
| Ф17 | При a возникает b | Ф22 | b может развиваться при a | ||
| Ф18 | a может привести к b | Ф23 | b может начаться с a | ||
| Ф19 | a может развиваться в b | ||||
Этот список не является исчерпывающим, однако дает представление о тех когнитивных структурах, которые необходимо представлять и обрабатывать в базе знаний.
Каждая из этих форм может иметь различный смысл; уточнение смысла можно получить при рассмотрении «прямого» сообщения с «обращенным». Иными словами, если для некоторых фиксированных а или Р справедливо сообщение формы Ф10, то необходимо попытаться установить, какое из сообщений Ф1— Ф23 справедливо при замене a на b, b наa. Так, для сообщения «Гром наблюдается при грозе» справедливо «обращенное» сообщение «Гроза сопровождается громом», а для сообщения «Воспалительный процесс может наблюдаться при повышенной температуре» справедливо сообщение «Повышенная температура характерна для воспалительного процесса». Таким образом, смысл сообщений уточняется построением «конъюнкций» форм Ф1 — Ф23. Такие «конъюнкции» форм сообщений будут называться типами сообщений. Возможные типы сообщений приведены в табл. 4.7.
Таблица 4.7.
Типы сообщений
| Тип | Сообщение |
| Т1 Т2 Т3 Т4 Т5 Т6 Т7 Т8 T9 Т10 Т11 Т12 Т13 | a есть проявление b, и b может сопровождать a a есть проявление b, и b сопровождается a a может увеличивать возможность b, и b увеличивает возможность a a может сопровождаться b, и b может быть проявлением a a сопровождается b, и b может быть проявлением a a есть проявление b, и b есть проявление a a может увеличивать возможность b, и b может увеличивать возможность a a может протекать с b и b может протекать с a a увеличивает возможность Р, и р увеличивать возможность a a сопровождаетсяb, и b может сопровождает a a сопровождается b, и b сопровождаться a a исключает b,. и b исключает a a приводит к b |
|
|
|
Продолэение табл. 4.7.
| Тип | Сообщение |
| Т14 | a может привести к b |
| Т15 | a увеличивает возможность развития b |
| Т16 | a может увеличить возможность развития b, |
| Т17 | a исключает возможность развития b |
С каждым типом сообщения из табл. 4.7 связывается формальная конструкция базы знаний, то есть бинарное отношение на множестве объектов (событий). Эти конструкции можно проиллюстрировать следующим образом: если каждый объект (событие) представить в виде «двухмерного» множества, по первому измерению которого можно откладывать атрибуты этого объекта, а по второму — множества значений соответствующих атрибутов, то каждый объект представляется в виде фигуры:
Если считать множества всех атрибутов равновеликими, то можно рисовать прямоугольники.
Тогда типу сообщения Т, можно поставить в соответствие диаграмму (пересечение a и b всюду далее заштриховано).
В качестве примера приведем интерпретации некоторых диаграмм. Так, диаграмму, соответствующую сообщению типа Т3, можно интерпретировать следующим образом: для всякого примера объекта b найдутся такие примеры объекта a, в которых равны совпадающие имена и значения атрибутов. Для остальных типов сообщений получим диаграммы, представленные в табл. 4.8.
Таблица 4.8.
|
|
|
