English
Related papers

Related papers: Generalizing Jeffrey Conditionalization

200 papers

Probabilities may be subjective or objective; we are concerned with both kinds of probability, and the relationship between them. The fundamental theory of objective probability is quantum mechanics: it is argued that neither Bohr's…

Quantum Physics · Physics 2015-06-26 Simon Saunders

We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability…

Probability · Mathematics 2020-03-17 Giuseppe Sanfilippo , Angelo Gilio , David Over , Niki Pfeifer

The concept of updating (or conditioning or revising) a probability distribution is fundamental in (machine) learning and in predictive coding theory. The two main approaches for doing so are called Pearl's rule and Jeffrey's rule. Here we…

Logic in Computer Science · Computer Science 2021-12-30 Bart Jacobs

The extended modification of the Newton method is considered when the inverse of the derivative (of the operator F(x) in the equation F(x)=0) is replaced by an invertible bounded x-independent operator B. The continuity assumption is…

Numerical Analysis · Mathematics 2015-03-24 Andrei Dubin

Effective bounds on the union probability are well known to be beneficial in the analysis of stochastic problems in many areas, including probability theory, information theory, statistical communications, computing and operations research.…

Probability · Mathematics 2016-02-02 Jun Yang , Fady Alajaji , Glen Takahara

In this paper, we generalize the basic notions and results of Dempster-Shafer theory from predicates to formal concepts. Results include the representation of conceptual belief functions as inner measures of suitable probability functions,…

Artificial Intelligence · Computer Science 2021-05-19 Sabine Frittella , Krishna Manoorkar , Alessandra Palmigiano , Apostolos Tzimoulis , Nachoem M. Wijnberg

This work contributes to the domains of Boolean algebra and of Bayesian probability, by proposing an algebraic extension of Boolean algebras, which implements an operator for the Bayesian conditional inference and is closed under this…

Logic · Mathematics 2011-12-19 Frederic Dambreville

Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P. In…

Artificial Intelligence · Computer Science 2007-05-23 Thomas Lukasiewicz

Efficient modeling of uncertain information in real world is still an open issue. Dempster-Shafer evidence theory is one of the most commonly used methods. However, the Dempster-Shafer evidence theory has the assumption that the hypothesis…

Artificial Intelligence · Computer Science 2014-05-14 Yong Deng

We consider upper exponential bounds for the probability of the event that an absolute deviation of sample mean from mathematical expectation p is bigger comparing with some ordered level epsilon. These bounds include 2 coefficients {alpha,…

Probability · Mathematics 2010-04-13 Vladimir Nikulin

The present paper is devoted to investigating the two-dimensional real Jacobian conjecture. This conjecture claims that if $F=\left(f,g\right):\mathbb{R}^2\rightarrow \mathbb{R}^2$ is a polynomial map with $\det DF\left(x,y\right)\ne0$ for…

Classical Analysis and ODEs · Mathematics 2023-04-04 Yuzhou Tian , Xiuli Cen

In 1971, McMullen and Walkup posed the following conjecture, which is called the generalized lower bound conjecture: If $P$ is a simplicial $d$-polytope then its $h$-vector $(h_0,h_1,...,h_d)$ satisfies $h_0 \leq h_1 \leq ... \leq…

Combinatorics · Mathematics 2012-04-06 Satoshi Murai , Eran Nevo

We present a new inductive rule for verifying lower bounds on expected values of random variables after execution of probabilistic loops as well as on their expected runtimes. Our rule is simple in the sense that loop body semantics need to…

Logic in Computer Science · Computer Science 2021-08-12 Marcel Hark , Benjamin Lucien Kaminski , Jürgen Giesl , Joost-Pieter Katoen

In this paper, we study higher derivations of Jacobian type in positive characteristic. We give a necessary and sufficient condition for $(n-1)$-tuples of polynomials to be extendable in the polynomial ring in $n$ variables over an integral…

Algebraic Geometry · Mathematics 2019-08-27 Takanori Nagamine

We aim to analyze the consistency of the deformation of the Heisenberg algebra in the setting of constrained Hamiltonian systems, providing a procedure to induce the deformation on the Poisson algebra after symplectic reduction. We…

Mathematical Physics · Physics 2026-03-12 Matteo Bruno , Sebastiano Segreto

We consider probability measures on the real line or unit circle with Jacobi or Verblunsky coefficients satisfying an $\ell^p$ condition and a generalized bounded variation condition. This latter condition requires that a sequence can be…

Spectral Theory · Mathematics 2011-12-19 Milivoje Lukic

Considerable attention has been given to the problem of non-monotonic reasoning in a belief function framework. Earlier work (M. Ginsberg) proposed solutions introducing meta-rules which recognized conditional independencies in a…

Artificial Intelligence · Computer Science 2013-04-05 Mary McLeish

Using the Kleisi category of the Giry monad the deterministic existential and universal quantifiers are generalized to incorporate nondeterminism. These probabilistic quantifiers are quantified over the points of the category which are…

Probability · Mathematics 2012-08-15 Kirk Sturtz

We present a new positive lower bound for the minimum value taken by a polynomial P with integer coefficients in k variables over the standard simplex of R^k, assuming that P is positive on the simplex. This bound depends only on the number…

Algebraic Geometry · Mathematics 2009-06-25 Gabriela Jeronimo , Daniel Perrucci

We give partial generalizations of the classical Descartes' rule of signs to multivariate polynomials (with real exponents), in the sense that we provide upper bounds on the number of connected components of the complement of a hypersurface…

Algebraic Geometry · Mathematics 2022-07-07 Elisenda Feliu , Máté L. Telek