Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence

by   Cameron E. Freer, et al.

The problem of replicating the flexibility of human common-sense reasoning has captured the imagination of computer scientists since the early days of Alan Turing's foundational work on computation and the philosophy of artificial intelligence. In the intervening years, the idea of cognition as computation has emerged as a fundamental tenet of Artificial Intelligence (AI) and cognitive science. But what kind of computation is cognition? We describe a computational formalism centered around a probabilistic Turing machine called QUERY, which captures the operation of probabilistic conditioning via conditional simulation. Through several examples and analyses, we demonstrate how the QUERY abstraction can be used to cast common-sense reasoning as probabilistic inference in a statistical model of our observations and the uncertain structure of the world that generated that experience. This formulation is a recent synthesis of several research programs in AI and cognitive science, but it also represents a surprising convergence of several of Turing's pioneering insights in AI, the foundations of computation, and statistics.


page 1

page 2

page 3

page 4


The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence

Recent research in artificial intelligence and machine learning has larg...

Turing Test and the Practice of Law: The Role of Autonomous Levels of AI Legal Reasoning

Artificial Intelligence (AI) is increasingly being applied to law and a ...

Alan Turing and the "Hard" and "Easy" Problem of Cognition: Doing and Feeling

The "easy" problem of cognitive science is explaining how and why we can...

AI Centered on Scene Fitting and Dynamic Cognitive Network

This paper briefly analyzes the advantages and problems of AI mainstream...

The Mathematician's Bias - and the Return to Embodied Computation

There are growing uncertainties surrounding the classical model of compu...

Post Selections Using Test Sets (PSUTS) and How Developmental Networks Avoid Them

This paper raises a rarely reported practice in Artificial Intelligence ...

Learning Perceptual Inference by Contrasting

"Thinking in pictures," [1] i.e., spatial-temporal reasoning, effortless...