Book ChapterDOI
Four-Valued Interpretation for Paraconsistent Annotated Evidential Logic
TLDR
In this article , an extended version of evidential annotated logics, T4E, was proposed by adopting rough set theory for a semantic interpretation of truth value and constructing another deductive system using tableau calculus adding some operations MAX and MIN.Abstract:
The paraconsistent annotated evidential logic E $$_{\tau }$$ has been studied based on one of the applications of Paraconsistent Annotated Logic. We propose an enhanced logical system T4E $$_{\tau }$$ , an extended version of evidential annotated logics E $$_{\tau }$$ , by adopting rough set theory for a semantic interpretation of truth-value and constructing another deductive system using tableau calculus adding some operations MAX and MIN. We also discuss the possibilities of applications of T4E $$_{\tau }$$ to incorporate general decision logic. read more
References
More filters
BookDOI
Introduction to Annotated Logics
TL;DR: The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science.
BookDOI
Paraconsistent Intelligent-Based Systems
TL;DR: In this article, the authors present some of the latest applications of new theories based on the concept of paraconsistency and correlated topics in informatics, such as pattern recognition (bioinformatics), robotics, decision-making themes, and sample size.
Journal ArticleDOI
Four-valued Tableau Calculi for Decision Logic of Rough Set
TL;DR: To provide four-valued semantics to decision logic of rough set, a Ziarko’s variable precision rough set is introduced and weak-negation is introduced to compensate the deduction property of four-value logics.
Proceedings ArticleDOI
Evidential Reasoning in Annotated Logics
TL;DR: This work proposes evidential annotated logics Et for evidential reasoning which is based on beliefs and disbeliefs and introduces uncertainty and certainty degrees for practical application.