Abstract:How does language inform our downstream thinking? In particular, how do humans make meaning from language--and how can we leverage a theory of linguistic meaning to build machines that think in more human-like ways? In this paper, we propose rational meaning construction, a computational framework for language-informed thinking that combines neural language models with probabilistic models for rational inference. We frame linguistic meaning as a context-sensitive mapping from natural language into a probabilistic language of thought (PLoT)--a general-purpose symbolic substrate for generative world modeling. Our architecture integrates two computational tools that have not previously come together: we model thinking with probabilistic programs, an expressive representation for commonsense reasoning; and we model meaning construction with large language models (LLMs), which support broad-coverage translation from natural language utterances to code expressions in a probabilistic programming language. We illustrate our framework through examples covering four core domains from cognitive science: probabilistic reasoning, logical and relational reasoning, visual and physical reasoning, and social reasoning. In each, we show that LLMs can generate context-sensitive translations that capture pragmatically-appropriate linguistic meanings, while Bayesian inference with the generated programs supports coherent and robust commonsense reasoning. We extend our framework to integrate cognitively-motivated symbolic modules (physics simulators, graphics engines, and planning algorithms) to provide a unified commonsense thinking interface from language. Finally, we explore how language can drive the construction of world models themselves. We hope this work will provide a roadmap towards cognitive models and AI systems that synthesize the insights of both modern and classical computational perspectives.

Exploratory Model Building

Minimal Cognitive Model for Deliberate Agents

An Exploration of Creative Reasoning

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning

Generative World Explorer

Models of Possibilities Instead of Logic as the Basis of Human Reasoning

Modeling Reasoning in a Social Setting

Art Design Reasoning Model Based On Rhombus Thought Models

Informal Physical Reasoning Processes

Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning

How a Minimal Learning Agent can Infer the Existence of Unobserved Variables in a Complex Environment

Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces

Towards Exploratory Reformulation of Constraint Models

Agents As Reasoners, Observers or Believers

From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought

Question Asking as Program Generation

A Model of Spatial Thinking for Computational Intelligence

A Framework for Non-Monotonic Reasoning About Probabilistic Assumptions

Composing Models.

Speculative Exploration on the Concept of Artificial Agents Conducting Autonomous Research

A General Form of Attribute Exploration