中文
相关论文

相关论文: Combining fragments of classical logic: When are i…

200 篇论文

The concept of complementarity, originally defined for non-commuting observables of quantum systems with states of non-vanishing dispersion, is extended to classical dynamical systems with a partitioned phase space. Interpreting partitions…

混沌动力学 · 物理学 2015-06-26 P. beim Graben , H. Atmanspacher

The apparent difficulty in recovering classical nonlinear dynamics and chaos from standard quantum mechanics has been the subject of a great deal of interest over the last twenty years. For open quantum systems - those coupled to a…

量子物理 · 物理学 2007-05-23 M. J. Everitt , T. D. Clark , P. B. Stiffell , J. F. Ralph , A. R. Bulsara , C. J. Harland

In this work, we have studied classical and quantum systems in interaction by means of geometric reduction procedure. The main target is the description in these terms of fundamental interactions. We have shown that, to describe in a…

数学物理 · 物理学 2017-03-22 M. Laudato

Interaction models describe distributed systems as algebraic terms, with gates marking interaction points between local views. Composing local models into a coherent global one requires aligning these gates while respecting the algebraic…

形式语言与自动机理论 · 计算机科学 2025-12-09 Joel Nguetoum , Boutheina Bannour , Pascale Le Gall , Erwan Mahe

The concept of entanglement was originally introduced to explain correlations existing between two spatially separated systems, that cannot be described using classical ideas. Interestingly, in recent years, it has been shown that similar…

量子物理 · 物理学 2015-07-23 R. de J. León-Montiel , A. Vallés , H. M. Moya-Cessa , J. P. Torres

A variant of coupled-cluster theory is described here, wherein the degrees of freedom are fluctuations of fragments between internally correlated states. The effects of intra-fragment correlation on the inter-fragment interaction are…

化学物理 · 物理学 2019-05-24 Yuhong Liu , Anthony D. Dutoi

We investigate entanglement for a composite closed system endowed with a scaling property allowing to keep the dynamics invariant while the effective Planck constant hbar_eff of the system is varied. Entanglement increases as hbar_eff goes…

量子物理 · 物理学 2015-05-27 Alex Matzkin

Compositional generalization -- the ability to understand and generate novel combinations of learned concepts -- enables models to extend their capabilities beyond limited experiences. While effective, the data structures and principles…

机器学习 · 计算机科学 2025-12-12 Lingjing Kong , Shaoan Xie , Yang Jiao , Yetian Chen , Yanhui Guo , Simone Shao , Yan Gao , Guangyi Chen , Kun Zhang

Compositional Explanations is a method for identifying logical formulas of concepts that approximate the neurons' behavior. However, these explanations are linked to the small spectrum of neuron activations (i.e., the highest ones) used to…

机器学习 · 计算机科学 2023-10-31 Biagio La Rosa , Leilani H. Gilpin , Roberto Capobianco

We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with…

逻辑 · 数学 2021-09-03 Peter Arndt , Hugo Luiz Mariano , Darllan Conceição Pinto

A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered…

计算复杂性 · 计算机科学 2014-11-25 Vladimir Naidenko

Complex system arises as a result of the nonlinear interactions between components. In particular, the evolutionary dynamics of a multivariate system encodes the ways in which different variables interact with each other individually or in…

信息论 · 计算机科学 2020-04-22 Peishi Jiang , Praveen Kumar

Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk,…

计算机科学中的逻辑 · 计算机科学 2021-08-13 Nils Kürbis

Existing information-theoretic frameworks based on maximum entropy network ensembles are not able to explain the emergence of heterogeneity in complex networks. Here, we fill this gap of knowledge by developing a classical framework for…

物理与社会 · 物理学 2020-07-08 Filippo Radicchi , Dmitri Krioukov , Harrison Hartle , Ginestra Bianconi

A systematic structure of particle interactions is predicted within and beyond the standard model. The proof is performed either on the basis of (A) a generalisable form of general relativity or, equivalently, (B) minimum information…

广义相对论与量子宇宙学 · 物理学 2016-02-22 Pierre-André Mandrin

Experiments in cognitive science and decision theory show that the ways in which people combine concepts and make decisions cannot be described by classical logic and probability theory. This has serious implications for applied disciplines…

人工智能 · 计算机科学 2013-01-08 Diederik Aerts , Liane Gabora , Sandro Sozzo , Tomas Veloz

Interacting systems are ubiquitous in nature and engineering, ranging from particle dynamics in physics to functionally connected brain regions. These interacting systems can be modeled by graphs where edges correspond to the interactions…

机器学习 · 计算机科学 2024-01-25 Zhichao Han , Olga Fink , David S. Kammer

We show that the separability of states in quantum mechanics has a close counterpart in classical physics, and that conditional mutual information (a.k.a. conditional information transmission) is a very useful quantity in the study of both…

量子物理 · 物理学 2007-05-23 Robert R. Tucci

A convenient algebraic structure to describe some forms of dynamics of two hamiltonian systems with nonpotential (magnetic--type) interaction is considered. An algebraic mechanism of generation of such dynamics is explored on simple "toy"…

solv-int · 物理学 2008-02-03 Denis V. Juriev

We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…

计算机科学中的逻辑 · 计算机科学 2013-03-01 Ruggero Pagnan