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

234
В таблице 5.12 приведены все комбинации доменов для двух тестов и для
каждой комбинации указана конфликтность базы прецедентов (0/1).
Напомним, что конфликт будет иметь место тогда и только тогда, когда
найдутся два прецедента с одинаковыми значениями тестов, но разными
заключениями. Все конфликты помечены символом «С». Символом «В»
помечены критические описания. Докритические описания помечены
символом «А». С процедурной точки зрения таблицы 5.11 и 5.12 легко
формируются с помощью инструментов электронных таблиц, например,
MS EXCEL.
Таблица 5.12 – Результирующая таблица набросков
t1 t2
Z Z1 Z2 Z3
0/1 A,B,C 0/1 A,B,C 0/1 A,B,C 0/1 A,B,C
1 1 0 A 0 A 0 A 0 A
1 2 1 C 1 C 1 C 0 A
1 3 1 C 1 C 1 C 1 C
1 4 1 C 1 C 1 C 1 C
2 1 0 B 0 A 0 B 0 A
2 2 1 C 1 C 1 C 0 B
2 3 1 C 1 C 1 C 1 C
2 4 1 C 1 C 1 C 1 C
3 1 1 C 0 B 1 C 1 C
3 2 1 C 1 C 1 C 1 C
3 3 1 C 1 C 1 C 1 C
3 4 1 C 1 C 1 C 1 C
Данный пример иллюстрирует тот факт, что среди закритических описаний
базы прецедентов Ω(Z) могут быть докритические и критические описания
баз прецедентов Ω(Z i ). Например, описание Ω(t1/3; t2/1; Z) является
закритическим, в то время как описание Ω(t1/3; t2/1; Z1) является
критическим.
Построение дуальных моделей знаний значительно расширяет спектр
синдромных моделей знаний за счет введения обобщающих заключений.
Вместе с тем, справедливо утверждение.
Предложение 5.34. Синдромная модель знаний {S * } Full на Ω(Z)
включает все предельные синдромы баз прецедентов Ω(Z i ), относящихся к
заключению z i , где i ∈ Z.
Отметим, что в предыдущем разделе также вводились обобщающие
заключения, которые соответствовали артефактам. Однако подобные
заключения выводят за рамки {S * } Full на Ω(Z).