On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input

The problem of finding potential inconsistencies during the process of validating knowledge based systems is discussed. A novel methodology, called reflecting on the inputs, is introduced. This effectively requires the knowledge base to stipulate the possible values for the inputs to the system. It is shown that the existence of potential inconsistencies manifest themselves by putting restrictions on the allowable input values