A First-order Logic for Reasoning about Knowledge and Probability

DOI10.1145/3359752zbMATH Open1446.03038arXiv1901.06886OpenAlexW3005452357WikidataQ130834590 ScholiaQ130834590MaRDI QIDQ5121267FDOQ5121267

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

Publication date: 11 September 2020

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

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.

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

zbMATH Keywords

strong completenesscoordinated actionsinfinite number of agentsprobabilistic common knowledgeprobabilistic epistemic logic

Mathematics Subject Classification ID

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

Cited In (10)

• Title not available (Why is that?)
• Probabilistic temporal logic with countably additive semantics
• Probability logics for reasoning about quantum observations
• Reasoning about knowledge and conditional probability
• Logics with Probability Operators
• Understanding a Probabilistic Description Logic via Connections to First-Order Logic of Probability
• A practical integration of first-order reasoning and decision procedures
• An epistemic probabilistic logic with conditional probabilities
• Probabilistic Temporal Logics
• Toward effective knowledge acquisition with first-order logic induction.

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• An analysis of first-order logics of probability 👍 👎
• Some first-order probability logics 👍 👎
• A first-order conditional probability logic 👍 👎
• A first-order logic for reasoning about higher-order upper and lower probabilities 👍 👎
• A First-Order Dynamic Probability Logic 👍 👎
• A decidable first-order logic for knowledge representation 👍 👎
• A first-order probabilistic logic with approximate conditional probabilities 👍 👎

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)