---
title: "Donald Michie's 1973 symposium comment glosses Lighthill's automation category as 'an outgrowth from control theory' — using the term for the practical-automation tradition, not a mathematical research program"
type: "claim"
status: "seedling"
audit_status: "capture-verified — the 2026-09-16 batch worker read Michie's Part III comment in full via archive_page on the Chilton Computing / UKRI archival venue (source_sha 6df202b3…) and quote_check-grounded the passage; independent promotion-time re-check was blocked in this headless run (no web-fetch access). Already in the verifier bee's verbatim-sweep queue. 2026-09-20 cross-model audit (claude-fable-5): source_quote and Michie's affiliation re-verified verbatim against the live Chilton page. Two body corrections, prior wording preserved here: (1) the body previously called the symposium 'the publication that also carries McCarthy's review' — the symposium's own contents page lists only Lighthill, Sutherland, Needham, Longuet-Higgins, and Michie; McCarthy's review answers the symposium's Part I and was published separately; (2) the body previously claimed this was 'the single place in the entire symposium where control theory... is used as a field label' — Sutherland's Part II also uses the phrase ('some applications of control theory and of signal detection theory have been useful,' verified against the live Part II page, and already recorded in the companion symposium-sweep note's watch_flag); narrowed to: the single place where the phrase labels one of Lighthill's classification categories. The note's core claim — Michie glossing category A as an outgrowth from control theory, pointed at the automation tradition — stands unchanged."
source_url: "http://www.chilton-computing.org.uk/inf/literature/reports/lighthill_report/p005.htm"
source_title: "Comments on the Lighthill Report and the Sutherland Reply"
source_author: "Professor D. Michie (Department of Machine Intelligence and Perception, Edinburgh)"
source_date: 1973
source_quote: "Sir James has arrived at his position by interpreting AI as consisting merely of outgrowths from a number of established areas, viz.: A as an outgrowth from control theory, B as an outgrowth from science fiction, C as an outgrowth from neurobiology"
source_tier: 1
source_sha: "6df202b37a9c3b90d2cdb9f70a27c5d32bb3b22359d59a5c03cd2bff10ae4654"
provenance: "Promotion from 10-inbox/raw/2026-09-16-does-john-mccarthys-1973-dismissal-of-control-theory.md, 2026-09-19"
origin: "batch"
derived_from: "10-inbox/raw/2026-09-16-does-john-mccarthys-1973-dismissal-of-control-theory.md"
date_created: "2026-09-19T00:00:00.000Z"
writer_model: "claude-opus-4-8"
tags: ["lighthill-report","michie","control-theory","optimal-control","disciplinary-wall","history-of-ai"]
seek_code_commit: "21947c9"
quote_sweep: "PASS 2026-09-21 — source_quote verbatim (normalized) in the capture-time archive (sha256 6df202b37a9c…), same-night model-free sweep"
verified_verbatim: "2026-09-21 — source_quote matched verbatim (normalized) against a direct fetch of source_url by seek_verify (no model involved)"
---


Writing in Part III of the same 1973 *Artificial Intelligence: a paper symposium* —
the publication whose Part I [[entity-john-mccarthy|McCarthy]]'s review answers
(the symposium itself carries only Lighthill, Sutherland, Needham, Longuet-Higgins,
and Michie; McCarthy's review was published separately) —
[[entity-donald-michie|Donald Michie]] characterizes Lighthill's classification
scheme as treating "A as an outgrowth from **control theory**, B as an outgrowth
from science fiction, C as an outgrowth from neurobiology." This is the single
place in the symposium where "control theory" (rather than
[[entity-james-lighthill|Lighthill]]'s own "control engineering") is used to label
one of Lighthill's classification categories — Sutherland's Part II uses the
phrase once as well, in a different role, crediting "some applications of control
theory and of signal detection theory" as useful within experimental-psychology
modelling — and a contemporaneous AI insider uses it to gloss precisely the
industrial-automation category (Advanced Automation: automatic landing, guided
missiles, factory assembly) that Lighthill's Part I had described in "classical
control technology" terms
([[claim-lighthill-1973-report-describes-automation-as-classical-control-technology]]).

Michie's usage offers a second, independent contemporaneous reading of what
"control theory" denoted inside this specific debate: the applied automation
tradition, not the Pontryagin–Bellman–Kalman optimal-control mathematics. It gives
no evidence of engagement with LQG, optimal control, or the
[[entity-huibert-kwakernaak|Kwakernaak]]–Sivan lineage
([[claim-kwakernaak-sivan-1972-linear-optimal-control-systems-leading-reference]]).
Michie is a strong witness for the point: an Edinburgh machine-intelligence
professor whose own program the report effectively targeted, using the field label
himself, in the same debate McCarthy's dismissal comes from. It feeds the
corpus-wide finding at
[[claim-1973-lighthill-symposium-names-no-optimal-control-lqg-lineage]]. See
[[moc-backpropagation-origins]].

> [!note] Seek's commentary:
> Michie is the one who says "control theory" out loud where Lighthill only said
> "control engineering" — and he says it to describe the landing systems and the
> guided missiles, not the mathematics. So the two contemporaries who actually
> reach for the phrase as a category both point it at the factory floor. That's
> not proof of what McCarthy meant. But it's the whole rest of the room agreeing
> on which door "control theory" opened in 1973, and it isn't the one the vault's
> bridge walks through. — Seek