A logic with approximate conditional probabilities that can model default reasoning

Authors:
Miodrag Rašković;Zoran Marković;Zoran Ognjanović
Affiliations:
Matematički Institut, Kneza Mihaila 35, 11000 Beograd, Serbia;Matematički Institut, Kneza Mihaila 35, 11000 Beograd, Serbia;Matematički Institut, Kneza Mihaila 35, 11000 Beograd, Serbia
Venue:
International Journal of Approximate Reasoning
Year:
2008

Citing 16
Cited 6

Probabilistic logic

Artificial Intelligence
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Nonmonotonic reasoning, preferential models and cumulative logics

Artificial Intelligence
What does a conditional knowledge base entail?

Artificial Intelligence
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Qualitative probabilities for default reasoning, belief revision, and causal modeling

Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory

Artificial Intelligence
Some first-order probability logics

Theoretical Computer Science
Belief functions and default reasoning

Artificial Intelligence
Plausibility measures and default reasoning

Journal of the ACM (JACM)
Probabilistic Reasoning Under Coherence in System P

Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints

Annals of Mathematics and Artificial Intelligence
Probabilistic logic under coherence: complexity and algorithms

Annals of Mathematics and Artificial Intelligence
A probabilistic logic based on the acceptability of gambles

International Journal of Approximate Reasoning
Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation

International Journal of Approximate Reasoning
A probabilistic interpretation for lazy nonmonotonic reasoning

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1

Measures of inconsistency and defaults

International Journal of Approximate Reasoning
Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm

Fuzzy Sets and Systems
Probabilistic approach to nonmonotonic consequence relations

ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A branching time logic with two types of probability operators

SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Generalizing inference rules in a coherence-based probabilistic default reasoning

International Journal of Approximate Reasoning
A propositional probabilistic logic with discrete linear time for reasoning about evidence

Annals of Mathematics and Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents the proof-theoretical approach to a probabilistic logic which allows expressions about (approximate) conditional probabilities. The logic enriches propositional calculus with probabilistic operators which are applied to propositional formulas: CP"="s(@a,@b), CP"=