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

219
Пусть α({τ/T}, z/Z) – новая ситуация действительности, для которой
нужно установить заключение. Строим замыкание {τ/T} + с использованием
банка тестов {G(τ)}. Далее берем любую модель знаний в рамках описания
Ω({τ/T}’) такого, что {τ/T}’ ≥ {τ/T}, или полную предельную модель
знаний {S * } Full в рамках контекста и проверяем для α наличие
соответствующих синдромов. Если все установленные синдромы говорят
об одном и том же заключении z/Z, то следует принять именно это
заключение. Если же найдутся два синдрома, которые выдают разные
заключения, то это означает, что α фальсифицирует выбранную модель
знаний. Такую модель следует удалить, а еще лучше построить заново все
модели знаний после независимой верификации заключения для α и
добавления α в Ω. Возможна также ситуация, при которой ни один
синдром выбранной модели знаний не дал результата. В этом случае
прецедент α также фальсифицирует выбранную модель знаний.
Если появление значительного числа новых прецедентов не
фальсифицирует выбранную синдромную модель знаний, то такая модель
претендует на статус инвариантной модели или истинной модели. Статус
инвариантной модели коррелирует с понятием устойчивости модели.
Простейший алгоритм классификации нового прецедента следующий
(предполагается, что Z не содержит кода ‘0’).
Алгоритм 5.8
Вход: Прецедент α({τ/T}, z/Z), модель знаний {S}.
Выход: z α .
Онтология: Банк тестов {G(τ)}.
Classif (α, {S})
begin
z α := 0; {τ/T} + ;
for S({τ/T}’, z/Z) ∈ {S} do
if ({τ/T}’ α ⊆ {τ/T} + ) & ({τ/T}’ α = {τ/T}’) then
begin z α := z/Z; return (z α ) end;
return (z α )
end.
Проверка условия ({τ/T}’ α ⊆ {τ/T} + ) означает следующее: синдром S({τ/T}’,
z/Z) задает уровень общности {τ/T}’; если в замыкании {τ/T} + имеются
данные такого уровня, то условие истинно, иначе – ложно.
Если функция Classif выдает код ‘0’, то это означает, что новый
прецедент α фальсифицирует модель знаний {S}, так как ни один синдром
не применим к ситуации α. Приведенный выше алгоритм не позволяет
установить наличие конфликта, при котором имеет место несколько