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

110
Таблица 3.1 – БД Ω
t1 t2 t3 Z
a a a 1
b b b 3
c c a 2
a b c 1
a c b 1
b c a 2
b a c 2
c a b 1
c b a 3
c b b 2
b a b 2
Таблица 3.2 – Расширенная БД
t1 t2 t3
1 2 1 2 1 2 Z Z1 Z2 Z3
a a a a a a 1 1 5 6
b a b b b b 3 4 5 3
c c c b a a 2 4 2 6
a a b b c b 1 1 5 6
a a c b b b 1 1 5 6
b a c b a a 2 4 2 6
b a a a c b 2 4 2 6
c c a a b b 1 1 5 6
c c b b a a 3 4 5 3
c c b b b b 2 4 2 6
b a a a b b 2 4 2 6
В таблице 3.3 приведены все комбинации доменов для трех тестов и для
каждой комбинации указана конфликтность базы прецедентов (0/1).
Напомним, что конфликт будет иметь место тогда и только тогда, когда
найдутся два прецедента с одинаковыми значениями тестов, но с разными
заключениями. Все конфликты помечены символом «С». Символом «В»
помечены экстремальные наброски (наброски экстремального
пограничного слоя). Любое обобщение экстремального наброска приводит
к конфликту.
Таблица 3.3 − Результирующая таблица набросков
Домены Z Z1 Z2 Z3
t1 t2 t3 0/1 A,B,C 0/1 A,B,C 0/1 A,B,C 0/1 A,B,C
1 1 1 0 A 0 A 0 A 0 A
1 1 2 0 B 0 A 0 B 0 B
1 2 1 1 C 0 A 1 C 1 C
2 1 1 0 B 0 B 0 B 0 B
1 2 2 1 C 0 B 1 C 1 C
2 1 2 1 C 1 C 1 C 1 C
2 2 1 1 C 1 C 1 C 1 C
2 2 2 1 C 1 C 1 C 1 C
0 – нет конфликта; 1 – конфликт; А – докритическое описание (набросок);
B – критическое описание; C – закритическое описание.
Список всех комбинаций доменов определяет орграф набросков базы
прецедентов Gs(Ω) (рис. 3.2). На рис. 3.3 показан орграф набросков 4-го