Главная Случайная страница


Полезное:

Как сделать разговор полезным и приятным Как сделать объемную звезду своими руками Как сделать то, что делать не хочется? Как сделать погремушку Как сделать так чтобы женщины сами знакомились с вами Как сделать идею коммерческой Как сделать хорошую растяжку ног? Как сделать наш разум здоровым? Как сделать, чтобы люди обманывали меньше Вопрос 4. Как сделать так, чтобы вас уважали и ценили? Как сделать лучше себе и другим людям Как сделать свидание интересным?


Категории:

АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника






Ограничения целостности ситуаций





(2.1) el(разбиение для признака(напряжение мышц живота),0) =0

для признака "напряжение мышц живота" начало первого периода динамики признака совпадает с началом заболевания (которое является началом отсчета при измерении времени)

(2.2) el(разбиение для признака(кровяное давление),0) =0

для признака "кровяное давление"начало первого периода динамики признака совпадает с началом заболевания

(2.3) (v: {кровяное давление, суточный диурез, напряжение мышц живота})

el(разбиение для признака(суточный диурез),0) =0

для признака "суточный диурез" начало первого периода динамики признака совпадает с началом заболевания

 

Неизвестными этой системы являются диагноз, разбиение для признака, моменты наблюдения, кровяное давление, напряжение мышц живота, суточный диурез.

5.2. Модель знаний

 

Представим модель знаний как обогащение системы без параметров (т.е. множеством предложений - ограничений на интерпретацию имен языка прикладной логики [3]).

(3.1) (v1: моменты наблюдения(напряжение мышц живота))

диагноз = здоров Þ напряжение мышц живота(v1) Î {отсутствует}

если диагноз пациента здоров, то в любой момент наблюдения значения признака "напряжение мышц живота" может быть получено значение "отсутствует"

(3.2) (v1: моменты наблюдения(кровяное давление))

диагноз = здоров Þ кровяное давление(v1) Î {норма}

если диагноз пациента здоров, то в любой момент наблюдения значения признака "кровяное давление" может быть получено значение "норма"

(3.3) (v1: моменты наблюдения(суточный диурез)) диагноз = здоров Þ суточный диурез(v1) Î {норма}

если диагноз пациента здоров, то в любой момент наблюдения значения признака "суточный диурез" может быть получено значение "норма"

(3.4) диагноз = панкреатит Þ length(разбиение для признака(напряжение мышц живота)) = 3

если диагноз пациента панкреатит, то число элементов в разбиении оси времени пациента для признака "напряжение мышц живота" равно 3

(3.5) диагноз = панкреатит Þ length(разбиение для признака(кровяное давление)) = 3

если диагноз пациента панкреатит, то число элементов в разбиении оси времени пациента для признака "кровяное давление" равно 3

(3.6) диагноз = панкреатит Þ length(разбиение для признака(суточный диурез)) = 3

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

(3.7) (v1 : моменты наблюдения(напряжение мышц живота) Ç interv(разбиение для признака(напряжение мышц живота), 1)) диагноз = панкреатит Þ напряжение мышц живота(v1)Î{отсутствует}

если диагноз пациента панкреатит и момент наблюдения значения признака "напряжение мышц живота" принадлежит первому периоду динамики этого признака, то может быть получено значение "отсутствует"

(3.8) (v1 : моменты наблюдения(напряжение мышц живота) Ç interv(разбиение для признака(напряжение мышц живота), 2)) диагноз = панкреатит Þ напряжение мышц живота(v1) Î {присутствует}

если диагноз пациента панкреатит и момент наблюдения значения признака "напряжение мышц живота" принадлежит второму периоду динамики этого признака, то может быть получено значение "присутствует"

(3.9) (v1 : моменты наблюдения(кровяное давление) Ç interv(разбиение для признака(кровяное давление), 1)) диагноз = панкреатит Þ кровяное давление (v1) Î {норма}

если диагноз пациента панкреатит и момент наблюдения значения признака "кровяное давление" принадлежит первому периоду динамики этого признака, то может быть получено значение "норма"

(3.10) (v1 : моменты наблюдения(кровяное давление) Ç interv(разбиение для признака(кровяное давление), 2)) диагноз = панкреатит Þ кровяное давление (v1) Î {повышение}

