KR Lessons Learned (cont’d.)
8. Global Consistency: Can’t Live With It, Can’t Give It Up!
What’s the real source of the problem?
Each rule is rich: it is a simplified statement that obscures a plethora of unstated assumptions and details.
As long as the rules are all in one coherent small context, they are likely to make the same simplifying assumptions, and hence are likely to work together consistently.