Evidential Reasoning in Annotated Logics
Seiki Akama, Jair Minoro Abe, Kazumi Nakamatsu · 2015
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.