An Outlook on Truth Maintenance

dc.creator	McAllester, David A.
dc.date	2004-10-04T14:51:14Z
dc.date	2004-10-04T14:51:14Z
dc.date	1980-08-01
dc.date.accessioned	2013-10-09T02:44:52Z
dc.date.available	2013-10-09T02:44:52Z
dc.date.issued	2013-10-09
dc.identifier	AIM-551
dc.identifier	http://hdl.handle.net/1721.1/6327
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description	Truth maintenance systems have been used in several recent problem solving systems to record justifications for deduced assertions, to track down the assumptions which underlie contradictions when they arise, and to incrementally modify assertional data structures when assumptions are retracted. A TMS algorithm is described here that is substantially different from previous systems. This algorithm performs deduction in traditional propositional logic in such a way that the premise set from which deduction is being done can be easily manipulated. A novel approach is also taken to the role of a TMS in larger deductive systems. In this approach the TMS performs all propositional deduction in a uniform manner while the larger system is responsible for controlling the instantiation of universally quantified formulae and axiom schemas.
dc.format	11604479 bytes
dc.format	8252817 bytes
dc.format	application/postscript
dc.format	application/pdf
dc.language	en_US
dc.relation	AIM-551
dc.title	An Outlook on Truth Maintenance

Files in this item

Files	Size	Format	View
There are no files associated with this item.