Алгебраические свойства схемы Шортлиффа
DESCRIPTION
Алгебраические свойства схемы Шортлиффа. Моросанова Наталья Александровна Соловьев Сергей Юрьевич Факультет ВМК МГУ имени М.В.Ломоносова. Оглавление. Контекст. Часть 1 /9. Схема Шортлиффа. Экспертная система MYCIN для диагностики инфекционных заболеваний. Продукция (простая). - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/1.jpg)
Алгебраические свойствасхемы Шортлиффа
Моросанова Наталья Александровна
Соловьев Сергей Юрьевич
Факультет ВМК МГУ имени М.В.Ломоносова
![Page 2: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/2.jpg)
Оглавление
![Page 3: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/3.jpg)
Контекст
![Page 4: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/4.jpg)
Часть 1/9
Схема Шортлиффа
![Page 5: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/5.jpg)
Экспертная система MYCINдля диагностики инфекционных заболеваний
![Page 6: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/6.jpg)
Продукция (простая)
База знаний = множество продукций + множество решений R1, R2, … Rk
![Page 7: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/7.jpg)
Обратный вывод (начало)
![Page 8: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/8.jpg)
Обратный вывод (алгоритм)
![Page 9: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/9.jpg)
Обратный вывод (процесс)
![Page 10: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/10.jpg)
Модель Шортлиффа
Если (1) инфекция есть первичная бактеремия , и
(2) место культуры – одно из стерильных мест, и
(3) предполагаемый путь проникновения
микроорганизма есть желудочно-кишечный тракт,
то микроорганизм есть bacteroides с уверенностью 0.7
0.7 -- фактор уверенности правила (certainty factor).
if E1 & E2 & E3 then H with CF
![Page 11: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/11.jpg)
Коэффициенты уверенности фактов
![Page 12: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/12.jpg)
Схема Шортлиффа
= односортная
алгебраическая
система
![Page 13: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/13.jpg)
Вычисление коэффициентов уверенности
![Page 14: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/14.jpg)
Функция комбинирования cmb(a,b)
![Page 15: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/15.jpg)
Часть 2/9
Изоморфизмопераций
![Page 16: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/16.jpg)
Изоморфизм (понятие)
![Page 17: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/17.jpg)
Изоморфизм (иллюстрация)
![Page 18: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/18.jpg)
Изоморфизм (пример)
![Page 19: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/19.jpg)
Изоморфизм (прагматика)
![Page 20: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/20.jpg)
Часть 3/9
Изоморфизмсхемы
Шортлиффа
![Page 21: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/21.jpg)
Изоморфизм схемы Шортлиффа+
h:[-1,+1][Yн,Yк] – в.о. + монот.возр.
min h|min h|min(A,B) min(A,B) max h|max h|max(A,B) max(A,B) not h|not rge h|rge h|rge(A) h(0.2) A rle h|gle h|rle(A) A < h(-0.2) tms h|tms cmb h|cmb
1 h(1) h(-1) Yн, h(+1) Yк
0.2 h(0.2) 0 h(0)
![Page 22: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/22.jpg)
>> иллюстрация
![Page 23: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/23.jpg)
Изоморфизм схемы Шортлиффа++
h:[-1,+1][Yн,Yк] – в.о. + м.в. + нечетн. •
min h|min h|min(A,B) min(A,B) max h|max h|max(A,B) max(A,B) not h|not h|not(A) -A new rge h|rge h|rge(A) h(0.2) A rle h|gle h|rle(A) A < h(-0.2) tms h|tms cmb h|cmb •
1 h(1) h(-1) Yн, h(+1) Yк
+0.2 h(+0.2) h(-0.2) -h(+0.2) new 0 h(0) h(0) 0 new
![Page 24: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/24.jpg)
>> иллюстрация
![Page 25: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/25.jpg)
Простой пример
![Page 26: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/26.jpg)
>> простой пример
![Page 27: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/27.jpg)
Расширенная числовая прямая
![Page 28: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/28.jpg)
Часть 4/9
Пример No.1изоморфных отображений
схемы Шортлиффа
![Page 29: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/29.jpg)
Класс преобразований G1()
![Page 30: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/30.jpg)
G1() : определение
![Page 31: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/31.jpg)
G1() : особые точки
![Page 32: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/32.jpg)
G1() : функции
![Page 33: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/33.jpg)
G1() : свойства
![Page 34: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/34.jpg)
Часть 5/9
Пример No.2изоморфных отображений
схемы Шортлиффа
![Page 35: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/35.jpg)
Класс преобразований )
![Page 36: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/36.jpg)
) : определение
![Page 37: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/37.jpg)
) : функции
![Page 38: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/38.jpg)
) : особые точки
![Page 39: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/39.jpg)
Псевдосхема Шортлиффа = 3.05
![Page 40: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/40.jpg)
: свойства
![Page 41: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/41.jpg)
Часть 6/9
Задачи выявления и
доопределения
![Page 42: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/42.jpg)
Задачи выявления и доопределения
![Page 43: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/43.jpg)
Задачи выявления и доопределения
![Page 44: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/44.jpg)
Задачи выявления и доопределения
![Page 45: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/45.jpg)
Задача доопределения No. 1/1
![Page 46: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/46.jpg)
Задача доопределения No. 1/2
![Page 47: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/47.jpg)
Задача доопределения No. 2/1 функция комбинирования Хамахера
![Page 48: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/48.jpg)
Задача доопределения No. 2/2
![Page 49: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/49.jpg)
Задача доопределения No. 2/3
![Page 50: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/50.jpg)
Часть 7/9
Автоморфные преобразования
схемы Шортлиффа
[-1,+1] [-1,+1]
![Page 51: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/51.jpg)
Автоморфизм схемы Шортлиффа
![Page 52: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/52.jpg)
Автоморфизм схемы Шортлиффа
![Page 53: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/53.jpg)
Автоморфизм схемы Шортлиффа
![Page 54: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/54.jpg)
Автоморфизм схемы Шортлиффа
Подвиды r = 1 , = 1 ≡ схема Шортлиффа h11(x) = x
r = 1 , = 2
r = 2 , = 1 r = 2 , = 1.495 r = 2 , = 1.820
![Page 55: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/55.jpg)
Автоморфизм r = 1 , = 2
![Page 56: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/56.jpg)
Автоморфизм r = 2 , = 1.820
![Page 57: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/57.jpg)
Автоморфизм r = 2 , = 1.495
![Page 58: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/58.jpg)
Автоморфизм r = 2 , = 1
![Page 59: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/59.jpg)
Часть 8/9
Изоморфизмсхемы Шортлиффа
[-1,+1] [0,+1]
![Page 60: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/60.jpg)
Схема Шортлиффа на [0,1]
![Page 61: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/61.jpg)
Часть 9/9 (последняя)
Проблемы инженерии
знаний
![Page 62: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/62.jpg)
Проблема извлечения знаний
Изменчивость КУ? Схема индивидуальна? Метод излечения схемы? Согласование схем?
![Page 63: Алгебраические свойства схемы Шортлиффа](https://reader036.vdocuments.mx/reader036/viewer/2022062321/56812bad550346895d8fe123/html5/thumbnails/63.jpg)
Интерпретация
(r = 1 & = 1) vs. (r = 1 & = 2)
Definitely not -1.0 -1.0 0.04Almost certainly not -0.8 -0.96Probably not -0.6 -0.84 0.2Maybe not -0.4 -0.64Unknown -0.2 .. 0.2 -0.36 .. 0.36Maybe 0.4 0.64Probably 0.6 0.84Almost certainly 0.8 0.96Definitely 1.0 1.0