A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information

DOI10.1016/j.ijar.2018.12.014zbMath1456.68186OpenAlexW2910335697WikidataQ128631195 ScholiaQ128631195MaRDI QIDQ1999580

Davide Ciucci, Dubois, Didier

Publication date: 27 June 2019

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://oatao.univ-toulouse.fr/24757/1/ciucci_24757.pdf

zbMATH Keywords

possibility theorymodal logicinconsistency handlingcapacitiesBelnap-Dunn logicKleene logicPriest logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (2)

Qualitative capacities: basic notions and potential applications ⋮ A capacity-based semantics for inconsistency-tolerant inferences

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set functions, games and capacities in decision making
• The logic of risky knowledge, reprised
• Logic based merging
• Ideal paraconsistent logics
• Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
• Logic of paradox revisited
• Axiomatizing the logic of comparative probability
• Varieties of modal (classificatory) and comparative probability
• The logic of paradox
• Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
• An algebraic view of super-Belnap logics
• Intuitive semantics for first-degree entailments and `coupled trees'
• Nothing but the truth
• On the informational comparison of qualitative fuzzy measures
• Representing qualitative capacities as families of possibility measures
• A simple logic for reasoning about incomplete knowledge
• Paraconsistent logic: consistency, contradiction and negation
• Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic
• A two-tiered propositional framework for handling multisource inconsistent information
• On inference from inconsistent premisses
• Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem
• Generalized truth values.: A reply to Dubois
• Bipolarity in bilattice logics
• Processing Information from a Set of Sources
• A Simple Modal Logic for Reasoning about Revealed Beliefs
• Bilattices and the semantics of logic programming
• Belnap's Four-Valued Logic and De Morgan Lattices
• An infinity of super-Belnap logics
• A modal theorem-preserving translation of a class of three-valued logics of incomplete information
• Characterizing Belnap's Logic via De Morgan's Laws
• Logics of Formal Inconsistency
• From Possibility Theory to Paraconsistency
• On Ignorance and Contradiction Considered as Truth-Values
• Separable qualitative capacities

This page was built for publication: A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information