если диагноз пациента панкреатит и момент наблюдения значения признака "кровяное давление" принадлежит второму периоду динамики этого признака, то может быть получено значение "повышение"

(3.11) (v1 : моменты наблюдения(суточный диурез) Ç interv(разбиение для признака(суточный диурез), 1)) диагноз = панкреатит Þ суточный диурез (v1) Î {понижение}

если диагноз пациента панкреатит и момент наблюдения значения признака "суточный диурез" принадлежит первому периоду динамики этого признака, то может быть получено значение "понижение"

(3.12) (v1 : моменты наблюдения(суточный диурез) Ç interv(разбиение для признака(суточный диурез), 2)) диагноз = панкреатит Þ суточный диурез (v1) Î {норма}

если диагноз пациента панкреатит и момент наблюдения значения признака "суточный диурез" принадлежит второму периоду динамики этого признака, то может быть получено значение "норма"

(3.13) диагноз = панкреатит Þ sup(interv (разбиение для признака(напряжение мышц живота), 1)) – inf(interv (разбиение для признака(напряжение мышц живота), 1)) Î R[24, 48]

если диагноз пациента панкреатит, то длительность первого периода динамики признака "напряжение мышц живота" от 24 до 48 часов

(3.14) диагноз = панкреатит Þ sup(interv (разбиение для признака(напряжение мышц живота), 2)) – inf(interv (разбиение для признака(напряжение мышц живота), 2)) Î R[1, 144]

если диагноз пациента панкреатит, то длительность второго периода динамики признака "напряжение мышц живота" от 1 до 144 часов

(3.15) диагноз = панкреатит Þ sup(interv (разбиение для признака(кровяное давление), 1)) – inf(interv (разбиение для признака(кровяное давление), 1)) Î R[1, 24]

если диагноз пациента панкреатит, то длительность первого периода динамики признака "кровяное давление" от 1 до 24 часов

(3.16) диагноз = панкреатит Þ sup(interv (разбиение для признака(кровяное давление), 2)) – inf(interv (разбиение для признака(кровяное давление), 2)) Î R[1, 144]

если диагноз пациента панкреатит, то длительность второго периода динамики признака "кровяное давление" от 1 до 144 часов

(3.17) диагноз = панкреатит Þ sup(interv (разбиение для признака(суточный диурез), 1)) – inf(interv (разбиение для признака(суточный диурез), 1)) Î R[48, 72]

если диагноз пациента панкреатит, то длительность первого периода динамики признака "суточный диурез" от 48 до 72 часов

(3.18) диагноз = панкреатит Þ sup(interv (разбиение для признака(суточный диурез), 2)) – inf(interv (разбиение для признака(суточный диурез), 2)) ÎR[1, 144]

если диагноз пациента панкреатит, то длительность второго периода динамики признака "суточный диурез" от 1 до 144 часов

5.3. Примеры моделей ситуаций

 

Модель ситуации № 1 представим множеством предложений - описаний значений неизвестных.

 

(4.1) диагноз º панкреатит

в данной ситуации диагнозом пациента является панкреатит

(4.2) разбиение для признака º (l(v: { напряжение мышц живота, кровяное давление, суточный диурез}) /(v = напряжение мышц живота Þ <0, 40, 70>), (v = кровяное давление Þ <0, 20, 70>), (v = суточный диурез Þ <0, 50, 70))/)

первый период динамики напряжения мышц живота закончился через 40 часов, а второй - через 70 часов после начала заболевания. Первый период кровяного давления закончился через 20 часов, а второй – через 70 часов после начала заболевания. Первый период суточного диуреза закончился через 50 часов, а второй – через 70 часов после начала заболевания.

(4.3) моменты наблюдения º (l(v: { напряжение мышц живота, кровяное давление, суточный диурез}) /(v = напряжение мышц живота Þ {12,36,60}), (v = кровяное давление Þ {12,60}), (v =суточный диурез Þ {36,60})/)

было произведено три осмотра пациента (через 12, 36 и 60 часов после начала заболевания), причем в первый осмотр получены значения признаков "напряжение мышц живота" и "кровяное давление", во второй – " напряжение мышц живота" и "суточный диурез", а в третий – "напряжение мышц живота", "кровяное давление", "суточный диурез"

