Premium
A multivalued logic ATMS
Author(s) -
Castro J. L.,
Zurita J. M.
Publication year - 1996
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/(sici)1098-111x(199604)11:4<185::aid-int1>3.0.co;2-l
Subject(s) - proposition , context (archaeology) , computer science , process (computing) , artificial intelligence , epistemology , programming language , philosophy , paleontology , biology
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.