Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic

DOI10.1016/J.IJAR.2009.07.001MaRDI QIDQ990965zbMATH OpenOpenAlexFDO

Authors Jürgen Landes, Jeff Paris, Alena Vencovská

Publication date 2 September 2010

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2009.07.001

zbMATH Keywords

de Finetti's theoremequalityinductive logicprobability logicspectrum exchangeabilityuncertain reasoning

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Review text

De Finetti's representation theorem [see \textit{H. Gaifman}, ``Applications of de Finetti's theorem to inductive logic, in: \textit{R. Carnap} and \textit{R. C. Jeffrey} (eds.), Studies in inductive logic and probability. Vol. I. Berkeley--Los Angeles--London: University of California Press, 235--251 (1971; Zbl 0246.02024)] plays a central role in the study of conventional, unary, inductive logic, because it gives a transparent access to examples of probability functions satisfying some basic conditions, and it makes it possible to restyle problems from inductive logic into elementary differential and integral calculus, where intuitions and techniques are already well developed. In this paper, a de Finetti-style representation theorem is proved, covering the class of all probability functions satisfying spectrum exchangeability in polyadic inductive logic and giving an application by characterizing those probability functions satisfying spectrum exchangeability, which can be extended to a language with equality whilst still satisfying this property.

Recommendations

• A general representation theorem for probability functions satisfying spectrum exchangeability
• Some aspects of polyadic inductive logic
• A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic
• The principle of signature exchangeability
• Language Invariance and Spectrum Exchangeability in Inductive Logic

Cites work

• A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic
• A note on binary inductive logic
• A note on translation continuity of probability measures
• A survey of some recent results on spectrum exchangeability in polyadic inductive logic
• Atom exchangeability and instantial relevance
• Concerning measures in first order calculi
• From unary to binary inductive logic
• scientific article; zbMATH DE number 3857064 (Why is no real title available?)
• scientific article; zbMATH DE number 3718912 (Why is no real title available?)
• scientific article; zbMATH DE number 193053 (Why is no real title available?)
• scientific article; zbMATH DE number 6181515 (Why is no real title available?)
• scientific article; zbMATH DE number 3389010 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• scientific article; zbMATH DE number 3074489 (Why is no real title available?)
• I.—PROBABILITY: THE DEDUCTIVE AND INDUCTIVE PROBLEMS
• Instantial Relevance in Polyadic Inductive Logic
• Language Invariance and Spectrum Exchangeability in Inductive Logic
• Representation insensitivity in immediate prediction under exchangeability
• Representation of symmetric probability models
• The Representation of Partition Structures
• The Uncertain Reasoner's Companion

Cited in

(16)

• Some aspects of polyadic inductive logic
• A triple uniqueness of the maximum entropy approach
• Symmetry in polyadic inductive logic
• Six problems in pure inductive logic
• Confirmation as partial entailment: a representation theorem in inductive logic
• Determining maximal entropy functions for objective Bayesian inductive logic
• Language Invariance and Spectrum Exchangeability in Inductive Logic
• A general representation theorem for probability functions satisfying spectrum exchangeability
• Instantial Relevance in Polyadic Inductive Logic
• A survey of some recent results on spectrum exchangeability in polyadic inductive logic
• Pure inductive logic with functions
• The theory of spectrum exchangeability
• A note on irrelevance in inductive logic
• Logical perspectives on the foundations of probability
• A characterization of the language invariant families satisfying spectrum exchangeability in polyadic inductive logic
• On the strongest principles of rational belief assignment

This page was built for publication: Representation theorems for probability functions satisfying spectrum exchangeability in inductive logic

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