Semantical considerations on nonmonotonic logic
Artificial Intelligence
Modal logic
Knowledge-Driven versus Data-Driven Logics
Journal of Logic, Language and Information
A fuzzy modal logic for belief functions
Fundamenta Informaticae
Reasoning About Knowledge
Fuzzy autoepistemic logic: reflecting about knowledge of truth degrees
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Generalized possibilistic logic
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Relevance and truthfulness in information correction and fusion
International Journal of Approximate Reasoning
Gradualness, uncertainty and bipolarity: Making sense of fuzzy sets
Fuzzy Sets and Systems
Three-Valued logics for incomplete information and epistemic logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Qualitative capacities as imprecise possibilities
ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
Rough Sets: Some Foundational Issues
Fundamenta Informaticae - To Andrzej Skowron on His 70th Birthday
Hi-index | 0.00 |
Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of classical logic. This paper proposes a simple logic whose atoms are beliefs and formulae are conjunctions, disjunctions and negations of beliefs. It enables an agent to reason about some beliefs of another agent as revealed by the latter. This logic, called MEL , borrows its axioms from the modal logic KD , but it is an encapsulation of propositional logic rather than an extension thereof. Its semantics is given in terms of subsets of interpretations, and the models of a formula in MEL is a family of such non-empty subsets. It captures the idea that while the consistent epistemic state of an agent about the world is represented by a non-empty subset of possible worlds, the meta-epistemic state of another agent about the former's epistemic state is a family of such subsets. We prove that any family of non-empty subsets of interpretations can be expressed as a single formula in MEL . This formula is a symbolic counterpart of the Möbius transform in the theory of belief functions.