Modal logic interpretation of Dempster-Shafer theory: An infinite case
From MaRDI portal
Publication:1809349
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)
possibility theory; modal logic; Dempster-Shafer theory; possibility measures; plausibility measures; necessity measures; belief measures
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