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 |