๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A multivalued logic ATMS

โœ Scribed by J. L. Castro; J. M. Zurita


Publisher
John Wiley and Sons
Year
1998
Tongue
English
Weight
786 KB
Volume
11
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

โœฆ Synopsis


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.


๐Ÿ“œ SIMILAR VOLUMES


A generic ATMS
โœ Juan Luis Castro; Jose Manuel Zurita ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 975 KB
Multivalued Logic Gates Based on DNA
โœ Dr. Fang Pu; Prof.โ€…Dr. Jinsong Ren; Xinjian Yang; Prof.โ€…Dr. Xiaogang Qu ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 536 KB
Evidence theory in multivalued logic sys
โœ Qing Zhu; E. Stanley Lee ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 577 KB

A systematical framework of uncertainty reasoning is proposed based on multivalued logic and Dempster-Shafer's evidence, theory. The uncertainty of the truth value of a proposition is modeled by the use of basic probability assignment over the truth value space [0,1]. This basic probability assignme