The Maryland Refutation Proof Procedure System

  • Jack Minker Daniel H. Fishman James R. McSkimin
  • Published 2011
The Maryland Refutation Proof Procedure Systems (MRPPS) is an interactil perimental 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 strategy, and… CONTINUE READING