Results 1 to 10 of about 2,162 (119)
Making decisions with evidential probability and objective Bayesian calibration inductive logics
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Radzvilas, Mantas +2 more
openaire +3 more sources
AbstractWe prove de Finetti style representation theorems covering the class of all probability functions satisfying spectrum exchangeability in polyadic inductive logic and give an application by characterizing those probability functions satisfying spectrum exchangeability which can be extended to a language with equality whilst still satisfying that
J. Landes, J. B. Paris, A. Vencovská
openaire +2 more sources
Logical Form, Probability Interpretations, and the Inductive/Deductive Distinction
Logical Form, Probability Interpretations, and the Inductive/Deductive ...
openaire +4 more sources
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
Quantitative logic reasons about the degree to which formulas are satisfied. This paper studies the fundamental reasoning principles of higher-order quantitative logic and their application to reasoning about probabilistic programs and processes. We construct an affine calculus for $1$-bounded complete metric spaces and the monad for probability ...
Bacci, Giorgio +1 more
openaire +2 more sources
Logic of induction: a dead horse? some thoughts on the logical foundations of probability
Sáo dois os propósitos deste artigo. Primeiro desejamos examinar porque o projeto de Carnap de construir uma lógica indutiva náo foi bem sucedido. De forma a realizar isso, nos apoiaremos na distinçáo entre o problema da justificaçáo da induçáo e o problema da descriçáo da induçáo.
openaire +3 more sources
Argument-based inductive logics, with coverage of compromised perception. [PDF]
Bringsjord S +6 more
europepmc +1 more source
Studies in inductive logic and probability
Isaac Levi, R. C. Jeffrey
openaire +3 more sources
Providing a comprehensive approach to oil well blowout risk assessment. [PDF]
Satiarvand M +4 more
europepmc +1 more source
Logic + probabilistic programming + causal laws. [PDF]
Belle V.
europepmc +1 more source
Providing an approach to analyze the risk of central oxygen tanks in hospitals during the COVID-19 pandemic. [PDF]
Laal F +4 more
europepmc +1 more source

