A study of SL-resolution for automatic theorem-proving

Simple item page
dc.contributor.advisorAnderson, Robert B.
dc.contributor.committeeMemberHuang, Jung-Chang
dc.contributor.committeeMemberSchmidt, Jürgen
dc.creatorAu Yeung Woon Chi, Mary
dc.date.accessioned2022-06-28T21:46:16Z
dc.date.available2022-06-28T21:46:16Z
dc.date.issued1972
dc.description.abstractAutomatic theorem-proving by resolution was first proposed by J. A. Robinson in 1965. Since then, quite a number of restricted versions of resolution have been proposed all with the aim of providing more efficient proof procedures. In this paper, SL-resolution - linear resolution with selection function - recently proposed by Kowalski and Keuhner, is studied. A version of SL-resolution was implemented by means of a LISP program, and its efficiency tested on a number of examples. In the original paper, a long and tedious proof for the completeness of this inference system was given. A more elegant proof is given here, using the basic technique developed by Anderson and Bledsoe.
dc.description.departmentComputer Science, Department of
dc.format.digitalOriginreformatted digital
dc.format.mimetypeapplication/pdf
dc.identifier.other13678754
dc.identifier.urihttps://hdl.handle.net/10657/10140
dc.language.isoen
dc.rightsThis item is protected by copyright but is made available here under a claim of fair use (17 U.S.C. Section 107) for non-profit research and educational purposes. Users of this work assume the responsibility for determining copyright status prior to reusing, publishing, or reproducing this item for purposes other than what is allowed by fair use or other copyright exemptions. Any reuse of this item in excess of fair use or other copyright exemptions requires express permission of the copyright holder.
dc.titleA study of SL-resolution for automatic theorem-proving
dc.type.dcmiText
dc.type.genreThesis
thesis.degree.collegeCollege of Arts and Sciences
thesis.degree.departmentComputer Science, Department of
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Houston
thesis.degree.levelMasters
thesis.degree.nameMaster of Science

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
AuYeungWoonChi_1972_13678754.pdf
Size:
1.85 MB
Format:
Adobe Portable Document Format
Download

Collections

Legacy Theses and Dissertations (1940-2009)