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...
| 主要作者: | |
|---|---|
| 語言: | en_US |
| 出版: |
2004
|
| 在線閱讀: | http://hdl.handle.net/1721.1/6288 |