A Glimpse of Truth Maintenance
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 exec...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6287 |
| _version_ | 1826214554491682816 |
|---|---|
| author | Doyle, Jon |
| author_facet | Doyle, Jon |
| author_sort | Doyle, Jon |
| collection | MIT |
| 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. |
| first_indexed | 2024-09-23T16:07:19Z |
| id | mit-1721.1/6287 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:07:19Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/62872019-04-12T08:30:02Z A Glimpse of Truth Maintenance Doyle, Jon 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. 2004-10-04T14:48:43Z 2004-10-04T14:48:43Z 1978-02-01 AIM-461 http://hdl.handle.net/1721.1/6287 en_US AIM-461 4556060 bytes 3391416 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Doyle, Jon A Glimpse of Truth Maintenance |
| title | A Glimpse of Truth Maintenance |
| title_full | A Glimpse of Truth Maintenance |
| title_fullStr | A Glimpse of Truth Maintenance |
| title_full_unstemmed | A Glimpse of Truth Maintenance |
| title_short | A Glimpse of Truth Maintenance |
| title_sort | glimpse of truth maintenance |
| url | http://hdl.handle.net/1721.1/6287 |
| work_keys_str_mv | AT doylejon aglimpseoftruthmaintenance AT doylejon glimpseoftruthmaintenance |