The contribution adequacy criterion and its application for testing approximate knowledge in expert systems