中文
相关论文

相关论文: Superrecursive Features of Interactive Computation

200 篇论文

What is the nature of curiosity? Is there any scientific way to understand the origin of this mysterious force that drives the behavior of even the stupidest naturally intelligent systems and is completely absent in their smartest…

人工智能 · 计算机科学 2016-06-28 Alex Ushveridze

A novel computing model, called \emph{Probe Machine}, is proposed in this paper. Different from Turing Machine, Probe Machine is a fully-parallel computing model in the sense that it can simultaneously process multiple pairs of data, rather…

计算复杂性 · 计算机科学 2016-03-01 Jin Xu

Can a problem undecidable with classical resources be decidable with quantum ones? The answer expected is no; as both being Turing theories, they should not solve the Halting problem - a problem unsolvable by any Turing machine. Yet, we…

量子物理 · 物理学 2021-12-28 Airin Antony

Inspired by the extraordinary computing power promised by quantum computers, the quantum mind hypothesis postulated that quantum mechanical phenomena are the source of neuronal synchronization, which, in turn, might underlie consciousness.…

人工智能 · 计算机科学 2015-04-17 Peter A. van der Helm

The problem is to evaluate the behavior of an object when primary sources of information about the object become unavailable, so that any information must be obtained from the intelligent use of available secondary sources. This evaluative…

信息论 · 计算机科学 2019-03-15 John J. Benedetto , Michael R. Dellomo

Recent works have independently suggested that Quantum Mechanics might permit for procedures that transcend the power of Turing Machines as well as of `standard' Quantum Computers. These approaches rely on and indicate that Quantum…

量子物理 · 物理学 2010-05-10 Martin Ziegler

This paper investigates two issues on identification of switched linear systems: persistence of excitation and numerical algorithms. The main contribution is a much weaker condition on the regressor to be persistently exciting that…

系统与控制 · 电气工程与系统科学 2021-12-07 Biqiang Mu , Tianshi Chen , Changming Cheng , Er-Wei Bai

Evaluating higher-order functional programs through abstract machines inspired by the geometry of the interaction is known to induce $\textit{space}$ efficiencies, the price being $\textit{time}$ performances often poorer than those…

编程语言 · 计算机科学 2020-10-27 Beniamino Accattoli , Ugo Dal Lago , Gabriele Vanoni

Models that can simulate how environments change in response to actions can be used by agents to plan and act efficiently. We improve on previous environment simulators from high-dimensional pixel observations by introducing recurrent…

人工智能 · 计算机科学 2017-04-20 Silvia Chiappa , Sébastien Racaniere , Daan Wierstra , Shakir Mohamed

Abductive reasoning, reasoning for inferring explanations for observations, is often mentioned in scientific, design-related and artistic contexts, but its understanding varies across these domains. This paper reviews how abductive…

人工智能 · 计算机科学 2025-07-14 Abhinav Sood , Kazjon Grace , Stephen Wan , Cecile Paris

With artificial intelligence systems becoming ubiquitous in our society, its designers will soon have to start to consider its social dimension, as many of these systems will have to interact among them to work efficiently. With this in…

人工智能 · 计算机科学 2020-06-23 Santiago Cuervo , Marco Alzate

Undoing computations of a concurrent system is beneficial in many situations, e.g., in reversible debugging of multi-threaded programs and in recovery from errors due to optimistic execution in parallel discrete event simulation. A number…

计算机科学中的逻辑 · 计算机科学 2024-02-13 Ivan Lanese , Iain Phillips , Irek Ulidowski

While Artificial Intelligence has successfully outperformed humans in complex combinatorial games (such as chess and checkers), humans have retained their supremacy in social interactions that require intuition and adaptation, such as…

计算机与社会 · 计算机科学 2014-04-22 Fatimah Ishowo-Oloko , Jacob Crandall , Manuel Cebrian , Sherief Abdallah , Iyad Rahwan

The forest-of-octrees approach to parallel adaptive mesh refinement and coarsening (AMR) has recently been demonstrated in the context of a number of large-scale PDE-based applications. Although linear octrees, which store only leaf…

分布式、并行与集群计算 · 计算机科学 2015-11-05 Tobin Isaac , Carsten Burstedde , Lucas C. Wilcox , Omar Ghattas

We survey concepts at the frontier of research connecting artificial, animal and human cognition to computation and information processing---from the Turing test to Searle's Chinese Room argument, from Integrated Information Theory to…

人工智能 · 计算机科学 2015-12-25 Nicolas Gauvrit , Hector Zenil , Jesper Tegnér

Deviations from classical physics when distant quantum systems become correlated are interesting both fundamentally and operationally. There exist situations where the correlations enable collaborative tasks that are impossible within the…

量子物理 · 物理学 2019-05-08 Farid Shahandeh , Austin P. Lund , Timothy C. Ralph

Natural language processing has greatly benefited from the introduction of the attention mechanism. However, standard attention models are of limited interpretability for tasks that involve a series of inference steps. We describe an…

计算与语言 · 计算机科学 2018-09-03 Martin Tutek , Jan Šnajder

Artificial intelligence based on artificial neural networks, which are originally inspired by the biological architectures of human brain, has mostly been realized using software but executed on conventional von Neumann computers, where the…

无序系统与神经网络 · 物理学 2020-01-29 Qi Zheng , Xiaorui Zhu , Yuanyuan Mi , Zhe Yuan , Ke Xia

Existing abstract models of quantum computation make reference to circuit elements, much in contrast to their classical counterparts. Circuits, as a model of computation, substantially limit algorithmic expression and obscure high-level…

量子物理 · 物理学 2023-07-18 Santiago Núñez-Corrales

Cooperation between self-interested individuals is a widespread phenomenon in the natural world, but remains elusive in interactions between artificially intelligent agents. Instead, naive reinforcement learning algorithms typically…

多智能体系统 · 计算机科学 2025-01-16 John L. Zhou , Weizhe Hong , Jonathan C. Kao