A Multiple-Context Equality-Based Reasoning System

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 dea...

Full description

Bibliographic Details
Main Author: Barton, George Edward, Jr.
Language:en_US
Published: 2004
Online Access:http://hdl.handle.net/1721.1/6938