Пример модели предметной области

Представим модель в классе систем логических соотношений без параметров.

5.1. Модель онтологии действительности

Представим модель онтологии действительности в виде необогащенной системы O₁ = T₁(ST, Интервалы) логических соотношений без параметров.

Логическая теория T₁(ST, Интервалы) = <{“Определение разбиений”}, SS₁>, где SS₁ есть множество предложений многосортного языка прикладной логики.

Описания сортов имен (терминов для описания ситуаций).

(1.1) сорт диагноз: {здоров, панкреатит}

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

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

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

(1.3) сорт моменты наблюдения: ({кровяное давление, суточный диурез, напряжение мышц живота} ® {}(I[0,¥)))

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

(1.4) сорт кровяное давление: (моменты наблюдения(кровяное давление) ® {норма, повышение, понижение})

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

(1.5) сорт напряжение мышц живота: (моменты наблюдения(напряжение мышц живота) ® {отсутствует, присутствует})

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

(1.6) сорт суточный диурез: (моменты наблюдения(суточный диурез) ® {норма, повышение, понижение})

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