A Multiple-Context Equality-Based Reasoning System

Item

Title: en_US A Multiple-Context Equality-Based Reasoning System
Creator: en_US Barton, George Edward, Jr.
Date: 2004-10-20T20:08:41Z
Date Available: 2004-10-20T20:08:41Z
Date Issued: en_US 1983-04-01
Identifier: en_US AITR-715
uri: http://hdl.handle.net/1721.1/6938
Abstract: en_US Expert systems are too slow. This work attacks that problem by speeding up a useful system component that remembers facts and tracks down simple consequences. The redesigned component can assimilate new facts more quickly because it uses a compact, grammar-based internal representation to deal with whole classes of equivalent expressions at once. It can support faster hypothetical reasoning because it remembers the consequences of several assumption sets at once. The new design is targeted for situations in which many of the stored facts are equalities. The deductive machinery considered here supplements stored premises with simple new conclusions. The stored premises include permanently asserted facts and temporarily adopted assumptions. The new conclusions are derived by substituting equals for equals and using the properties of the logical connectives AND, Or, and NOT. The deductive system provides supporting premises for its derived conclusions. Reasoning that involves quantifiers is beyond the scope of its limited and automatic operation. The expert system of which the reasoning system is a component is expected to be responsible for overall control of reasoning.
Extent: 18995106 bytes; 7221831 bytes
Format: application/postscript; application/pdf
Language: en_US
Relation: en_US AITR-715

Item sets: AI Technical Reports (1964 - 2004)