An Outlook on Truth Maintenance
Truth maintenance systems have been used in several recent problem solving systems to record justifications for deduced assertions, to track down the assumptions which underlie contradictions when they arise, and to incrementally modify assertional data structures when assumptions are retracte...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6327 |
| _version_ | 1811095680770375680 |
|---|---|
| author | McAllester, David A. |
| author_facet | McAllester, David A. |
| author_sort | McAllester, David A. |
| collection | MIT |
| description | Truth maintenance systems have been used in several recent problem solving systems to record justifications for deduced assertions, to track down the assumptions which underlie contradictions when they arise, and to incrementally modify assertional data structures when assumptions are retracted. A TMS algorithm is described here that is substantially different from previous systems. This algorithm performs deduction in traditional propositional logic in such a way that the premise set from which deduction is being done can be easily manipulated. A novel approach is also taken to the role of a TMS in larger deductive systems. In this approach the TMS performs all propositional deduction in a uniform manner while the larger system is responsible for controlling the instantiation of universally quantified formulae and axiom schemas. |
| first_indexed | 2024-09-23T16:24:17Z |
| id | mit-1721.1/6327 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:24:17Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/63272019-04-10T18:32:18Z An Outlook on Truth Maintenance McAllester, David A. Truth maintenance systems have been used in several recent problem solving systems to record justifications for deduced assertions, to track down the assumptions which underlie contradictions when they arise, and to incrementally modify assertional data structures when assumptions are retracted. A TMS algorithm is described here that is substantially different from previous systems. This algorithm performs deduction in traditional propositional logic in such a way that the premise set from which deduction is being done can be easily manipulated. A novel approach is also taken to the role of a TMS in larger deductive systems. In this approach the TMS performs all propositional deduction in a uniform manner while the larger system is responsible for controlling the instantiation of universally quantified formulae and axiom schemas. 2004-10-04T14:51:14Z 2004-10-04T14:51:14Z 1980-08-01 AIM-551 http://hdl.handle.net/1721.1/6327 en_US AIM-551 11604479 bytes 8252817 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | McAllester, David A. An Outlook on Truth Maintenance |
| title | An Outlook on Truth Maintenance |
| title_full | An Outlook on Truth Maintenance |
| title_fullStr | An Outlook on Truth Maintenance |
| title_full_unstemmed | An Outlook on Truth Maintenance |
| title_short | An Outlook on Truth Maintenance |
| title_sort | outlook on truth maintenance |
| url | http://hdl.handle.net/1721.1/6327 |
| work_keys_str_mv | AT mcallesterdavida anoutlookontruthmaintenance AT mcallesterdavida outlookontruthmaintenance |