Decision Logic based on Annotated Evidential Logic

Abstract

Annotated evidential logic has been studied as a basic theory for dealing with the evidence of propositions and the degree of certainty of beliefs. In this paper, we examine to compare the interpretation of truth-value of propositions in annotated evidential logic with the interpretation of uncertainty by the approximation of variable precision rough set. Using a characteristic function based on the interpretation of a rough set extended to four-value logic, we give truth-value interpretation considering uncertainty for propositions. We also show that a deduction system of annotated evidential logic based on rough sets and discuss an application for annotated evidential logic with semantics interpretation with rough sets.