Premium
On modal logic interpretation of Dempster–Shafer theory of evidence
Author(s) -
Harmanec David,
Klir George J.,
Resconi Germano
Publication year - 1994
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.4550091003
Subject(s) - dempster–shafer theory , modal logic , modal , interpretation (philosophy) , function (biology) , computer science , artificial intelligence , mathematics , discrete mathematics , algorithm , algebra over a field , pure mathematics , chemistry , evolutionary biology , polymer chemistry , biology , programming language
This article further develops one branch of research initiated in an article by Resconi, Klir, and St. Clair (G. Resconi, G. J. Klir, and U. St. Clair, Int. J. Gen. Syst ., 21 (1), 23‐50 (1992) and continued in another article by Resconi et al. ( Int. J. Uncertainty, Fuzziness and Knowledge‐Based Systems , 1 (1), 1993). It fully formulates an interpretation of the Dempster‐Shafer theory in terms of the standard semantics of modal logic. It is shown how to represent the basic probability assignment function as well as the commonality function of the Dempster‐Shafer theory by modal logic and that this representation is complete for rational‐valued functions (basic assignment, belief, or plausibility functions). © 1994 John Wiley & Sons, Inc.