Reasoning with different levels of uncertainty
From MaRDI portal
Publication:3643259
DOI10.3166/jancl.13.317-343zbMath1180.68268MaRDI QIDQ3643259
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
paraconsistency; preferential semantics; reasoning with uncertainty; multiple-valued logics; circumscriptive theories; logical lattices
68T27: Logic in artificial intelligence
68T37: Reasoning under uncertainty in the context of artificial intelligence
03B50: Many-valued logic
Related Items
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