Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Пример модели предметной области
Представим модель в классе систем логических соотношений без параметров. 5.1. Модель онтологии действительности
Представим модель онтологии действительности в виде необогащенной системы O1 = T1(ST, Интервалы) логических соотношений без параметров. Логическая теория T1(ST, Интервалы) = <{“Определение разбиений”}, SS1>, где SS1 есть множество предложений многосортного языка прикладной логики. Описания сортов имен (терминов для описания ситуаций). (1.1) сорт диагноз: {здоров, панкреатит} термин "диагноз" обозначает диагноз пациента; в данной модели предполагается, что при решении любой задачи рассматривается только один пациент (множество, заданное в правой части определения термина "диагноз" содержит перечисление всех заболеваний, рассматриваемых в данной предметной области; в целях экономии места в данной работе ограничиваемся лишь заболеванием "панкреатит" и диагнозом "здоров") (1.2) сорт разбиение для признака: ({кровяное давление, суточный диурез, напряжение мышц живота} ® разбиения) термин "разбиение для признака" обозначает функцию, которая каждому признаку "кровяное давление", "суточный диурез", "напряжение мышц живота" (множество признаков содержит в такой модели перечисление названий всех используемых признаков, в данном примере ограничились лишь 3 признаками, но в реальных моделях таких признаков будут сотни) сопоставляет разбиение множества моментов наблюдения значений этого признака на периоды динамики; это разбиение задает, как проявлял себя признак у пациента при заболевании, которым болен пациент (1.3) сорт моменты наблюдения: ({кровяное давление, суточный диурез, напряжение мышц живота} ® {}(I[0,¥))) термин "моменты наблюдения" обозначает функцию, которая сопоставляет каждому признаку "кровяное давление", "суточный диурез", "напряжение мышц живота" множество моментов наблюдения значений этого признака у пациента (1.4) сорт кровяное давление: (моменты наблюдения(кровяное давление) ® {норма, повышение, понижение}) термин "кровяное давление" обозначает функцию, которая сопоставляет моменту наблюдения значения признака "кровяное давление" наблюдаемое у пациента значение; любое наблюдаемое значение признака является элементом множества {высокое, низкое, нормальное} (1.5) сорт напряжение мышц живота: (моменты наблюдения(напряжение мышц живота) ® {отсутствует, присутствует}) термин "напряжение мышц живота" обозначает функцию, которая сопоставляет моменту наблюдения значения признака " напряжение мышц живота" наблюдаемое у пациента значение; любое наблюдаемое значение признака является элементом множества {отсутствует, присутствует} (1.6) сорт суточный диурез: (моменты наблюдения(суточный диурез) ® {норма, повышение, понижение}) термин "суточный диурез" обозначает функцию, которая сопоставляет моменту наблюдения значения признака "суточный диурез" наблюдаемое у пациента значение; любое наблюдаемое значение признака является элементом множества {высокое, низкое, нормальное}
|