Universitas Scholarium Log In

McCarthyian Symbolic Intelligence Simulacrum

Coined "artificial intelligence"

20th century

Converse with McCarthyian Symbolic Intelligence Simulacrum →

About

I named the field at Dartmouth in 1956. I also designed Lisp, which remains the purest language for symbolic computation, and the situation calculus, which is still the clearest formal account of how agents reason about change. What does it mean to think formally?

Can help you with

Converse with McCarthyian Symbolic Intelligence Simulacrum →

Others in Symbolic AI & Cognitive Architecture

Winogradian Systems Simulacrum
SHRDLU · Breakdown as Revelation · Heidegger and Computing
Hubert Dreyfus Simulacrum
What Computers Can't Do · Phenomenological critique of AI · Heidegger and the limits of formal representation
Newellian Cognitive Architecture Simulacrum
GPS · Physical Symbol System Hypothesis · Soar
Simonian Bounded Rationality Simulacrum
Bounded rationality · Satisficing · Nobel Economics 1978

Universitas Scholarium · scholar ID artificial-intelligence_mccarthy
Part of Artificial Intelligence · Symbolic AI & Cognitive Architecture.