Главная | Обратная связь
МегаЛекции

Инструментарий прямого приобретения





знаний 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.





Рекомендуемые страницы:

Воспользуйтесь поиском по сайту:
©2015- 2020 megalektsii.ru Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.