Semantical models for Dempster-Shafer theory

Dmitri Iourinski

Middlesex University

Abstract

We introduce a new interpretation of Dempster-Shafer theory using
Kripke models. The interpretation allows to map different frames of
discernment into directed graphs. The parallelism is useful as it
allows to use graph theory results for analyzing evidential setup. The
proposed interpretation also translates Dempster-Shafer evidence
combination rule into Kripke models. The interpretation serves as a
starting point for the semantical analysis of Dempster-Shafer
theory. Semantical analysis of Dempster-Shafer theory helps to find
the axiomatization of the corresponding propositional language and
thus contributes to developing a logic for it. If time allows we will
also analyze the completeness of this logic.