Oriented consensus methods for internally disjunctive production rules

Author

Lloyd F. Arrowood

Date of Award

8-1989

Degree Type

Thesis

Degree Name

Master of Science

Major

Computer Science

Major Professor

J. R. B. Cockett

Committee Members

Jean R. S. Blair, William J. McClain

Abstract

Several consensus methods have been studied and modified to process internally disjunctive production rules. Oriented consensus methods have been developed which retain information concerning the intended use of production rules. The behavior of oriented consensus is studied, and an antecedent-to-antecedent consensus is defined to be a widening. Widenings can be distributed throughout a proof such that no widening occurs before any other consensus. In fact, it is shown that the widenings themselves can be distributed when the consensus is at distinct attributes. We examine the effects of preventing aU widenings from occurring during the generation of prime rules.

Recommended Citation

Arrowood, Lloyd F., "Oriented consensus methods for internally disjunctive production rules. " Master's Thesis, University of Tennessee, 1989.
https://trace.tennessee.edu/utk_gradthes/12880