Accession Number : ADA132369

Title :   A Multiple-Context Equality-Based Reasoning System.

Descriptive Note : Technical rept.,


Personal Author(s) : Barton,George Edward , Jr

PDF Url : ADA132369

Report Date : Apr 1983

Pagination or Media Count : 147

Abstract : 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 sorted 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. (Author)

Descriptors :   *Artificial intelligence, *Reasoning, *Computer logic, Logic devices, Logic elements, Problem solving, Decision making, Computer programming, Grammars, Linguistics

Subject Categories : Linguistics
      Human Factors Engineering & Man Machine System

Distribution Statement : APPROVED FOR PUBLIC RELEASE