SRI's Artificial Intelligence Center Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation. Search  |  Contact  |  SRI Home
Space 1x1
 AIC Home   >   Background   >   Publications   >   Details
Space 1x1

Publication Details

Heuristically Guided Equality Rule in a Resolution Theorem Prover

by Brice, Claude R. and Derksen, Jan A.

Technical Note 45R
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Jan 1971.

Note: SRI Project 8259. The research reported herein was sponsored by the Advanced Research Projects Agency and the National Aeronautics and Space Administration under Contract NAS12-2221.

Order an AIC Technical Note

   Abstract

A new way of handling the equality relation within the framework of a resolution theorem prover is described. The system uses a modification of Morris’ E-resolution, a rule of inference to handle equality, controlled by heuristic search techniques. The modification makes possible an implementation to which new rules of inference may be added easily.

   Electronic Copies

Adobe PDF

BibTeX

EndNote

   AIC Personnel

Name Title E-mail
Brice, Claude R. Alumnus
Derksen, Jan Alumnus

Spacer 1x1
Spacer 1x1
 
SRI International

©2008 SRI International, 333 RavenswoodAvenue, Menlo Park, CA 94025-3493
SRI International is a nonprofit corporation. Privacy policy