Linear-Input Subset Analysis

10 years 8 months ago
Linear-Input Subset Analysis
There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are performed. Three methods of detecting these situations are described in this paper. The first method (Horn subset analysis) focuses on Horn input chains while the second (LISS analysis) and third (LISL analysis) are successive generalisations of the first method. A significant benefit that may be derived from detecting linear-input subdeductions is the applicability of a truth value deletion strategy in such subdeductions. The completeness of the deletion strategy is proved, and its efficacy indicated.
Geoff Sutcliffe
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1992
Where CADE
Authors Geoff Sutcliffe
Comments (0)