English
Related papers

Related papers: Quantitative Behavioural Reasoning for Higher-orde…

200 papers

Same/opposite relational responding, a fundamental aspect of human symbolic cognition, allows the flexible generalization of stimulus relationships based on minimal experience. In this study, we demonstrate the emergence of…

Artificial Intelligence · Computer Science 2025-06-18 Robert Johansson , Patrick Hammer , Tony Lofthouse

The human cognitive system exhibits remarkable flexibility and generalization capabilities, partly due to its ability to form low-dimensional, compositional representations of the environment. In contrast, standard neural network…

Artificial Intelligence · Computer Science 2024-02-29 Declan Campbell , Jonathan D. Cohen

Uncertainty Quantification (UQ) in Language Models (LMs) is key to improving their safety and reliability. Evaluations often use metrics like AUROC to assess how well UQ methods (e.g., negative sequence probabilities) correlate with task…

Computation and Language · Computer Science 2025-08-11 Andrea Santilli , Adam Golinski , Michael Kirchhof , Federico Danieli , Arno Blaas , Miao Xiong , Luca Zappella , Sinead Williamson

We characterize the class of quantum measurements that matches the applications of quantum theory to cognition (and decision making) - quantum-like modeling. Projective measurements describe the canonical measurements of the basic…

Artificial Intelligence · Computer Science 2025-12-15 Miho Fuyama , Andrei Khrennikov , Masanao Ozawa

In this paper, we demonstrate a data-driven methodology for modelling the local similarity measures of various attributes in a dataset. We analyse the spread in the numerical attributes and estimate their distribution using polynomial…

Artificial Intelligence · Computer Science 2019-05-22 Deepika Verma , Kerstin Bach , Paul Jarle Mork

In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinations of resource lambda-terms, from a calculus similar to Boudol's…

Logic in Computer Science · Computer Science 2010-01-20 Thomas Ehrhard

We study an abstract framework for interactive learning called interactive estimation in which the goal is to estimate a target from its "similarity'' to points queried by the learner. We introduce a combinatorial measure called…

Machine Learning · Computer Science 2023-06-13 Nataly Brukhim , Miroslav Dudik , Aldo Pacchiano , Robert Schapire

The observer effect in quantum physics states that observation inevitably influences the system being observed. This work introduces an epistemic framework that treats the observer as an integral part of sensory information processing…

Quantum Physics · Physics 2026-05-26 Johan F. Hoorn , Johnny K. W. Ho

We investigate natural variations of behaviourally correct learning and explanatory learning -- two learning paradigms studied in algorithmic learning theory -- that allow us to ``learn'' equivalence relations on Polish spaces. We give a…

Logic · Mathematics 2025-02-05 Dino Rossegger , Theodore Slaman , Tomasz Steifer

In this work, a unified Lie-algebraic formulation of catability is constructed for relativistic quantum systems with arbitrary spin within this framework. In this case, the analysis starts with constructing catability as a quantitative…

Quantum Physics · Physics 2026-05-12 Abdelmalek Bouzenada

We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the…

Logic in Computer Science · Computer Science 2021-11-09 Filippo Bonchi , Alessio Santamaria , Jens Seeber , Paweł Sobociński

Approximation semantics capture the observable behaviour of {\lambda}-terms, with B\"ohm Trees and Taylor Expansion standing as two central paradigms. Although conceptually different, these notions are related via the Commutation Theorem,…

Logic in Computer Science · Computer Science 2026-05-01 Kostia Chardonnet , Jules Chouquet , Axel Kerinec

This paper presents a research program aimed at establishing relational foundations for relativistic quantum physics. Although the formalism is still under development, we believe it has matured enough to be shared with the broader…

Quantum Physics · Physics 2024-07-23 Jan Głowacki

We present a detailed motivation for and definition of the contextual values of an observable, which were introduced by Dressel et al. [Phys. Rev. Lett. 104 240401 (2010)]. The theory of contextual values extends the well-established theory…

Quantum Physics · Physics 2012-02-29 J. Dressel , A. N. Jordan

Multimodal learning leverages the integration of diverse data modalities to enhance performance in complex tasks. Yet, it frequently encounters incomplete or redundant modality data in real-world scenarios. This paper presents a…

Machine Learning · Computer Science 2026-05-05 Richeng Zhou , Xuelin Zhang , Liyuan Liu

Reinforcement learning algorithms often require finiteness of state and action spaces in Markov decision processes (MDPs) (also called controlled Markov chains) and various efforts have been made in the literature towards the applicability…

Machine Learning · Computer Science 2023-09-08 Ali Devran Kara , Naci Saldi , Serdar Yüksel

We demonstrate that behavioral probabilities of human decision makers share many common features with quantum probabilities. This does not imply that humans are some quantum objects, but just shows that the mathematics of quantum theory is…

Neurons and Cognition · Quantitative Biology 2017-04-05 V. I. Yukalov , D. Sornette

We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and contextual information. This way, process distances by…

Formal Languages and Automata Theory · Computer Science 2023-09-06 Ugo Dal Lago , Maurizio Murgia

The aim of this paper is to apply a contextual probabilistic model (in the spirit of Mackey, Gudder, Ballentine) to represent and to generalize some results of quantum logic about possible macroscopic quantum-like (QL) behaviour. The…

Quantum Physics · Physics 2014-03-13 Andrei Khrennikov

Parametric models in vector spaces are shown to possess an associated linear map. This linear operator leads directly to reproducing kernel Hilbert spaces and affine- / linear- representations in terms of tensor products. From the…

Numerical Analysis · Mathematics 2018-06-19 Hermann G. Matthies , Roger Ohayon