Logický teoretik je počítačový program napsaný v letech 1955 a 1956 Alanem Newellem, Herbertem Simonem a J. C. Shawem. Byl to první program záměrně navržený tak, aby napodoboval schopnosti lidské bytosti řešit problémy a nazývá se „první program umělé inteligence“. Nakonec by dokázal 38 z prvních 52 vět v Russellově a Whiteheadově Principia Mathematica a pro některé našel nové a elegantnější důkazy.
V roce 1955, kdy Newell a Simon začali pracovat na Logickém teoretikovi, obor umělé inteligence ještě neexistoval. Dokonce i samotný termín („umělá inteligence“) měl vzniknout až následující léto.
Herbert Simon byl vzděláním politolog a již vypracoval klasickou práci o tom, jak funguje byrokracie, a rozvinul svou teorii omezené racionality (za kterou později získal Nobelovu cenu). Studium obchodních organizací se může na první pohled zdát velmi odlišné od umělé inteligence, ale vyžaduje stejný vhled do podstaty lidského řešení problémů a rozhodování. Simon si vzpomíná, že na počátku 50. let konzultoval v RAND a viděl tiskaře, jak vyťukává mapu a používá obyčejná písmena a interpunkci jako symboly. Uvědomil si, že stroj, který umí manipulovat se symboly, může stejně dobře simulovat rozhodování a možná i proces lidského myšlení.
Program, který mapu vytiskl, napsal Alan Newell, vědec z RAND Corporation studující logistiku a teorii organizace. Pro Newella byl rozhodujícím okamžikem rok 1954, kdy Oliver Selfridge přišel do RAND popsat svou práci o shodě vzorů. Newell sledoval prezentaci a náhle pochopil, jak může interakce jednoduchých, programovatelných jednotek dosáhnout komplexního chování, včetně inteligentního chování lidských bytostí. „Všechno se to stalo během jednoho odpoledne,“ říkával později. Byl to vzácný okamžik vědeckého prozření.
Měl jsem takový pocit jasnosti, že tohle je nová cesta a že se po ní vydám. Mockrát jsem ten pocit nezažil. Jsem dost skeptický, a tak normálně nevycházím na houkačku, ale na tuhle jsem se vydal. Úplně jsem se do ní ponořil – aniž bych existoval s vědomím dvou nebo tří úrovní, takže pracujete, a uvědomoval si, že pracujete, a uvědomoval si důsledky a důsledky, normální způsob myšlení. Ne. Úplně jsem se do ní ponořil na deset až dvanáct hodin.
Newell a Simon začali mluvit o možnosti učit stroje myslet. Jejich prvním projektem byl program, který by mohl dokázat matematické věty, jaké se používají v Principia Mathematica Bertranda Russella a Alfreda North Whiteheada. K vývoji programu si přizvali na pomoc počítačového programátora J. C. Shawa, také z RAND. (Newell říká, že „Cliff byl skutečným počítačovým vědcem všech tří“).
První verze byla ručně simulovaná: napsali program na 3×5 karty a, jak Simon vzpomínal:
V lednu 1956 jsme dali dohromady mou ženu a tři děti s několika postgraduálními studenty. Každému členovi skupiny jsme dali jednu z karet, takže každá z nich se vlastně stala součástí počítačového programu… Zde byla příroda napodobující umění napodobující přírodu.
Podařilo se jim prokázat, že program by mohl úspěšně prokázat věty, stejně jako talentovaný matematik. Nakonec Shaw byl schopen spustit program na počítači v zařízení RAND Santa Monica.
V létě 1956 zorganizovali John McCarthy, Marvin Minsky, Claude Shannon a Nathan Rochester konferenci na téma toho, co nazvali „umělou inteligencí“ (termín, který pro tuto příležitost zavedl McCarthy). Newell a Simon hrdě představili skupině Logický teoretik a byli poněkud překvapeni, když se programu dostalo vlažného přijetí. Pamela McCorduck píše, že „důkaz je, že nikdo kromě Newella a Simona sám nevycítil dlouhodobý význam toho, co dělali“. Simon se svěřuje, že „jsme byli pravděpodobně poměrně arogantní ohledně toho všeho“ a dodává:
Nechtěli od nás nic slyšet a my jsme určitě nechtěli nic slyšet od nich: měli jsme jim co ukázat! Svým způsobem to byla ironie, protože už jsme udělali první příklad toho, o co jim šlo; a za druhé, nevěnovali tomu velkou pozornost.
Logický teoretik brzy ukázal 38 z prvních 52 vět v kapitole 2 z Principia Mathematica. Důkaz o věta 2.85 byl ve skutečnosti více elegantní než důkaz vyrobené pracně ručně Russell a Whitehead. Simon byl schopen ukázat nový důkaz, aby Bertrand Russell sám kteří „reagovala s radostí.“ Oni se pokusili zveřejnit nový důkaz ve věstníku symbolické logiky, ale to bylo zamítnuto z důvodu, že nový důkaz o elementární matematické věta nebyla pozoruhodná, zřejmě přehlédnout skutečnost, že jeden z autorů byl počítačový program. To také našel elegantní důkaz pro rovnoramenný trojúhelník věta.
Newell a Simon vytvořili trvalé partnerství, založili jednu z prvních AI laboratoří na Carnegie Tech a vyvinuli řadu vlivných programů a nápadů umělé inteligence, včetně GPS, Soar a jejich jednotné teorie poznávání.
Logický Theoristův vliv na AI
Logický teoretik představil několik konceptů, které by byly stěžejní pro výzkum AI:
Filosofické důsledky
Pamela McCorduck píše, že logický teoretik byl „důkazem pozitivního faktu, že stroj mohl vykonávat úkoly, které jsou zde považovány za inteligentní, kreativní a jedinečně lidské“. A jako takový představuje milník ve vývoji umělé inteligence a našeho chápání inteligence obecně.
Simon proslul tím, že v lednu 1956 řekl jedné absolventské třídě: „O Vánocích jsme s Al Newellem vymysleli myslící stroj“,
a napsal:
[Jsme] vynalezl počítačový program schopný myslet non-numericky, a tím vyřešit ctihodný mysl-tělo problém, vysvětluje, jak systém složený z hmoty může mít vlastnosti mysli.
Toto tvrzení, že stroje mohou mít mysl stejně jako lidé, by později pojmenoval filozof John Searle „Silná AI“. Zůstává vážným předmětem diskusí až do současnosti.
Pamela McCorduck také vidí v Logické teoretičce debut nové teorie mysli, modelu zpracování informací (někdy nazývaného computationalismus). Píše, že „tento pohled se stal ústředním bodem jejich pozdější práce a podle jejich názoru stejně ústředním pro pochopení mysli ve dvacátém století, jako byl Darwinův princip přirozeného výběru pro pochopení biologie v devatenáctém století.“ Newell a Simon později formalizovali tento návrh jako hypotézu fyzikálních symbolových systémů.