The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency
We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction between these mechanisms. The first result is an algorithm which ensures the...
| Autors principals: | , |
|---|---|
| Format: | Working Paper |
| Idioma: | en_US |
| Publicat: |
MIT Artificial Intelligence Laboratory
2008
|
| Accés en línia: | http://hdl.handle.net/1721.1/41187 |