English
Related papers

Related papers: Axioms for typefree subjective probability

200 papers

Topological models of empirical and formal inquiry are increasingly prevalent. They have emerged in such diverse fields as domain theory [1, 16], formal learning theory [18], epistemology and philosophy of science [10, 15, 8, 9, 2],…

Machine Learning · Computer Science 2017-08-01 Konstantin Genin , Kevin T. Kelly

The concept of probability was prominent in the original foundations of quantum mechanics, and continues to be so today. Indeed, the controversies regarding objective and subjective interpretations of probability have again become active. I…

Quantum Physics · Physics 2009-11-13 Leslie Ballentine

We propose an intersubjective epistemic approach to foundations of probability theory and statistical inference, based on relative entropy and category theory, and aimed to bypass the mathematical and conceptual problems of existing…

Statistics Theory · Mathematics 2012-02-01 Ryszard Paweł Kostecki

The aim of this paper is to show that the concept of probability is best understood by dividing this concept into two different types of probability, namely physical probability and analogical probability. Loosely speaking, a physical…

Other Statistics · Statistics 2022-04-22 Russell J. Bowater

This paper provides an analysis of different formal representations of beliefs in epistemic game theory. The aim is to attempt a synthesis of different structures of beliefs in the presence of indeterminate probabilities. Special attention…

Computer Science and Game Theory · Computer Science 2013-09-09 Yang Liu

We present a general logical framework for reasoning about agents' cognitive attitudes of both epistemic type and motivational type. We show that it allows us to express a variety of relevant concepts for qualitative decision theory…

Artificial Intelligence · Computer Science 2023-06-22 Emiliano Lorini

In this paper we develop new extremal principles in variational analysis that deal with finite and infinite systems of convex and nonconvex sets. The results obtained, unified under the name of tangential extremal principles, combine primal…

Optimization and Control · Mathematics 2011-01-24 Boris S. Mordukhovich , Hung M. Phan

This study has the purpose of addressing four questions that lie at the base of the probability theory and statistics, and includes two main steps. As first, we conduct the textual analysis of the most significant works written by eminent…

History and Overview · Mathematics 2019-01-15 Paolo Rocchi

In this paper we consider propositional calculi, which are finitely axiomatizable extensions of intuitionistic implicational propositional calculus together with the rules of modus ponens and substitution. We give a proof of undecidability…

Logic · Mathematics 2015-09-25 Grigoriy V. Bokov

This paper studies the connection between probabilistic conditional independence in uncertain reasoning and data dependency in relational databases. As a demonstration of the usefulness of this preliminary investigation, an alternate proof…

Artificial Intelligence · Computer Science 2013-02-28 Michael S. K. M. Wong , Z. W. Wang

Works, briefly surveyed here, are concerned with two basic methods: Maximum Probability and Bayesian Maximum Probability; as well as with their asymptotic instances: Relative Entropy Maximization and Maximum Non-parametric Likelihood.…

Statistics Theory · Mathematics 2008-04-25 M. Grendar

The notion of expansivity and its generalizations (measure expansive, measure positively expansive, continuum-wise expansive, countably-expansive) are well known for deterministic systems and can be a useful property for studying…

Dynamical Systems · Mathematics 2024-10-15 Rafael A. Bilbao , Marlon Oliveira , Eduardo Santana

Though the ability of human beings to deal with probabilities has been put into question, the assessment of rarity is a crucial competence underlying much of human decision-making and is pervasive in spontaneous narrative behaviour. This…

Other Computer Science · Computer Science 2011-08-25 Jean-Louis Dessalles

Transfinite set theory including the axiom of choice supplies the following basic theorems: (1) Mappings between infinite sets can always be completed, such that at least one of the sets is exhausted. (2) The real numbers can be well…

General Mathematics · Mathematics 2007-05-23 W. Mueckenheim

We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…

Logic · Mathematics 2021-12-21 Matthias Kunik

The language of probability is used to define several different types of conditional statements. There are four principal types: subjunctive, material, existential, and feasibility. Two further types of conditionals are defined using the…

Logic · Mathematics 2014-09-29 Joseph W. Norman

The paper studies the notion of supposition encoded in non-Archimedean conditional probability (and revealed in the acceptance of the so-called indicative conditionals). The notion of qualitative change of view that thus arises is…

Artificial Intelligence · Computer Science 2007-05-23 Horacio Arlo-Costa

In this article we demonstrate how algorithmic probability theory is applied to situations that involve uncertainty. When people are unsure of their model of reality, then the outcome they observe will cause them to update their beliefs. We…

Artificial Intelligence · Computer Science 2014-05-26 Phil Maguire , Philippe Moser , Rebecca Maguire , Mark Keane

Criticisms of so called `subjective probability' come on the one hand from those who maintain that probability in physics has only a frequentistic interpretation, and, on the other, from those who tend to `objectivise' Bayesian theory,…

Data Analysis, Statistics and Probability · Physics 2009-11-06 G. D'Agostini

This paper introduces a novel type theory and logic for probabilistic reasoning. Its logic is quantitative, with fuzzy predicates. It includes normalisation and conditioning of states. This conditioning uses a key aspect that distinguishes…

Logic in Computer Science · Computer Science 2025-04-02 Robin Adams , Bart Jacobs