A First-Order Logic for Reasoning about Knowledge and Probability

2019/01/21 by Tomović, Siniša, Ognjanović, Zoran, Doder, Dragan
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Modal and temporal logics #Probabilistic reasoning #Reasoning about belief and knowledge

paper · doi:10.48550/arxiv.1901.06886

Abstract

We present a first-order probabilistic epistemic logic, which allows combining operators of knowledge and probability within a group of possibly infinitely many agents. The proposed framework is the first order extension of the logic of Fagin and Halpern from (J.ACM 41:340-367,1994). We define its syntax and semantics, and prove the strong completeness property of the corresponding axiomatic system.

Related

• A Probabilistic Temporal Epistemic Logic
• The Relationship between Knowledge, Belief and Certainty
• Probabilities on Sentences in an Expressive Logic
• An Inequality Paradigm for Probabilistic Knowledge
• Lp : A Logic for Statistical Information