A Glimpse of Truth Maintenance
dc.date.accessioned | 2004-10-04T14:48:43Z | |
dc.date.accessioned | 2018-11-24T10:12:45Z | |
dc.date.available | 2004-10-04T14:48:43Z | |
dc.date.available | 2018-11-24T10:12:45Z | |
dc.date.issued | 1978-02-01 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/6287 | |
dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/6287 | |
dc.description.abstract | 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. | en_US |
dc.format.extent | 4556060 bytes | |
dc.format.extent | 3391416 bytes | |
dc.language.iso | en_US | |
dc.title | A Glimpse of Truth Maintenance | en_US |
Files in this item
Files | Size | Format | View |
---|---|---|---|
AIM-461.pdf | 3.391Mb | application/pdf | View/ |
AIM-461.ps | 4.556Mb | application/postscript | View/ |