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

221
и {τ} S’ ({S, S’}⊆{S}), выполняется хотя бы одно из преобразований:
τ/T → τ/T’ или τ/T’ → τ/T. Ясно, что если домены T’ и T совпадают, то и
значения должны совпадать. Вместе с тем, между доменами T’ и T может
не быть даже отношения доминирования. Если {τ} S ∩ {τ} S’ = ∅, то такие
синдромы также будем считать условно совместимыми. Очевидно, из
условной совместимости не всегда следует совместимость.
Произвольное множество синдромов назовем несовместимым, если оно
не является совместимым и не является условно совместимым.
В рамках {S} Full на Ω({τ 1 /T2, τ 2 /В3}) имеются два синдрома:
S 3 = (τ 1 /T2 Повышенная → (z=2)); S 4 = (τ 2 /В3 Пенсионный → (z=2)).
Так как в базе прецедентов Ω({τ 1 /T2, τ 2 /В3}) отсутствует прецедент
α(τ 1 /T2 Повышенная; τ 2 /В3 Пенсионный; z=2), то синдромы S 3 и S 4
являются условно совместимыми.
В рамках {S} Full на Ω({τ 1 /T3, τ 2 /В1}) имеются три синдрома:
S 1 = (τ 1 /T3 Нормальная → (z=1)); S 2 = (τ 2 /В1 12 → (z=1));
S 3 = (τ 2 /В1 50 → (z=1)).
Легко убедиться, что S 1 совместим с S 3 и условно совместим с S 2 .
Синдромы S 2 и S 3 несовместимы.
Если база прецедентов отсутствует, а имеется только модель знаний, то
к синдромам последней будем применять исключительно понятие
«условной совместимости». Приведем пример. Пусть множество
синдромов для заключения z представлено таблицей 5.8.
Таблица 5.8 – Пример таблицы синдромов
S \ τ a/A b/B c/C z/Z
S 1 1 6 z
S 2 1 8 z
S 3 9 8 z
S 4 2 10 z
Условно совместимыми являются только пары синдромов {S 1 ; S 2 } и {S 2 ;
S 3 }. Синдром S 4 несовместим ни с одним из других синдромов. Например,
синдромы S 4 и S 1 несовместимы потому, что у любого прецедента α не
могут быть одновременно a/A1 и a/A2 (по предположению каждый тест
входит в описание прецедента только один раз).
Отношения совместимости и условной совместимости между
синдромами не являются транзитивными. Действительно, S 1 условно
совместим с S 2 , S 2 условно совместим с S 3 , но S 1 несовместим с S 3 , так как у
прецедента не могут быть одновременно b/B6 и b/B9.