Reasoning with different levels of uncertainty

DOI10.3166/JANCL.13.317-343MaRDI QIDQ3643259zbMATH OpenOpenAlexFDO

Authors 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

circumscriptive theorieslogical latticesmultiple-valued logicsparaconsistencypreferential semanticsreasoning with uncertainty

Mathematics Subject Classification ID

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

Recommendations

• Reasoning about uncertainty
• scientific article; zbMATH DE number 2046116
• Uncertain reasoning
• Reasoning with Uncertainty in Continuous Domains
• Reasoning with ambiguity
• scientific article; zbMATH DE number 4185057
• Reasoning about uncertain conditionals
• Reasoning under uncertainty with FIR methodology
• scientific article; zbMATH DE number 1531962

Cites work

• A logic for reasoning with inconsistency
• Circumscription - a form of non-monotonic reasoning
• Complete sets and the polynomial-time hierarchy
• Computing circumscription revisited: A reduction algorithm
• General patterns for nonmonotonic reasoning: from basic entailments to plausible relations
• scientific article; zbMATH DE number 1735917 (Why is no real title available?)
• scientific article; zbMATH DE number 1735919 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 3039721 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Kleene's Logic, Generalized
• Minimally inconsistent LP
• Nonmonotonic logics and semantics
• Nonmonotonic reasoning, preferential models and cumulative logics
• On the theory of inconsistent formal systems
• Paraconsistent declarative semantics for extended logic programs
• Paraconsistent reasoning via quantified Boolean formulas. II: Circumscribing inconsistent theories
• Preferential logics for reasoning with graded uncertainty
• Reasoning about truth
• Reasoning with logical bilattices
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Simple consequence relations
• The value of the four values
• Unrestricted preferential structures
• What does a conditional knowledge base entail?

Cited in

(4)

• Galois connections for bilattices
• A BILATTICE-BASED FRAMEWORK FOR HANDLING GRADED TRUTH AND IMPRECISION
• Reasoning with Uncertainty in Continuous Domains
• Preferential logics for reasoning with graded uncertainty

This page was built for publication: Reasoning with different levels of uncertainty

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