Probabilistic belief logic and its probabilistic aumann semantics

Authors:
Zi Ning Cao;Chun Yi Shi
Affiliations:
Department of Computer Science and Technology, Tsinghua University, Beijing 100084, P.R. China and Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 1 ...;Department of Computer Science and Technology, Tsinghua University, Beijing 100084, P.R. China
Venue:
Journal of Computer Science and Technology
Year:
2003

Citing 4
Cited 2

Knowledge and common knowledge in a distributed environment

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

Journal of the ACM (JACM)
Reasoning about knowledge

Reasoning about knowledge
A Deduction Model of Belief

A Deduction Model of Belief

Verifying real-time temporal, cooperation and epistemic properties for uncertain agents

MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Model checking for epistemic and temporal properties of uncertain agents

PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, we present a logic system for probabilistic belief named PBL, which expands the language of belief logic by introducing probabilistic belief. Furthermore, we give the probabilistic Aumann semantics of PBL. We also list some valid properties of belief and probabilistic belief, which form the deduction system of PBL. Finally, we prove the soundness and completeness of these properties with respect to probabilistic Aumann semantics.