Accession Number : ADA114756

Title :   Reasoning Utility Package User's Manual. Version One.

Descriptive Note : Memorandum rept.,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : McAllester,David A

PDF Url : ADA114756

Report Date : Apr 1982

Pagination or Media Count : 58

Abstract : RUP (Reasoning Utility Package) is a collection of procedures for performing various computations relevant to automated reasoning. RUP contains a truth maintenance system (TMS) which can be used to perform simple propositional deduction (unit clause resolution), to record justifications, to track down underlying assumptions, and to perform incremental modifications when premises are changed. This TMS can be used with an automatic premise controller which automatically retracts 'assumptions' before 'solid facts' when contradictions arise and searches for the most solid proof of an assertion. RUP also contains a procedure for efficiently computing all the relevant consequences of any set of equalities between ground terms. A related utility computes 'substitution simplifications' of terms under an arbitrary set of unquantified equalities and a user defined simplicity order. RUP also contains demon writing macros which allow one to write PLANNER like demons that trigger on various types of events in the data base. Finally there is a utility for reasoning about partial orders and arbitrary transitive relations. In writing all of these utilities an attempt has been made to provide a maximally flexible environment for automated reasoning. (Author)

Descriptors :   *Reasoning, *Artificial intelligence, *Decision theory, *Operations research, Computers, Data bases, Computations, Queueing theory, Invariance, Scenarios, Computer programs, Computer logic, Automation

Subject Categories : Operations Research
      Computer Programming and Software
      Computer Hardware
      Bionics

Distribution Statement : APPROVED FOR PUBLIC RELEASE