English
Related papers

Related papers: The Equivalence between Hardy-type paradox and Log…

200 papers

While Large Language Models (LLMs) are widely documented to be sensitive to minor prompt perturbations and prone to sycophantic alignment, their robustness in consequential, rule-bound decision-making remains under-explored. We uncover a…

Artificial Intelligence · Computer Science 2026-04-07 Jon Chun , Katherine Elkins

Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of…

Logic in Computer Science · Computer Science 2015-11-02 Paulo Tabuada , Daniel Neider

We identify emergence with the existence of states of potentiality related to relevant physical quantities. We introduce the concept of 'potentiality state' operationally and show how it reduces to 'superposition state' when standard…

Quantum Physics · Physics 2012-12-04 Diederik Aerts , Bart D'Hooghe

Strong equivalence between knowledge bases ensures the possibility of replacing one with the other without affecting reasoning outcomes, in any given context. This makes it a crucial property in nonmonotonic formalisms. In particular, the…

Artificial Intelligence · Computer Science 2026-05-15 Giovanni Buraglio , Wolfgang Dvorak , Stefan Woltran

We consider the contextual fraction as a quantitative measure of contextuality of empirical models, i.e. tables of probabilities of measurement outcomes in an experimental scenario. It provides a general way to compare the degree of…

Quantum Physics · Physics 2017-08-09 Samson Abramsky , Rui Soares Barbosa , Shane Mansfield

Hybrid probabilistic logic programs can represent several scenarios thanks to the expressivity of Logic Programming extended with facts representing discrete and continuous distributions. The semantics for this type of programs is crucial…

Logic in Computer Science · Computer Science 2021-09-20 Damiano Azzolini , Fabrizio Riguzzi

Solving special relativity paradoxes requires rigorous analysis of event timing, due to relative simultaneity in consequence of the Lorentz transformation. Since clock synchronisation is a convention in special theory of relativity, instead…

Classical Physics · Physics 2012-12-04 Jacek Ciborowski , Marta Wlodarczyk

In his constructive and well-informed commentary, Andrei Khrennikov acknowledges a privileged status of classical probability theory with respect to statistical analysis. He also sees advantages offered by the Contextuality-by-Default…

Quantum Physics · Physics 2018-12-14 Ehtibar N. Dzhafarov , Maria Kon

This is a review devoted to the complementarity-contextuality interplay with connection to the Bell inequalities. Starting discussion with complementarity, we point out to contextuality as its seed. {\it Bohr-contextuality} is dependence of…

Quantum Physics · Physics 2023-11-28 Andrei Khrennikov

I think we can agree that dealing with uncertainty is not easy. Probability is the main tool for dealing with uncertainty, and we know there are many probability-related puzzles and paradoxes. Here I describe a rather idiosyncratic…

Other Statistics · Statistics 2022-01-19 Yudi Pawitan

We introduce a framework to describe probabilistic models in Bell experiments, and more generally in contextuality scenarios. Such a scenario is a hypergraph whose vertices represent elementary events and hyperedges correspond to…

Quantum Physics · Physics 2014-12-31 Tobias Fritz , Anthony Leverrier , Ana Belén Sainz

We introduce a notion of contextuality for transformations in sequential contexts, distinct from the Bell-Kochen-Specker and Spekkens notions of contextuality. Within a transformation-based model for quantum computation we show that strong…

Quantum Physics · Physics 2018-12-12 Shane Mansfield , Elham Kashefi

This paper studies whether Bayesian simultaneous three-way hypothesis tests can be logically coherent. Two types of results are obtained. First, under the standard error-wise constant loss, only for a limited set of models can a Bayes…

Statistics Theory · Mathematics 2022-04-05 Bernardo F. Reimann , Rafael Izbicki , Julio M. Stern , Rafael B. Stern , Luis G. Esteves

This is the logical foundation for for Relativity Theory, Probability Theory, and for Quantum Theory. Contents is the following: 1 Introduction. 2 Classical logic. 3 Time and space. 3.1 Recorders. 3.2 Time. 3.3 Space. 3.4 Relativity. 4.…

General Physics · Physics 2007-05-23 G. A. Quznetsov

We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The…

Logic in Computer Science · Computer Science 2020-04-22 Federico Aschieri , Agata Ciabattoni , Francesco A. Genco

The non-classicality of single quantum systems can be formalised using the notion of contextuality. But can contextuality be convincingly demonstrated in an experiment, without reference to the quantum formalism? The operational approach to…

Quantum Physics · Physics 2019-04-19 Matthew F. Pusey , Lídia del Rio , Bettina Meyer

In the concluding remarks of Ontological Promiscuity Hobbs (1985) made what we believe to be a very insightful observation: given that semantics is an attempt at specifying the relation between language and the world, if "one can assume a…

Computation and Language · Computer Science 2019-04-16 Walid S. Saba

Contextuality is a central feature of quantum theory, traditionally understood as the impossibility of reproducing quantum measurement statistics using noncontextual ontological models. We study classical ontological descriptions in which a…

Artificial Intelligence · Computer Science 2026-04-16 Song-Ju Kim

We discuss a class of proofs of Bell-type inequalities that are based on tables of potential outcomes. These proofs state in essence: if one can only imagine (or write down in a table) the potential outcome of a hidden parameter model for…

Quantum Physics · Physics 2007-05-23 Karl Hess , Walter Philipp

This work advances and substantiates the thesis that the resolution of this crisis lies in the domain of possibility theory, specifically in the axiomatic approach developed in Bychkovs article. Unlike numerous attempts to fix Dempster…

Artificial Intelligence · Computer Science 2025-12-08 Bychkov Oleksii , Bychkova Sophia , Lytvynchuk Khrystyna
‹ Prev 1 8 9 10 Next ›