A first-order conditional logic with qualitative statistical semantics

DOI10.1093/LOGCOM/7.6.777MaRDI QIDQ4381869zbMATH OpenOpenAlexFDO

Authors Ronen Brafman

Publication date 2 September 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/7.6.777

zbMATH Keywords

axiomatizationconditional logicprobabilistic semanticsqualitative statistical reasoning

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Review text

The logic presented here is a qualitative counterpart of \textit{F. Bacchus}'s approach [Representing and reasoning with probabilistic knowledge (MIT Press, Cambridge, MA, 1990)]. Conditionals are interpreted over a standard first-order structure to which an ordering over domain elements is added. A conditional of the form \(\alpha\rightarrow_{(\bar{x})}\beta\) is interpreted as saying that typical (i.e., minimal relative to the ordering) tuples that can be substituted for \(\bar{x}\) and have the property \(\alpha\), have the property \(\beta\) as well. A sound and complete axiomatization of this logic is given. The logic has also a probabilistic semantics akin to the \(\varepsilon\)-semantics (see \textit{E. W. Adams} [The logic of conditionals. An application of probability to deductive logic (1975; Zbl 0324.02002)] and \textit{M. Goldszmidt, P. Morris} and \textit{J. Pearl} [IEEE Trans. Pattern Analysis Machine Intell. 15, 220-232 (1993)]).

Recommendations

• First-order conditional logic for default reasoning revisited
• On first-order conditional logics
• A first-order conditional probability logic with iterations
• A first-order probabilistic logic with approximate conditional probabilities
• A ranking semantics for first-order conditionals

Cited in

(7)

• On first-order conditional logics
• Using institutions for the study of qualitative and quantitative conditional logics
• Probabilistic Modeling of Default Reasoning
• Some New Probability Operators
• Intuitionistic-Bayesian Semantics of First-Order Logic for Generics
• scientific article; zbMATH DE number 956589 (Why is no real title available?)
• First-order conditional logic for default reasoning revisited

This page was built for publication: A first-order conditional logic with qualitative statistical semantics

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