In this paper, we propose a logic for reasoning about probabilistic belief, called PBL r . Our language introduces formulas that express “agent i believes that the probability of ? is at least p”. We first provide an inference system of PBL r , and then introduce a probabilistic semantics for PBL r . The soundness and finite model property of PBL r are proved, which ensure the weak completeness and decidability of PBL r .
展开▼