Semantical considerations on nonmonotonic logic
Artificial Intelligence
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
All I know: a study in autoepistemic logic
Artificial Intelligence
Resolution principles in possibilistic logic
International Journal of Approximate Reasoning
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Towards a theory of knowledge and ignorance: preliminary report
Logics and models of concurrent systems
Epistemic entrenchment and possibilistic logic
Artificial Intelligence
Belief as defeasible knowledge
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification
Annals of Mathematics and Artificial Intelligence
Knowledge-Driven versus Data-Driven Logics
Journal of Logic, Language and Information
A modal analysis of possibility theory
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
Reasoning About Knowledge
A Simple Modal Logic for Reasoning about Revealed Beliefs
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Defining relative likelihood in partially-ordered preferential structures
Journal of Artificial Intelligence Research
Iterated theory base change: a computational model
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Generalized possibilistic logic
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
On modal logics for qualitative possibility in a fuzzy setting
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
A Fuzzy Modal Logic for Belief Functions
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Three-Valued logics for incomplete information and epistemic logic
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
The semantics of modal logics for reasoning about belief or knowledge is often described in terms of accessibility relations, which is too expressive to account for mere epistemic states of an agent. This paper proposes a simple logic whose atoms express epistemic attitudes about formulae expressed in another basic propositional language, and that allows for conjunctions, disjunctions and negations of belief or knowledge statements. It allows an agent to reason about what is known about the beliefs held by another agent. This simple epistemic logic borrows its syntax and axioms from the modal logic KD. It uses only a fragment of the S5 language, which makes it a two-tiered propositional logic rather than as an extension thereof. Its semantics is given in terms of epistemic states understood as subsets of mutually exclusive propositional interpretations. Our approach offers a logical grounding to uncertainty theories like possibility theory and belief functions. In fact, we define the most basic logic for possibility theory as shown by a completeness proof that does not rely on accessibility relations.