| dc.contributor.author | Feldman, Yishai A. | |
| dc.contributor.author | Rich, Charles | |
| dc.date.accessioned | 2008-04-15T15:00:33Z | |
| dc.date.available | 2008-04-15T15:00:33Z | |
| dc.date.issued | 1987-05 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/41187 | |
| dc.description.abstract | 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 completeness of pattern-directed invocation with respect to equality. The second result is an algorithm which reduces a class of redundant proofs. | en |
| dc.description.sponsorship | MIT Artificial Intelligence Laboratory | en |
| dc.language.iso | en_US | en |
| dc.publisher | MIT Artificial Intelligence Laboratory | en |
| dc.relation.ispartofseries | MIT Artificial Intelligence Laboratory Working Papers, WP-296 | en |
| dc.title | The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency | en |
| dc.type | Working Paper | en |
