Graduate Thesis Or Dissertation

 

Disjunctions in forward chaining logic programming Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/9z903227h

Descriptions

Attribute NameValues
Creator
Abstract
  • A forward-chaining logic programming system (FORLOG) has been developed at Oregon State University. This system coupled with an assumption-based truth maintenance system (ATMS), provides an alternative to the logic programming paradigm of backward-chaining with Horn clauses. To compare FORLOG to this paradigm, we define a subset of FORLOG, called mini-FORLOG, with a restricted syntax. This syntax is derived in a straight forward manner from a Horn clause program. We prove that mini-FORLOG is procedurally isomorphic to Horn clause programming. Logic programs derived from Horn clause programs contain implications with disjunctive consequences. Each disjunct may either lead to a solution or to a contradiction. We want FORLOG to choose only those that lead to solutions. In an attempt to remove the nondeterminism inherent in this choice, FORLOG compiles implications into several simpler ones, all void of disjunctions. Even with compilation, FORLOG often must pursue each nondeterministic choice, some of which may turn out to be contradictory. This requires FORLOG to handle discovered inconsistencies. With traditional logic, the existence of an inconsistency invalidates all deductions made. FORLOG uses the ATMS to maintain consistency of its database of facts. One alternative in a disjunction might not terminate. It turns out that FORLOG can use contradictions discovered during computation to avoid some of these cases. This process involves resolving the disjunctions with discovered contradictions.
Resource Type
Date Available
Date Issued
Degree Level
Degree Name
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Digitization Specifications
  • File scanned at 300 ppi (Monochrome) using ScandAll PRO 1.8.1 on a Fi-6770A in PDF format. CVista PdfCompressor 5.0 was used for pdf compression and textual OCR.
Replaces
Additional Information
  • description.provenance : Made available in DSpace on 2013-06-27T18:32:27Z (GMT). No. of bitstreams: 1 CorpronDanielR1987.pdf: 453265 bytes, checksum: de2c459aa861c90bd305a706d6a14918 (MD5) Previous issue date: 1986-11-26
  • description.provenance : Submitted by Kim Stowell (ksscannerosu@gmail.com) on 2013-06-26T16:40:04Z No. of bitstreams: 1 CorpronDanielR1987.pdf: 453265 bytes, checksum: de2c459aa861c90bd305a706d6a14918 (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2013-06-27T18:32:27Z (GMT) No. of bitstreams: 1 CorpronDanielR1987.pdf: 453265 bytes, checksum: de2c459aa861c90bd305a706d6a14918 (MD5)
  • description.provenance : Approved for entry into archive by Patricia Black(patricia.black@oregonstate.edu) on 2013-06-27T17:40:57Z (GMT) No. of bitstreams: 1 CorpronDanielR1987.pdf: 453265 bytes, checksum: de2c459aa861c90bd305a706d6a14918 (MD5)

Relationships

Parents:

This work has no parents.

In Collection:

Items