(4.4) напряжение мышц животаº (l(v: { 12,36,60 }) / (v = 12 Þ отсутствует), (v =36 Þ отсутствует), (v =60 Þ присутствует)/)

при наблюдении значения признака "напряжение мышц живота" были получены следующие значения:

- через 12 часов после начала заболевания напряжение мышц живота отсутствует,

- через 36 часов напряжение мышц живота – отсутствует,

- через 60 часов напряжение мышц живота – присутствует

(4.5) кровяное давление º (l(v: { 12,60 }) /(v = 12 Þ норма), (v =60 Þ повышение)/)

при наблюдении значения признака "кровяное давление" были получены следующие значения:

- через 12 часов после начала заболевания кровяное давление – норма,

- через 60 часов кровяное давление – повышение

(4.6) суточный диурез º (l(v: { 36,60 }) /(v =36 Þ понижение), (v = 60 Þ норма)/)

при наблюдении значения признака "суточный диурез" были получены следующие значения:

- через 36 часов после начала заболевания суточный диурез –понижение,

- через 60 часов суточный диурез – норма.

 

6. АДЕКВАТНОСТЬ МОДЕЛИ И ПРЕДМЕТНОЙ ОБЛАСТИ

7. Пример проверки адекватности модели и предметной области

Проверяем, что все утверждения модели онтологии и модели знаний обращаются в истину для всех моделей ситуаций.

1. Проверяем, что все предложения – ограничения на интерпретацию имен обращаются в истину после выполнения всех допустимых подстановок.

Ограничение целостности ситуаций (2.1) в модели онтологии имеет вид:

el(разбиение для признака(напряжение мышц живота), 0) =0

Поскольку префикс отсутствует, множество допустимых подстановок пусто. Заменим теперь термины для описания ситуации значениями этих терминов из модели ситуации, получим значение "истина". Аналогично выполняется проверка для утверждений 2.2-2.3.

2. Проверяем теперь, что все предложения модели знаний обращаются в истину для всех допустимых подстановок

Выполним проверку для предложения (3.1)

(v: моменты наблюдения(напряжение мышц живота)) диагноз = здоров Þ напряжение мышц живота(v) Î {отсутствует}

Для того, чтобы построить все возможные подстановки, необходимо вычислить значение терма "моменты наблюдения(напряжение мышц живота)", заменив термины для описания ситуаций их значениями из модели ситуации. После вычисления получим следующие допустимые подстановки: l1 ={v / 12}, l2 = {v / 36 }, l3 = {v / 60}. Заменим переменную из тела предложения на значения из подстановок, получим:

диагноз = здоров Þ напряжение мышц живота(12) Î {отсутствует}

диагноз = здоров Þ напряжение мышц живота(36) Î {отсутствует}

диагноз = здоров Þ напряжение мышц живота(60) Î {отсутствует}

Заменим термины для описания ситуаций значениями из модели ситуации, получим:

панкреатит = здоров Þ отсутствует Î {отсутствует}

панкреатит = здоров Þ отсутствует Î {отсутствует}

панкреатит = здоров Þ присутствует Î {отсутствует}

Так как условие импликации ложно, то полученные импликации истинны.

Выполним проверку для предложения (3.2)

(v: моменты наблюдения(кровяное давление)) диагноз = здоров Þ кровяное давление(v) Î {норма}

Для того, чтобы построить все возможные подстановки, необходимо вычислить значение терма "моменты наблюдения(кровяное давление)", заменив термины для описания ситуаций их значениями из модели ситуации. После вычисления получим следующие допустимые подстановки: l1 ={v / 12}, l2 = {v / 60}. Заменим переменную из тела предложения на значения из подстановок, получим:

диагноз = здоров Þ кровяное давление(12) Î {норма}

диагноз = здоров Þ кровяное давление(60) Î {норма}

Заменим термины для описания ситуаций значениями из модели ситуации, получим:

панкреатит = здоров Þ кровяное давление(12) Î {норма}

панкреатит = здоров Þ кровяное давление(60) Î {норма}

