A complete probabilistic belief logic

Authors:
Zining Cao
Affiliations:
Department of Computer Science and Engineering, Nanjing University of Aero. & Astro., Nanjing, China
Venue:
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Year:
2006

Citing 15
Cited 0

A decidable propositional dynamic logic with explicit probabilities

Information and Control
Probabilistic reasoning in intelligent systems: networks of plausible inference

Probabilistic reasoning in intelligent systems: networks of plausible inference
Knowledge and common knowledge in a distributed environment

Journal of the ACM (JACM)
A logic for reasoning about probabilities

Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
Knowledge, probability, and adversaries

Journal of the ACM (JACM)
Reasoning about knowledge and probability

Journal of the ACM (JACM)
Reasoning about knowledge

Reasoning about knowledge
Knowledge and Belief in Philosophy and Artificial Intelligence: Logica Nova

Knowledge and Belief in Philosophy and Artificial Intelligence: Logica Nova
Probabilistic Models for Agent's Beliefs and Decisions

UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Probabilistic temporal logics for finite and bounded models

STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Probabilistic Dynamic Epistemic Logic

Journal of Logic, Language and Information
Lexicographic probability, conditional probability, and nonstandard probability

TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Logical implementation of uncertain agents

EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
A logic with coherent conditional probabilities

ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we propose the logic for reasoning about probabilistic belief, called PBLf. Our language includes formulas that essentially express "agent i believes that the probability of φ is at least p". We first provide an inference system of PBLf, and then introduce a probabilistic semantics for PBLf. The soundness and finite model property of PBLf are proven.