A Truth Maintenance System
To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is a problem solver subsystem for performing these functions by recording and maintaining the re...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2004
|
| Online Access: | http://hdl.handle.net/1721.1/5733 |
| _version_ | 1826198056598503424 |
|---|---|
| author | Doyle, Jon |
| author_facet | Doyle, Jon |
| author_sort | Doyle, Jon |
| collection | MIT |
| description | To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. Such recorded reasons are useful in constructing explanations of program actions in guiding the course of action of a problem solver. This paper describes (1) the representations and structure of the TMS, (2) the mechanisms used to revise the current set of beliefs, (3) how dependency-directed backtracking changes the current set of assumptions, (4) techniques for summarizing explanations of beliefs, (5) how to organize problem solvers into "dialectically arguing" modules, (6) how to revise models of the belief systems of others, and (7) methods for embedding control structures in patterns of assumptions. We stress the need of problem solvers to choose between alternative systems of beliefs, and outline a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do. |
| first_indexed | 2024-09-23T10:58:10Z |
| id | mit-1721.1/5733 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T10:58:10Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/57332019-04-12T08:27:23Z A Truth Maintenance System Doyle, Jon To choose their actions, reasoning programs must be able to make assumptions and subsequently revise their beliefs when discoveries contradict these assumptions. The Truth Maintenance System (TMS) is a problem solver subsystem for performing these functions by recording and maintaining the reasons for program beliefs. Such recorded reasons are useful in constructing explanations of program actions in guiding the course of action of a problem solver. This paper describes (1) the representations and structure of the TMS, (2) the mechanisms used to revise the current set of beliefs, (3) how dependency-directed backtracking changes the current set of assumptions, (4) techniques for summarizing explanations of beliefs, (5) how to organize problem solvers into "dialectically arguing" modules, (6) how to revise models of the belief systems of others, and (7) methods for embedding control structures in patterns of assumptions. We stress the need of problem solvers to choose between alternative systems of beliefs, and outline a mechanism by which a problem solver can employ rules guiding choices of what to believe, what to want, and what to do. 2004-10-01T20:33:09Z 2004-10-01T20:33:09Z 1979-06-01 AIM-521 http://hdl.handle.net/1721.1/5733 en_US AIM-521 45 p. 18867500 bytes 14321408 bytes application/postscript application/pdf application/postscript application/pdf |
| spellingShingle | Doyle, Jon A Truth Maintenance System |
| title | A Truth Maintenance System |
| title_full | A Truth Maintenance System |
| title_fullStr | A Truth Maintenance System |
| title_full_unstemmed | A Truth Maintenance System |
| title_short | A Truth Maintenance System |
| title_sort | truth maintenance system |
| url | http://hdl.handle.net/1721.1/5733 |
| work_keys_str_mv | AT doylejon atruthmaintenancesystem AT doylejon truthmaintenancesystem |