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 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