A multivalued logic ATMS

The aim of this article is to design a truth maintenance system (TMS) which allows us to overcome some of the shortcomings of the use of multivalued logic versus classical logic in the deduction process. The detection of inconsistencies, belief revision, and justification of results obtained are some of these shortcomings. The notion of context associated to a specific proposition is incorporated. © 1996 John Wiley & Sons, Inc.