.png){kind=icon}
返回
A multivalued logic ATMS
.png){kind=icon}
OA
AI
DOI：10.1002/(SICI)1098-111X(199604)11:4<185::AID-INT1>3.0.CO;2-L.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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. (C) 1996 John Wiley & Sons, Inc.
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
