On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input
Ronald R. Yager, Henrik Legind Larsen · IEEE Transactions on Systems Man and Cybernetics · 1991
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.>