Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Constraints and Statical Determinacy01:26

Constraints and Statical Determinacy

In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
Statically Indeterminate Problem Solving01:16

Statically Indeterminate Problem Solving

Statically indeterminate problems are those where statics alone can not determine the internal forces or reactions. Consider a structure comprising two cylindrical rods made of steel and brass. These rods are joined at point B and restrained by rigid supports at points A and C. Now, the reactions at points A and C and the deflection at point B are to be determined. This rod structure is classified as statically indeterminate as the structure has more supports than are necessary for maintaining...
Language and Cognition01:27

Language and Cognition

Language serves as a bridge between ideas and communication, influencing how individuals perceive and interact with the world. Psychologists have long debated whether language shapes thought or vice versa. This discussion gained grip with Edward Sapir and Benjamin Lee Whorf in the 1940s, who proposed that language determines thought, a concept known as linguistic determinism. They suggested that the vocabulary and structure of a language influence how its speakers think and perceive reality.
Counterfactual Thinking01:19

Counterfactual Thinking

Counterfactual thinking is a cognitive process wherein individuals mentally reconstruct alternative versions of past events, often beginning with “what if” or “if only.” This reflective mechanism plays a significant role in shaping emotional experiences and guiding future behavior. Though typically triggered by unfavorable or unexpected outcomes, counterfactual thinking can also emerge in mundane, everyday decisions and experiences, revealing its deep entrenchment in human cognition.Types of...
Higher Mental Functions of the Brain: Language01:10

Higher Mental Functions of the Brain: Language

Language is a system of communication that allows the expression of thoughts, ideas, and feelings. The brain processes language in both hemispheres.
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 Solving01:14

Castigliano's Theorem: Problem Solving

The deflection of a simply supported beam that carries a central point load can be analyzed using structural mechanics principles, particularly by applying Castigliano's theorem. This theorem relates the displacement at the load application point to the partial derivatives of the strain energy in the structure. The simply supported beam with a point load at its center has symmetric reaction forces at the supports, each bearing half of the load. The bending moment at any point along the beam is...

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

People use fast and flat simulation to reason about new games.

Nature·2026
Same author

Evidence from formal logical reasoning reveals that the language of thought is not natural language.

Proceedings of the National Academy of Sciences of the United States of America·2026
Same author

Contractualist moral cognition needs a legalese-of-thought.

The Behavioral and brain sciences·2026
Same author

Computational models of social cognition should incorporate social relationships as core primitives.

The Behavioral and brain sciences·2026
Same author

Neural representation of action symbols in primate frontal cortex.

Nature·2026
Same author

Human-level learning of complex novel tasks as theory-based modelling, exploration and planning.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2026

Related Experiment Video

Updated: May 22, 2026

Task Interruption and Resumption Paradigm for Testing the Activation and Pursuit of an Abstract Thinking Goal
06:45

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.

Topics in Cognitive Science
|May 21, 2026
PubMed
Summary

This study introduces a new "wants" construct for the memo programming language, enhancing theory-of-mind reasoning. This goal representation integrates desires with cognitive concepts, advancing artificial intelligence research.

Keywords:
Bayesian modelingComputational modelingLanguage of thought hypothesisProgramming languagesTheory of mind

More Related Videos

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
11:54

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface

Published on: May 8, 2021

Related Experiment Videos

Last Updated: May 22, 2026

Task Interruption and Resumption Paradigm for Testing the Activation and Pursuit of an Abstract Thinking Goal
06:45

Task Interruption and Resumption Paradigm for Testing the Activation and Pursuit of an Abstract Thinking Goal

Published on: April 18, 2017

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface
11:54

Real-Time Proxy-Control of Re-Parameterized Peripheral Signals using a Close-Loop Interface

Published on: May 8, 2021

Area of Science:

  • Artificial Intelligence
  • Cognitive Science
  • Computer Science

Background:

  • Integrating goals with theory-of-mind (ToM) reasoning is complex.
  • Existing computational models may not fully capture the nuances of desire and intention.

Purpose of the Study:

  • To develop a novel goal representation for flexible integration with ToM concepts.
  • To extend the memo programming language with a "wants" construct for goal representation.

Main Methods:

  • Extended the memo programming language with a new "wants" syntactic construct.
  • Utilized the concept of "continuations" from programming language theory to implement "wants".

Main Results:

  • The "wants" construct successfully integrates with other memo primitives.
  • Demonstrated the representation of diverse and complex goals using the new construct.

Conclusions:

  • The "wants" construct provides a powerful tool for computational ToM.
  • The design offers insights into the broader concept of desire in artificial agents.