Truth Maintenance Systems for Problem Solving
The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the consistency of program beliefs, (2) realize substantial search efficiencies, an...
| Hlavní autor: | |
|---|---|
| Jazyk: | en_US |
| Vydáno: |
2004
|
| On-line přístup: | http://hdl.handle.net/1721.1/6926 |