English
Related papers

Related papers: Dismantling the Surprise Test "Paradox"

200 papers

In the histories formulation of quantum theory, sets of coarse-grained histories that are consistent obey the classical probability rules. It has been argued that these sets can describe the quasi-classical behaviour of closed quantum…

Quantum Physics · Physics 2025-12-04 Adamantia Zampeli , Georgios E. Pavlou , Petros Wallden

Consider a community of scientists whose labs are each capable of conducting a different set of experiments. The scientists want to work together to confirm a new hypothesis, but to ensure blindness, their labs generally prohibit the…

Logic in Computer Science · Computer Science 2026-05-01 Siddharth Namachivayam

Zero factorial, defined to be one, is often counterintuitive to students but nonetheless an interesting concept to convey in a classroom environment. The challenge is to delineate the concept in a simple and effective way through the…

History and Overview · Mathematics 2024-06-19 Munir Mahmood , Lori L. Murray , Ricardas Zitikis , Ibtihal Mahmood

We study the problem of explaining observations about the probabilities of events, such as "it rains $20\%$ of the time", "rain and snow are equally likely", etc. We explain these statements with a probability distribution or a statement…

Logic in Computer Science · Computer Science 2026-04-27 Tommaso Flaminio , Katsumi Inoue , Daniil Kozhemiachenko

This paper shows that one cannot learn the probability of rare events without imposing further structural assumptions. The event of interest is that of obtaining an outcome outside the coverage of an i.i.d. sample from a discrete…

Machine Learning · Statistics 2015-03-13 Elchanan Mossel , Mesrob I. Ohannessian

A central challenge in statistical inference is the presence of confounding variables that may distort observed associations between treatment and outcome. Conventional "causal" methods, grounded in assumptions such as ignorability, exclude…

Methodology · Statistics 2025-09-09 Ellis Scharfenaker , Duncan K. Foley

Stories interest us not because they are a sequence of mundane and predictable events but because they have drama and tension. Crucial to creating dramatic and exciting stories are surprise and suspense. The thesis trains a series of deep…

Computation and Language · Computer Science 2022-06-22 David Wilmot

This short note introduces a formal system of truth and paradoxicality, outlining the main motivation, and proving its $\omega$-consistency. The system is called TP, for 'Truth and Paradoxicality'.

Logic · Mathematics 2025-09-09 Luca Castaldo

We motivate and describe a theory of belief in this paper. This theory is developed with the following view of human belief in mind. Consider the belief that an event E will occur (or has occurred or is occurring). An agent either…

Artificial Intelligence · Computer Science 2013-03-26 Yen-Teh Hsia

These lectures deal with the problem of inductive inference, that is, the problem of reasoning under conditions of incomplete information. Is there a general method for handling uncertainty? Or, at least, are there rules that could in…

Data Analysis, Statistics and Probability · Physics 2016-09-08 Ariel Caticha

In this paper, we argue that while the concept of a set-theoretic paradox (or paradoxical set) can be relatively well-defined within a formal setting, the concept of a set-theoretic hypodox (or hypodoxical set) remains significantly less…

Logic · Mathematics 2025-01-31 Timotej Šujan

Surprisal theory links human processing effort to the predictability of an upcoming linguistic unit, but empirical work often leaves the notion of a unit underspecified. In practice, experimental stimuli are segmented into linguistically…

Computation and Language · Computer Science 2026-05-01 Samuel Kiegeland , Vésteinn Snæbjarnarson , Tim Vieira , Ryan Cotterell

When a teacher provides examples for a student to study, these examples must be informative, enabling a student to progress from their current state toward a target concept or skill. Good teachers must therefore simultaneously infer what…

Computation and Language · Computer Science 2024-05-08 Alexis Ross , Jacob Andreas

Transformers have recently been shown to be capable of reliably performing logical reasoning over facts and rules expressed in natural language, but abductive reasoning - inference to the best explanation of an unexpected observation - has…

Computation and Language · Computer Science 2022-03-24 Nathan Young , Qiming Bao , Joshua Bensemann , Michael Witbrock

We present a case study in {\it experimental} yet {\it rigorous} mathematics by describing an algorithm, fully implemented in both Mathematica and Maple, that {\it automatically conjectures}, and then {\it automatically proves}, closed-form…

Combinatorics · Mathematics 2018-12-12 Andrew V. Sills , Doron Zeilberger

Ramsey Theorem [6] for pairs is intuitionistically but not classically provable: it is equivalent to a subclassical principle [2]. In this note we show that Ramsey may be restated in an intuitionistically provable form, which is informative…

Logic in Computer Science · Computer Science 2014-01-14 Stefano Berardi

An analysis using classical stochastic processes is used to construct a consistent system of quantum counterfactual reasoning. When applied to a counterfactual version of Hardy's paradox, it shows that the probabilistic character of quantum…

Quantum Physics · Physics 2009-10-31 Robert B. Griffiths

Among the many decisions to be made in their teaching practice, physics teachers must decide how to explain each particular phenomenon to students. This study explores student teachers' (STs) decision-making process when presented with…

Physics Education · Physics 2021-02-03 Laurence Viennot

Background. From information theory, surprisal is a measurement of how unexpected an event is. Statistical language models provide a probabilistic approximation of natural languages, and because surprisal is constructed with the probability…

Computation and Language · Computer Science 2022-04-18 James Caddy , Markus Wagner , Christoph Treude , Earl T. Barr , Miltiadis Allamanis

In school districts where assignments are exclusively determined by a clearinghouse students can only appeal their assignment with a valid reason. An assignment is incontestable if it is appeal-proof. We study incontestability when students…

Theoretical Economics · Economics 2024-03-04 Benoit Decerf , Guillaume Haeringer , Martin Van der Linden