English
Related papers

Related papers: A Canon of Probabilistic Rationality

200 papers

We study a fundamental problem in optimization under uncertainty. There are $n$ boxes; each box $i$ contains a hidden reward $x_i$. Rewards are drawn i.i.d. from an unknown distribution $\mathcal{D}$. For each box $i$, we see $y_i$, an…

Computer Science and Game Theory · Computer Science 2023-07-13 Kamyar Azizzadenesheli , Trung Dang , Aranyak Mehta , Alexandros Psomas , Qian Zhang

This article presents an elementary proof of Zorn's Lemma under the Axiom of Choice, simplifying and supplying necessary details in the original proof by Paul R. Halmos in his book, Naive Set Theory. Also provided, is a preamble to Zorn's…

Logic · Mathematics 2012-07-31 Arjun Jain

Language is not only used to transmit neutral information; we often seek to persuade by arguing in favor of a particular view. Persuasion raises a number of challenges for classical accounts of belief updating, as information cannot be…

Computation and Language · Computer Science 2022-09-15 Samuel A. Barnett , Thomas L. Griffiths , Robert D. Hawkins

This paper presents an approach for developing the explanation capabilities of rule-based expert systems managing imprecise and uncertain knowledge. The treatment of uncertainty takes place in the framework of possibility theory where the…

Artificial Intelligence · Computer Science 2013-04-08 Henri Farrency , Henri Prade

We present a polynomial-time algorithm that determines, given some choice rule, whether there exists an obviously strategy-proof mechanism for that choice rule.

Theoretical Economics · Economics 2022-10-25 Louis Golowich , Shengwu Li

We present unambiguous experimental evidence for (quantum-like) probabilistic contextuality in psychology. All previous attempts to find contextuality in a psychological experiment were unsuccessful because of the gross violations of…

Neurons and Cognition · Quantitative Biology 2019-01-24 Victor H. Cervantes , Ehtibar N. Dzhafarov

The probabilistic predictions of quantum theory are conventionally obtained from a special probabilistic axiom. But that is unnecessary because all the practical consequences of such predictions follow from the remaining, non-probabilistic,…

Quantum Physics · Physics 2009-10-31 David Deutsch

In this paper, without the axiom of choice, we show that if a certain downward L\"owenheim-Skolem property holds then all grounds are uniformly definable. We also prove that the axiom of choice is forceable if and only if the universe is a…

Logic · Mathematics 2020-01-07 Toshimichi Usuba

We obtain a necessary and sufficient condition under which random-coefficient discrete choice models, such as mixed-logit models, are rich enough to approximate any nonparametric random utility models arbitrarily well across choice sets.…

Theoretical Economics · Economics 2023-12-12 Haoge Chang , Yusuke Narita , Kota Saito

Ranking data arises in a wide variety of application areas but remains difficult to model, learn from, and predict. Datasets often exhibit multimodality, intransitivity, or incomplete rankings---particularly when generated by humans---yet…

Machine Learning · Computer Science 2019-01-29 Stephen Ragain , Johan Ugander

Automated reasoning about uncertain knowledge has many applications. One difficulty when developing such systems is the lack of a completely satisfactory integration of logic and probability. We address this problem directly. Expressive…

Logic in Computer Science · Computer Science 2012-09-13 Marcus Hutter , John W. Lloyd , Kee Siong Ng , William T. B. Uther

We recently described a formalism for reasoning with if-then rules that re expressed with different levels of firmness [18]. The formalism interprets these rules as extreme conditional probability statements, specifying orders of magnitude…

Artificial Intelligence · Computer Science 2013-03-25 Moises Goldszmidt , Judea Pearl

We extend Berge's Maximum Theorem to allow for incomplete preferences. We first provide a simple version of the Maximum Theorem for convex feasible sets and a fixed preference. Then, we show that if, in addition to the traditional…

Theoretical Economics · Economics 2021-11-17 Leandro Gorno , Alessandro Rivello

We prove an analogue of the classical ballot theorem that holds for any random walk in the range of attraction of the normal distribution. Our result is best possible: we exhibit examples demonstrating that if any of our hypotheses are…

Probability · Mathematics 2008-02-28 L. Addario-Berry , B. A. Reed

In this paper we prove that the maximum principle in forcing is equivalent to the axiom of choice. The maximum principle is the property of forcing: p ||- exists x theta(x) iff for some name tau p ||- theta(tau). We also look at three…

Logic · Mathematics 2011-05-27 Arnold W. Miller

The principle of sufficient reason asserts that anything that happens does so for a reason: no definite state of affairs can come into being unless there is a sufficient reason why that particular thing should happen. This principle is…

Quantum Physics · Physics 2011-11-30 Henry P. Stapp

Over the past two decades, the notion of implicit bias has come to serve as an important component in our understanding of discrimination in activities such as hiring, promotion, and school admissions. Research on implicit bias posits that…

Computers and Society · Computer Science 2018-01-12 Jon Kleinberg , Manish Raghavan

In this paper we shall relate computational complexity to the principle of natural selection. We shall do this by giving a philosophical account of complexity versus universality. It seems sustainable to equate universal systems to complex…

Logic in Computer Science · Computer Science 2012-12-14 J. J. Joosten

Wolfram's Principle of Computational Equivalence (PCE) implies that universal complexity abounds in nature. This paper comprises three sections. In the first section we consider the question why there are so many universal phenomena around.…

Logic in Computer Science · Computer Science 2012-11-09 Joost J. Joosten

We present a new proof rule for verifying lower bounds on quantities of probabilistic programs. Our proof rule is not confined to almost-surely terminating programs -- as is the case for existing rules -- and can be used to establish…

Logic in Computer Science · Computer Science 2023-02-14 Shenghua Feng , Mingshuai Chen , Han Su , Benjamin Lucien Kaminski , Joost-Pieter Katoen , Naijun Zhan