Reasoning Utility Package User's Manual. Version One.
MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
Pagination or Media Count:
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
- Operations Research
- Computer Programming and Software
- Computer Hardware