ABSTRACT
Inference is the process of forming conclusions from premises. This process is harmful if the user draws unauthorized conclusions from the legitimate responses he or she receives. This problem has come to be known as the inference problem. An inference controller is the device that prevents a user from drawing unauthorized conclusions. We have studied the inference problem extensively in the past. Specifically, we have defined various types of inference strategies and developed inference controllers that handle certain types of inference strategies (Thuraisingham et al., 1993).