Так как условие импликации ложно, то полученные импликации истинны.

Выполним проверку для предложения (3.3)

(v: моменты наблюдения(суточный диурез)) диагноз = здоров Þ суточный диурез(v) Î {норма}

 

Для того, чтобы построить все возможные подстановки, необходимо вычислить значение терма "моменты наблюдения(суточный диурез)", заменив термины для описания ситуаций их значениями из модели ситуации. После вычисления получим следующие допустимые подстановки: l1 ={v / 36}, l2 = {v / 60}. Заменим переменную из тела предложения на значения из подстановок, получим:

диагноз = здоров Þ суточный диурез(36) Î {норма}

диагноз = здоров Þ суточный диурез (60) Î {норма}

Заменим термины для описания ситуаций значениями из модели ситуации, получим:

панкреатит = здоров Þ суточный диурез(36) Î {норма}

панкреатит = здоров Þ суточный диурез(60) Î {норма}

Так как условие импликации ложно, то полученные импликации истинны.

Выполним проверку для предложения (3.4)

диагноз = панкреатит Þ length(разбиение для признака(напряжение мышц живота)) = 3

Множество допустимых подстановок пусто (отсутствует префикс предложения). Заменим термины для описания ситуации их значениями из модели ситуации, получим истинное значение. Аналогично выполняется проверка для предложений 3.5 – 3.6.

Выполним проверку для предложения (3.7)

(v: моменты наблюдения(напряжение мышц живота) Ç interv(разбиение для признака(напряжение мышц живота), 1)) диагноз = панкреатит Þ напряжение мышц живота(v)Î{отсутствует}

Для того, чтобы построить все возможные подстановки, необходимо вычислить значение терма "моменты наблюдения(напряжение мышц живота) Ç interv(разбиение для признака(напряжение мышц живота), 1))", заменив термины для описания ситуаций их значениями из модели ситуации. После вычисления получим следующие допустимые подстановки: l1 ={v / 12}, l2 = {v / 36 }. Заменим переменную из тела предложения на значения из подстановок, получим:

диагноз = панкреатит Þ напряжение мышц живота(12)Î{отсутствует}

диагноз = панкреатит Þ напряжение мышц живота(36)Î{отсутствует}

Заменим термины для описания ситуаций значениями из модели ситуации, получим:

панкреатит = панкреатит Þ отсутствует Î {отсутствует}

панкреатит = панкреатит Þ отсутствует Î {отсутствует}

Условие и следствие импликации истинно, следовательно, импликация истинна.

Выполним проверку для предложения (3.8)

(v: моменты наблюдения(напряжение мышц живота) Ç interv(разбиение для признака(напряжение мышц живота), 2)) диагноз = панкреатит Þ напряжение мышц живота(v) Î {присутствует}

Для того, чтобы построить все возможные подстановки, необходимо вычислить значение терма "моменты наблюдения(напряжение мышц живота) Ç interv(разбиение для признака(напряжение мышц живота), 2))", заменив термины для описания ситуаций их значениями из модели ситуации. После вычисления получим следующую допустимую подстановку: l ={v / 60}. Заменим переменную из тела предложения на значения из подстановки, получим: диагноз = панкреатит Þ напряжение мышц живота(60)Î {присутствует}

Заменим термины для описания ситуаций значениями из модели ситуации, получим: панкреатит = панкреатит Þ присутствует Î {присутствует}.

Условие и следствие импликации истинно, следовательно, импликация истинна. Аналогично проверяется истинность предложений 3.9 – 3.12.

Выполним проверку для предложения (3.13)

диагноз = панкреатит Þ sup(interv (разбиение для признака(напряжение мышц живота), 1)) – inf(interv (разбиение для признака(напряжение мышц живота), 1)) Î R[24, 48]

Множество допустимых подстановок пусто (отсутствует префикс предложения). Заменим термины для описания ситуации их значениями из модели ситуации, получим истинное значение. Аналогично выполняется проверка для предложений 3.14 – 3.18.


 

Date: 2016-01-20; view: 268; Нарушение авторских прав; Помощь в написании работы --> СЮДА...



mydocx.ru - 2015-2024 year. (0.008 sec.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав - Пожаловаться на публикацию