Reasoning with different levels of uncertainty

DOI10.3166/jancl.13.317-343zbMath1180.68268OpenAlexW2021610720MaRDI QIDQ3643259

Ofer Arieli

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.13.317-343

zbMATH Keywords

paraconsistencypreferential semanticsreasoning with uncertaintymultiple-valued logicscircumscriptive theorieslogical lattices

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Many-valued logic (03B50)

Related Items

A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION ⋮ Galois connections for bilattices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning with inconsistency
• Simple consequence relations
• Reasoning about truth
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• Minimally inconsistent LP
• What does a conditional knowledge base entail?
• Complete sets and the polynomial-time hierarchy
• The value of the four values
• Computing circumscription revisited: A reduction algorithm
• Paraconsistent declarative semantics for extended logic programs
• Reasoning with logical bilattices
• On the theory of inconsistent formal systems
• Nonmonotonic Logics and Semantics
• Kleene's Logic, Generalized
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Unrestricted preferential structures
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty