Resolution control: one kind of knowledge control

A new controller, called the resolution controller is introduced. Resolution control is one kind of knowledge control as discussed in earlier literature. The features of the controller are as follows: (1) control knowledge is separated from utilization of control knowledge, which makes the resolution controller contain a large, and, theoretically, infinite, amount of knowledge; and (2) the determination of control actions or utilization of control knowledge is transformed to theorem proving on first-order predicate calculus, which makes the resolution controller applicable to not only numerical computing but also to symbol interference. Consequently, any knowledge used to realize a specified control function can be represented by first-order predicate language or any kind of formal mathematics based on it, and any control problem can be equivalent to a theorem proving problem of first-order predicate calculus. It is concluded that the controller can be successfully applied in a wide variety of situations