A simple logic for reasoning about incomplete knowledge
From MaRDI portal
Publication:2353977
DOI10.1016/j.ijar.2013.11.003zbMath1316.68151OpenAlexW1987520249MaRDI QIDQ2353977
Mohua Banerjee, Dubois, Didier
Publication date: 10 July 2015
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2013.11.003
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
On the relationship between fuzzy autoepistemic logic and fuzzy modal logics of belief, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, A modal theorem-preserving translation of a class of three-valued logics of incomplete information, On the relation between possibilistic logic and modal logics of belief and knowledge, Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts, Possibilistic reasoning with partially ordered beliefs, An elementary belief function logic, Counterfactuals as modal conditionals, and their probability, A quantitative approach to reasoning about incomplete knowledge, A Dempster-Shafer model of imprecise assertion strategies, A capacity-based semantics for inconsistency-tolerant inferences, Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic, Thick Sets, Multiple-Valued Mappings, and Possibility Theory, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, Borderline vs. unknown: comparing three-valued representations of imperfect information, A unified approach to four important classes of unary operators, A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information, On a strong negation-based representation of modalities, Conditional descriptor revision and its modelling by a CSP, Rethinking epistemic logic with belief bases, From Possibility Theory to Paraconsistency, Representing qualitative capacities as families of possibility measures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean algebras arising from information systems
- Possibilistic logic: a retrospective and prospective view
- Counterfactuals and comparative possibility
- Resolution principles in possibilistic logic
- An internal version of epistemic logic
- Semantical considerations on nonmonotonic logic
- Probabilistic logic
- Knowledge, belief and time
- Epistemic entrenchment and possibilistic logic
- Non-additive probabilities in the work of Bernoulli and Lambert
- Metamathematics of fuzzy logic
- Belief as defeasible knowledge
- Modal logics for qualitative possibility theory
- A logic for reasoning about probabilities
- Knowledge-driven versus data-driven logics
- All I know: A study in autoepistemic logic
- Kripke semantics for knowledge representation logics
- Possibility theory, probability theory and multiple-valued logics: a clarification
- Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
- Axiomatizing collective judgment sets in a minimal logical language
- Three-Valued Logics for Incomplete Information and Epistemic Logic
- A Simple Modal Logic for Reasoning about Revealed Beliefs
- Local possibilistic logic
- On Ignorance and Contradiction Considered as Truth-Values
