31.01.2015 Views

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

102<br />

(F1) и острый калькулезный холецистит (К80.0), гангренозная форма (М3)),<br />

на втором шаге – одно заболевание и т.д.<br />

Любая структура, являясь сущностью, обладает собственными<br />

свойствами, которые задаются функцией СВОЙСТВА(Str). Примеры<br />

свойств:<br />

СВОЙСТВА (Событие Y) = {p/P};<br />

СВОЙСТВА (Str: ХИМ_ВЕЩЕСТВА) = {ФОРМУЛА,<br />

МОЛЯРНАЯ_МАССА, ПРОСТОЕ_ВЕЩЕСТВО, КИСЛОТА, ОКСИД, …};<br />

СВОЙСТВА (Str: ХИМ_РЕАКЦИИ) = {Тип реакции /{Обратимая;<br />

Необратимая}; Фазовое состояние /{Гетерогенная; Гомогенная}; …}.<br />

Описания структур могут содержать онтологические соглашения. К<br />

онтологическим соглашениям относятся все виды определений, включая<br />

формулы. Примеры онтологических соглашений из химии [15, 16].<br />

(e: ХИМ_ЭЛЕМЕНТЫ)<br />

ЩЕЛОЧНОЗЕМЕЛЬНЫЙ(e) ⇔ ХИМ_ГРУППА(e) = IIа.<br />

Легко видеть, что данное соглашение является частью орграфа доменов:<br />

G(ХИМ_ЭЛЕМЕНТ)={D1 → D2 → D3}.<br />

Если тело состоит из одного вещества, то масса тела равна<br />

произведению массы одной молекулы на число молекул в теле:<br />

(v: тела)<br />

масса(v) = масса_молекулы (вещество_тела(v)) ⋅ число_молекул(v).<br />

Данное соглашение, как и любое другое, можно представить с помощью<br />

одной из разновидностей системопаттерна f/µ: {J a a/A} → {J b b/B}.<br />

Примеры онтологических соглашений клинической медицины:<br />

"Заключение d имеет место тогда и только тогда, когда совокупность<br />

результатов тестов {τ/T} удовлетворяет фиксированному множеству<br />

предикатов {Р}", т.е. d ⇔ {Р({τ/T}) = Истина};<br />

d = «Воспаление среднего уха» ⇔ {Боль в ухе Есть; Шум в ухе Есть;<br />

Ухудшение слуха Есть; Гиперемия и выпуклость барабанной перепонки<br />

Есть}.<br />

Данное соглашение можно представить с помощью системопаттерна<br />

f/µ: {τ/T} → d/D.<br />

В общем случае будем считать, что онтологические соглашения<br />

задаются экспертами, а не формируются автоматически на основе<br />

эмпирических данных.<br />

Описание концепта (произвольного понятия) с помощью<br />

онтологических соглашений имеет следующий вид:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!