Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/6288
Full metadata record
DC FieldValueLanguage
dc.creatorDoyle, Jon-
dc.date2004-10-04T14:49:20Z-
dc.date2004-10-04T14:49:20Z-
dc.date1978-11-01-
dc.date.accessioned2013-10-09T02:44:37Z-
dc.date.available2013-10-09T02:44:37Z-
dc.date.issued2013-10-09-
dc.identifierAIM-461a-
dc.identifierhttp://hdl.handle.net/1721.1/6288-
dc.identifier.urihttp://koha.mediu.edu.my:8181/xmlui/handle/1721-
dc.descriptionTo 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.-
dc.format5982146 bytes-
dc.format4334075 bytes-
dc.formatapplication/postscript-
dc.formatapplication/pdf-
dc.languageen_US-
dc.relationAIM-461a-
dc.titleA Glimpse of Truth Maintenance-
Appears in Collections:MIT Items

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.