Modal logic interpretation of Dempster-Shafer theory: An infinite case

DOI10.1016/0888-613X(95)00111-SzbMath0935.03035MaRDI QIDQ1809349

David Harmanec, Zhenyuan Wang, George J. Klir

Publication date: 20 December 1999

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

possibility theory; modal logic; Dempster-Shafer theory; possibility measures; plausibility measures; necessity measures; belief measures

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

68T30: Knowledge representation

Related Items

Evidence theory in multivalued models of modal logic, Using genetic algorithms to determine nonnegative monotone set functions for information fusion in environments with random perturbation, Constructing fuzzy measures in expert systems, Dempster's rule of conditioning translated into modal logic, A genetic algorithm for determining nonadditive set functions in information fusion, A context model for fuzzy concept analysis based upon modal logic., Analyzing the degree of conflict among belief functions, EVIDENCE MEASURES INDUCED BY KRIPKE'S ACCESSIBILITY RELATIONS

Cites Work

• Allocations of probability
• Fonctions croissantes et mesures sur les espaces topologiques ordonnes
• Reasoning with belief functions: An analysis of compatibility
• Default reasoning and possibility theory
• Modal logics for qualitative possibility theory
• A logic for reasoning about probabilities
• On the semantics of fuzzy logic
• A QUALITATIVE BELIEF LOGIC
• ON MODAL LOGIC INTERPRETATION OF POSSIBILITY THEORY
• ON THE INTEGRATION OF UNCERTAINTY THEORIES
• HIERARCHICAL UNCERTAINTY METATHEORY BASED UPON MODAL LOGIC
• Reasoning about knowledge and probability
• On modal logic interpretation of Dempster–Shafer theory of evidence
• GETTING BELIEF FUNCTIONS FROM KRIPKE MODELS
• On an abstract Stieltjes measure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item