A logic with coherent conditional probabilities

Authors:
Nebojša Ikodinović;Zoran Ognjanović
Affiliations:
Department of Mathematics and Informatics, Faculty of Science, Kragujevac, Serbia and Montenegro;Mathematical Institute, Belgrade, Serbia and Montenegro
Venue:
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2005

Citing 6
Cited 1

Probabilistic logic

Artificial Intelligence
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Some first-order probability logics

Theoretical Computer Science
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

A complete probabilistic belief logic

CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we investigate a probability logic which enriches propositional calculus with a class of conditional probability operators of de Finetti's type. The logic allows making formulas such as CP≥s(β|α), with the intended meaning ”the conditional probability of β given α is at least s”. A possible-world approach is proposed to give semantics to such formulas. An infinitary axiomatic system for our logic which is sound and complete with respect to the mentioned class of models is given. We prove decidability of the presented logic.