1: \begin{abstract}

2: The problem of replicating the flexibility of human common-sense reasoning has captured the imagination of computer scientists since

3: the early days of Alan Turing's foundational work on computation and the philosophy of artificial intelligence.

4: In the intervening years, the idea of cognition as computation has emerged as a fundamental

5: tenet of Artificial Intelligence (AI) and cognitive science.

6: But what kind of computation is cognition?

7: 

8: We describe a computational formalism centered around a probabilistic Turing machine called \query, which captures the operation of probabilistic conditioning via \emph{conditional simulation}.

9: Through several examples and analyses, we demonstrate how the 

10: \query\ abstraction can be used to cast common-sense reasoning as

11: probabilistic inference in a statistical model of our observations and the uncertain

12: structure of the world that generated that experience.

13: This formulation is a recent synthesis of several research programs in AI and cognitive science, but it also

14: represents a surprising convergence of several of Turing's

15: pioneering insights in AI, the foundations of computation, and statistics.

16: \end{abstract}

17: