Pojęcie w praktyce
Macierz niespójności jako mapa konfliktów
Gdy problem zawiera kilka sprzecznych reguł, dyskusja szybko zamienia się w wymianę przykładów. Macierz niespójności pozwala zobaczyć, które założenia naprawdę się wykluczają, a które tylko dotyczą innych warunków.
Zamiast pytać „co jest prawdą?”, porównaj warunki
Dwa twierdzenia mogą wyglądać na sprzeczne, choć każde działa w innym zakresie. Dlatego warto zestawić je według warunku wejściowego, oczekiwanego skutku i wyjątku. Konflikt pozostaje tylko wtedy, gdy te same warunki prowadzą do dwóch niezgodnych rezultatów.
Takie rozpisanie usuwa część pozornych sporów i zostawia miejsca, które rzeczywiście wymagają decyzji.
Najważniejsze są przecięcia
Macierz jest szczególnie przydatna, gdy kilka reguł działa jednocześnie. Wtedy problem nie wynika z pojedynczej zasady, lecz z ich przecięcia. Warto zaznaczyć, które kombinacje są dopuszczalne, które niemożliwe, a które prowadzą do niejednoznaczności.
Jeśli ta sama para reguł regularnie tworzy wyjątki, prawdopodobnie nie jest to problem pojedynczego przypadku, lecz konstrukcji modelu.
Wniosek powinien wskazywać miejsce decyzji
Dobra mapa niespójności nie kończy się listą konfliktów. Powinna wskazać, który konflikt można rozstrzygnąć przez zmianę definicji, który wymaga danych, a który jest rzeczywistym wyborem między dwiema wartościami.
Dzięki temu zamiast naprawiać wszystko naraz można pracować nad konkretnym przecięciem, które generuje najwięcej błędów.