A first-order conditional probability logic

DOI10.1093/JIGPAL/JZR033MaRDI QIDQ2903758zbMATH OpenOpenAlexFDO

Authors Miloš Milošević, Zoran Ognjanović

Publication date 1 August 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzr033

zbMATH Keywords

completenessconditional probabilitydecidabilityprobability logicssoundness

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Logic in artificial intelligence (68T27)

Review text

In this paper the logic LFOCP is introduced. This logic allows the formalization of ``the conditional probability of \(\varphi\) given \(\psi\) is at least \(c\), where \(\varphi\), \(\psi\) are first-order formulae.NEWLINENEWLINE In the introduction the authors discuss related work, set out their agenda and summarize their main results.NEWLINENEWLINE In the two following sections, syntax and semantics for LFOCP are described. The semantics is given in a possible-world formulation.NEWLINENEWLINE Section four contains an infinitary axiom system containing the axioms for classical propositional logic and five inference rules, which are briefly discussed.NEWLINENEWLINE Section five is the technical main part of the paper, which contains proofs of soundness and completeness of LFOCP.NEWLINENEWLINEThe authors go on to show that a probabilistic formula \(\alpha\) based on a decidable part of first-order logic is decidable.NEWLINENEWLINE In the seventh and final section the authors give an example of the expressive power of LFOCP.NEWLINENEWLINEA related paper, co-authored by the second author, may also be of interest [\textit{A. Ilić-Stepić}, \textit{Z. Ognjanović}, \textit{N. Ikodiniović} and \textit{A. Perović}, Math. Log. Q. 58, No. 4--5, 263--280 (2012; Zbl 1251.03027)].

Recommendations

• Logics with Probability Operators
• A logic with higher order conditional probabilities
• Some first-order probability logics
• Logics in Artificial Intelligence
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• ProbLog Technology for Inference in a Probabilistic First Order Logic
• On classical logic with probability operators: a short survey
• First-order probabilistic conditional logic and maximum entropy
• scientific article; zbMATH DE number 1873277
• A logic with approximate conditional probabilities that can model default reasoning

Cited in

(17)

• Some first-order probability logics
• Probabilistic logics with independence and confirmation
• \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
• An epistemic probabilistic logic with conditional probabilities
• Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
• A first-order conditional probability logic with iterations
• \(p\)-adic probability logics
• Probabilistic Common Knowledge Among Infinite Number of Agents
• A logic with higher order conditional probabilities
• Editorial: Weighted logics for artificial intelligence -- an introductory discussion
• scientific article; zbMATH DE number 1873277 (Why is no real title available?)
• A unified algebraic framework for non-monotonicity
• Logics with Probability Operators
• A First-order Logic for Reasoning about Knowledge and Probability
• Probabilities defined on standard and non-standard cylindric set algebras
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Reasoning about knowledge and conditional probability

This page was built for publication: A first-order conditional probability logic

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