
43
Chapter 4
The Inference Problem
4.1 Overview
As stated in Chapter 1, inference is the process of forming conclusions from prem-
ises. is process is harmful if the user draws unauthorized conclusions from the
legitimate responses he or she receives. is 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 exten-
sively in the past. Specifically, we have defined various types of inference strategies
and developed inference controllers that handle certain types of inference strate-
gies. However, our prior work ...