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...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6938 |
| _version_ | 1811068397992017920 |
|---|---|
| author | Barton, George Edward, Jr. |
| author_facet | Barton, George Edward, Jr. |
| author_sort | Barton, George Edward, Jr. |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T07:55:25Z |
| id | mit-1721.1/6938 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T07:55:25Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/69382019-04-09T15:32:50Z A Multiple-Context Equality-Based Reasoning System Barton, George Edward, Jr. 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. 2004-10-20T20:08:41Z 2004-10-20T20:08:41Z 1983-04-01 AITR-715 http://hdl.handle.net/1721.1/6938 en_US AITR-715 18995106 bytes 7221831 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Barton, George Edward, Jr. A Multiple-Context Equality-Based Reasoning System |
| title | A Multiple-Context Equality-Based Reasoning System |
| title_full | A Multiple-Context Equality-Based Reasoning System |
| title_fullStr | A Multiple-Context Equality-Based Reasoning System |
| title_full_unstemmed | A Multiple-Context Equality-Based Reasoning System |
| title_short | A Multiple-Context Equality-Based Reasoning System |
| title_sort | multiple context equality based reasoning system |
| url | http://hdl.handle.net/1721.1/6938 |
| work_keys_str_mv | AT bartongeorgeedwardjr amultiplecontextequalitybasedreasoningsystem AT bartongeorgeedwardjr multiplecontextequalitybasedreasoningsystem |