Disjunctions in forward chaining logic programming Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/9z903227h

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • 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 Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
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

In Administrative Set:
Last modified: 08/04/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items