Show simple item record

A Three Valued Truth Maintenance System

dc.date.accessioned2004-10-04T14:49:36Z
dc.date.accessioned2018-11-24T10:12:47Z
dc.date.available2004-10-04T14:49:36Z
dc.date.available2018-11-24T10:12:47Z
dc.date.issued1978-05-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6296
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6296
dc.description.abstractTruth 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.en_US
dc.format.extent8637180 bytes
dc.format.extent6402046 bytes
dc.language.isoen_US
dc.titleA Three Valued Truth Maintenance Systemen_US


Files in this item

FilesSizeFormatView
AIM-473.pdf6.402Mbapplication/pdfView/Open
AIM-473.ps8.637Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record