Related Experiment Video
Updated: May 22, 2026

Task Interruption and Resumption Paradigm for Testing the Activation and Pursuit of an Abstract Thinking Goal
Published on: April 18, 2017
Conniving With Continuations: Representing Goals in a Domain-Specific Language of Thought
Kartik Chandra1, Rebecca R Saxe2, Jonathan Ragan-Kelley1
1Computer Science & Artificial Intelligence Laboratory (CSAIL), Massachusetts Institute of Technology.
Abstract:
Wanting composes flexibly with knowing: we can want to know, want to know what someone wants, and so on. In this paper, we develop a goal representation that allows for this type of rich integration between goals and other theory-of-mind concepts. We extend the memo programming language, which is specialized for theory-of-mind reasoning, with a new syntactic construct called "wants" that represents goals. To implement "wants," we borrow an idea from programming language theory: the notion of a "continuation," which allows reasoning about possible future states of a program. We show that the new "wants" construct can be composed with other memo primitives to represent a wide variety of interesting goals, and we discuss what the design of this construct can teach us about the concept of desire more broadly.
Related Concept Videos
Constraints and Statical Determinacy
Statically Indeterminate Problem Solving
Language and Cognition
Counterfactual Thinking
Higher Mental Functions of the Brain: Language
Language formation and comprehension take place in the dominant hemisphere. The dominant hemisphere is responsible for understanding the meaning of spoken, written, or sign language, as well as the ability to communicate. For most people, the left hemisphere is the dominant one. The right hemisphere, then, gives tone and emotional context to the...
Castigliano's Theorem: Problem Solving
