Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic

DOI10.1007/S00500-012-0833-5MaRDI QIDQ2391898zbMATH OpenOpenAlexFDO

Authors Didier Dubois

Publication date 5 August 2013

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00500-012-0833-5

zbMATH Keywords

epistemic logicinconsistencypossibility theorythree-valued logicpartial knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Many-valued logic (03B50) Logic in artificial intelligence (68T27)

Recommendations

• On Ignorance and Contradiction Considered as Truth-Values
• From possibility theory to paraconsistency
• Three-valued logics for incomplete information and epistemic logic
• Logical foundations of evidential reasoning with contradictory information
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond

Cites work

• scientific article; zbMATH DE number 3930375 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 193123 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1420893 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Author's response to Wansing and Belnap's Generalized truth-values
• Bilattices and the semantics of logic programming
• Bipolarity in bilattice logics
• Degrees of Truth, Ill-Known Sets and Contradiction
• Epistemology without knowledge and without belief
• Generalized truth values.: A reply to Dubois
• Gradualness, uncertainty and bipolarity: making sense of fuzzy sets
• Intuitive semantics for first-degree entailments and `coupled trees'
• Metamathematics of fuzzy logic
• On Ignorance and Contradiction Considered as Truth-Values
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Probability logic
• The Logic of Risky Knowledge
• Triangle algebras: A formal logic approach to interval-valued residuated lattices
• Varieties of modal (classificatory) and comparative probability

Cited in

(18)

• A capacity-based semantics for inconsistency-tolerant inferences
• An epistemic interpretation of paraconsistent weak Kleene logic
• Borderline vs. unknown: comparing three-valued representations of imperfect information
• Towards a Logic of Value and Disagreement via Imprecise Measures
• Towards fuzzy partial set theory
• Variable-domain fuzzy sets. I: Representation
• Three-valued logics for incomplete information and epistemic logic
• On Ignorance and Contradiction Considered as Truth-Values
• A simple logic for reasoning about incomplete knowledge
• Altenatives to Kripke semantics for epistemic logic
• Knowledge, Uncertainty and Ignorance in Logic: Bilattices and beyond
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Logical foundations of evidential reasoning with contradictory information
• scientific article; zbMATH DE number 6685485 (Why is no real title available?)
• From possibility theory to paraconsistency
• Representations of uncertainty in artificial intelligence: probability and possibility
• Representing qualitative capacities as families of possibility measures
• A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information

This page was built for publication: Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391898)