Определение операции сходства

Операция сходства определяется поэлементно.

O'=₁, El '₂, …, El'₃₁>

O"=< El"₁, El"_2, …, El"₃₁>,.

O’O"=< El'₁El"₁, El'₂El"_2, …, El'₃₁El"₃₁>

Сходство элементов кортежей определяется в зависимости от того, какому типу данных принадлежит данный признак [Панкратова 2004].

Определение отношения вложения

Определяются два типа вложения: сильное и слабое. При сильном вложении требуется вложение одноименных элементов со значениями «+» и «-» в соответствующие элементы со значениями «+» и «-». При слабом вложении допускается вложение элементов со значениями «+» и «-» в элементы «», запрещается только вложение атрибутов противоположных знаков.

Аксиомы предметной области

Все перечисленные признаки, входящие в объект, возможно разделить с учетом знаний о предметной области на три группы:

• 1) Группа необходимых (конъюнктивных) признаков — признаки, без наличия которых гипотеза не имеет смысла, например, нельзя прогнозировать результат лечения без наличия признака терапия (состояние кожи и слизистой, лихорадка и т. д.)
• 2) Группа существенных (дизъюнктивных) признаков — гипотеза имеет смысл, если в ней присутствует хотя бы один признак из этой группы.
• 3) Группа сопутствующих признаков — признаки не входящие в группы 1) и 2), например: пол, возраст, артериальное давление и т. д.

Таким образом, можно сформулировать следующую аксиому:

Результат операции сходства считается гипотезой, если в нее входит хотя бы один из признаков группы 2) и все признаки группы (1).