A Glimpse of Truth Maintenance
To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth maintenance system is a problem solver subsystem for performing these functions by recording and...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/6288 |
| _version_ | 1826215903419695104 |
|---|---|
| author | Doyle, Jon |
| author_facet | Doyle, Jon |
| author_sort | Doyle, Jon |
| collection | MIT |
| description | To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth maintenance system is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. These recorded reasons are useful in constructing explanations of program actions in "responsible" programs, and in guiding the course of action of a problem solver. This paper describes the structure of a truth maintenance system, methods for encoding control structures in patterns of reasons for beliefs, and the method of dependency-directed backtracking. |
| first_indexed | 2024-09-23T16:38:52Z |
| id | mit-1721.1/6288 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:38:52Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/62882019-04-12T08:30:03Z A Glimpse of Truth Maintenance Doyle, Jon To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth maintenance system is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. These recorded reasons are useful in constructing explanations of program actions in "responsible" programs, and in guiding the course of action of a problem solver. This paper describes the structure of a truth maintenance system, methods for encoding control structures in patterns of reasons for beliefs, and the method of dependency-directed backtracking. 2004-10-04T14:49:20Z 2004-10-04T14:49:20Z 1978-11-01 AIM-461a http://hdl.handle.net/1721.1/6288 en_US AIM-461a 5982146 bytes 4334075 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/6288 |
| work_keys_str_mv | AT doylejon aglimpseoftruthmaintenance AT doylejon glimpseoftruthmaintenance |