A First-order Logic for Reasoning about Knowledge and Probability

DOI10.1145/3359752MaRDI QIDQ5121267zbMATH OpenOpenAlexWikidataFDO

Authors Siniša Tomović, Dragan Doder, Zoran Ognjanović

Publication date 11 September 2020

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1901.06886

zbMATH Keywords

coordinated actionsinfinite number of agentsprobabilistic common knowledgeprobabilistic epistemic logicstrong completeness

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

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.

Recommendations

• A first-order conditional probability logic
• Some first-order probability logics
• A first-order logic for reasoning about higher-order upper and lower probabilities
• scientific article; zbMATH DE number 7715470
• A first-order probabilistic logic with approximate conditional probabilities
• A decidable first-order logic for knowledge representation
• A decidable first-order logic for knowledge representation
• A First-Order Dynamic Probability Logic
• scientific article; zbMATH DE number 4187137
• An analysis of first-order logics of probability

Cited in

(20)

• Toward effective knowledge acquisition with first-order logic induction.
• An epistemic probabilistic logic with conditional probabilities
• First degree entailment with group attitudes and information updates
• Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results
• scientific article; zbMATH DE number 4145875 (Why is no real title available?)
• Towards an Epistemic Logic for Uncertain Agents
• scientific article; zbMATH DE number 4039863 (Why is no real title available?)
• scientific article; zbMATH DE number 64163 (Why is no real title available?)
• Reasoning about knowledge and probability
• Epistemic probability logic simplified
• Logics with Probability Operators
• Probabilistic Temporal Logics
• A practical integration of first-order reasoning and decision procedures
• A Complete Probabilistic Belief Logic
• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
• Reasoning about knowledge and conditional probability
• Probability logics for reasoning about quantum observations
• Probabilistic temporal logic with countably additive semantics
• A probabilistic temporal epistemic logic: strong completeness
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems

This page was built for publication: A First-order Logic for Reasoning about Knowledge and Probability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5121267)