Semantical Models for Evidential Frameworks

We introduce a new interpretation of the Dempster-Shafer theory using Kripke models. The interpretation maps different frames of discernment into directed graphs. The parallelism is useful as it allows one to use graph theory results for analyzing an 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 the Dempster-Shafer theory and thus contributes to developing a logic for it.