Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6287Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.creator | Doyle, Jon | - |
| dc.date | 2004-10-04T14:48:43Z | - |
| dc.date | 2004-10-04T14:48:43Z | - |
| dc.date | 1978-02-01 | - |
| dc.date.accessioned | 2013-10-09T02:44:37Z | - |
| dc.date.available | 2013-10-09T02:44:37Z | - |
| dc.date.issued | 2013-10-09 | - |
| dc.identifier | AIM-461 | - |
| dc.identifier | http://hdl.handle.net/1721.1/6287 | - |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | - |
| dc.description | Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made. This results in bits and pieces of deductions being strewn throughout the program text and execution. This paper describes a problem solver subsystem called a truth maintenance system which collects and maintains these bits of deductions. Automatic functions of the truth maintenance system then use these pieces of "proofs" to consistently update a data base of program beliefs and to perform a powerful form of backtracking called dependency-directed backtracking. | - |
| dc.format | 4556060 bytes | - |
| dc.format | 3391416 bytes | - |
| dc.format | application/postscript | - |
| dc.format | application/pdf | - |
| dc.language | en_US | - |
| dc.relation | AIM-461 | - |
| dc.title | A Glimpse of Truth Maintenance | - |
| Appears in Collections: | MIT Items | |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.