A logic with approximate conditional probabilities that can model default reasoning

DOI10.1016/j.ijar.2007.08.006zbMath1184.68520OpenAlexW2090424995MaRDI QIDQ2379314

Zoran Ognjanović, Zoran Marković, Miodrag Rašković

Publication date: 19 March 2010

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

Full work available at URL: https://doi.org/10.1016/j.ijar.2007.08.006

zbMATH Keywords

conditional probabilitydecidabilitydefault reasoningstrong completenessnon-standard analysisprobabilistic logicapproximate probability

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (20)

A p-adic probability logic ⋮ A logic of interactive proofs ⋮ \(p\)-adic probability logics ⋮ Logics with lower and upper probability operators ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ Multi-agent logics for reasoning about higher-order upper and lower probabilities ⋮ Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ Hierarchies of probabilistic logics ⋮ Conditional \(p\)-adic probability logic ⋮ Probabilistic Approach to Nonmonotonic Consequence Relations ⋮ Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm ⋮ The complexity of satisfiability in non-iterated and iterated probabilistic logics ⋮ Measures of inconsistency and defaults ⋮ Completeness theorems for \(\sigma \)-additive probabilistic semantics ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers ⋮ Logics with Probability Operators ⋮ Probabilistic Modeling of Default Reasoning ⋮ Some New Probability Operators ⋮ Applications of Logics About Simple Probabilities

Cites Work

• Unnamed Item
• Unnamed Item
• Completeness theorem for propositional probabilistic models whose measures have only finite ranges
• Probabilistic logic under coherence: complexity and algorithms
• A probabilistic logic based on the acceptability of gambles
• Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: complexity, algorithms, and implementation
• Probabilistic logic
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• The logic of conditionals. An application of probability to deductive logic
• Nonmonotonic reasoning, conditional objects and possibility theory
• Some first-order probability logics
• Belief functions and default reasoning
• Probabilistic reasoning under coherence in System P
• Probabilistic default reasoning with conditional constraints
• A logic for reasoning about probabilities
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Probability logic
• Some probability logics with new types of probability operators
• Reasoning about knowledge and probability
• Some considerations on the logics P_FD A logic combining modality and probability
• A probabilistic extension of intuitionistic logic
• Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in SystemP
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Plausibility measures and default reasoning
• Non-standard analysis

This page was built for publication: A logic with approximate conditional probabilities that can model default reasoning