A Three Valued Truth Maintenance System

dc.creator	McAllester, David A.
dc.date	2004-10-04T14:49:36Z
dc.date	2004-10-04T14:49:36Z
dc.date	1978-05-01
dc.date.accessioned	2013-10-09T02:44:46Z
dc.date.available	2013-10-09T02:44:46Z
dc.date.issued	2013-10-09
dc.identifier	AIM-473
dc.identifier	http://hdl.handle.net/1721.1/6296
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description	Truth maintenance systems have been used in recently developed problem solving systems. A truth maintenance system (TMS) is designed to be used by deductive systems to maintain the logical relations among the beliefs which those systems manipulate. These relations are used to incrementally modify the belief structure when premises are changed, giving a more flexible context mechanism than has been present in earlier artificial intelligence systems. The relations among beliefs can also be used to directly trace the source of contradictions or failures, resulting in far more efficient backtracking.
dc.format	8637180 bytes
dc.format	6402046 bytes
dc.format	application/postscript
dc.format	application/pdf
dc.language	en_US
dc.relation	AIM-473
dc.title	A Three Valued Truth Maintenance System

Files in this item

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