ERIC Number: ED072817
Record Type: Non-Journal
Publication Date: 1972-Dec
Reference Count: N/A
The Maryland Refutation Proof Procedure.
Minker, Jack; And Others
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 strategy and (3) a base clause selection strategy. The "inference system" is based on the resolution principle and performs the logical deductions specified. The user may select from a wide variety of refinements of resolution. The "search strategy" directs the deductions to be made by selecting from clauses already generated those that have a best merit. The "base clause selection strategy" determines which facts and general axioms to select from the data base. Such a clause may be selected regardless of whether or not it has the best merit. Heuristic techniques are applied within each of the three major components. This technical report describes the current implementation of MRPPS. It describes each of the components and how they are integrated into what has been termed the "Q" algorithm. (Author/NH)
Publication Type: N/A
Education Level: N/A
Sponsor: National Science Foundation, Washington, DC.
Authoring Institution: Maryland Univ., College Park. Computer Science Center.