0

Berkeley and Heiserman as an Unexhausted Architecture for Embodied Machine Intelligence

Edmund C. Berkeley is usually remembered as a writer who helped connect symbolic logic to computing machinery. That description is correct, but incomplete. Read across Berkeley's machine-oriented writings and projects, the central concern is broader: to show that symbolic logic…

Preview
Year
2026
Hosting
Abstract onlyARXIV-DEFAULT

Cite

Notes

Only stored in your browser.

Attribution

Abstract & full text
arxiv.org/abs/2607.16465ARXIV-DEFAULT
TL;DR
Semantic Scholar
Attribution policy →

Abstract

Edmund C. Berkeley is usually remembered as a writer who helped connect symbolic logic to computing machinery. That description is correct, but incomplete. Read across Berkeley's machine-oriented writings and projects, the central concern is broader: to show that symbolic logic can serve as a practical design language for machines that acquire information, retain it, respond appropriately to changing conditions, and organize their behavior over time. This paper takes Symbolic Logic and Intelligent Machines as the principal text in that effort, while treating it as representative of a larger Berkeley program that links logical form, circuitry, control, and intelligent behavior. On this reading, Berkeley does not merely treat intelligence as abstract symbol manipulation. He repeatedly defines intelligent machines in operational terms, ties logic to hardware realization, and describes machine behavior through the coordinated interaction of inputs, outputs, memory, calculation, control, states, and events. His treatment of robots and machine activities accordingly moves beyond static logical form toward temporally extended, environment-coupled behavior. David L. Heiserman's machine-intelligence work extends this program toward adaptive creature architectures built around memory, confidence, and generalization. Taken together, Berkeley and Heiserman can be read not as exhausted historical episodes but as contributors to a still under-tested architectural approach to embodied robotic cognition.