Evidential Reasoning in Annotated Logics

Annotated logics were proposed as foundations for Para consistent logic programming, and later studied as a class of non-classical logics. We propose evidential annotated logics Et for evidential reasoning which is based on beliefs and disbeliefs. We give a formal presentation of Et and introduce uncertainty and certainty degrees for practical application.