An Optimally Efficient Limited Inference System

This paper descnbes a knowledge representation and reasoning system that performs a limited but interesting class of inferences over a restricted class of first-order sentences with optimal efficiency. The proposed system can answer yes-no as well as wh-queries in time that is only proportional to the length of the shortest derivation of the query and is independent of the size of the knowledge base. This work suggests that the expressiveness and the inferential ability of a representation and reasoning systems may be limited in unusual ways to arrive at extremely efficient yet fairly powerful knowledge based systems.