The Maryland Refutation Proof Procedure System (MRPPS) is an interactive experimental system intended for studying deductive search methods. Although the work is oriented towards question-answering, MRPPS provides a general problem solving capability. There are three major components within MRPPS. These are: (1) an inference system, (2) a search…

A relational data system (RDS) is one that has the capability not only to retrieve specific facts but also the ability to deduce facts that are implicit rather than explicit in the data base. The study investigated the application of RDS technology to intelligence data processing. RDS technology and the nature of intelligence data processing are…