A Three Valued Truth Maintenance System
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 mo...
Main Author: | McAllester, David A. |
---|---|
Language: | en_US |
Published: |
2004
|
Online Access: | http://hdl.handle.net/1721.1/6296 |
Similar Items
-
An Outlook on Truth Maintenance
by: McAllester, David A.
Published: (2004) -
ONTIC: A Knowledge Representation System for Mathematics
by: McAllester, David Allen
Published: (2004) -
Automatic Recognition of Tractability in Inference Relations
by: McAllester, David
Published: (2004) -
Grammar Rewriting
by: McAllester, David
Published: (2004) -
Observations on Cognitive Judgments
by: McAllester, David
Published: (2004)