Аннотация доклада (Соловьёв С.Ю.) семинара ПИИ 14 декабря 2011
- Подробности
- Категория: События
- Опубликовано 06.12.2011 17:54
АЛГЕБРАИЧЕСКИЕ СВОЙСТВА СХЕМЫ ШОРТЛИФФА
Соловьев С.Ю., Моросанова Н.А.
Объектом представленного исследования является схема Шортлиффа - суть исчисление уверенностей, реализованное Э.Шортлиффом в экспертной системе MYCIN. Рассматриваются изоморфные отображения операций и отношений над коэффициентами уверенности.
В общем случае в результате изоморфных отображений формулы над коэффициентами уверенности изменяются закономерно и согласованно; кроме того, могут изменяться и диапазоны определения самих коэффициентов уверенности. Вместе с тем, для случая "естественных" изоморфных отображений изменяются только пороги принятия решений, а также операции отрицания, умножения и комбинирования коэффициентов уверенности.
В докладе описываются два конкретных параметрических класса изоморфных отображений, позволяющих использовать для комбинирования свидетельств сложение и умножение действительных чисел. Потребность в построении функций комбинирования с иными (заранее заданными) свойствами приводит к задаче конструирования соответствующих изоморфных отображений.
В докладе предлагаются методы решения задачи конструирования, а в качестве примера приводится параметрический класс автоморфизмов, позволяющий построить изоморфные образы схемы Шортлиффа, внешне мало отличающиеся от оригинала, но существенно влияющие на интерпретацию коэффициентов уверенности.
С практической точки зрения изоморфные отображения порождают взаимозаменяемые исчисления коэффициентов уверенности, что открывает перед инженерами по знаниям новые возможности и, одновременно, ставит перед ними новые трудные задачи.