Logic Theorist je počítačový program, který v letech 1955 a 1956 napsali Alan Newell, Herbert Simon a J. C. Shaw. Byl to první program záměrně vytvořený tak, aby napodoboval schopnosti člověka řešit problémy, a je označován za „první program umělé inteligence“. Nakonec dokázal 38 z prvních 52 vět Russellova a Whiteheadova díla 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 Logic Theorist, obor umělé inteligence ještě neexistoval. Dokonce i samotný termín („umělá inteligence“) měl vzniknout až v létě následujícího roku.
Herbert Simon byl vzděláním politolog a již dříve vytvořil klasickou práci o fungování byrokracie a rozvinul svou teorii omezené racionality (za kterou později získal Nobelovu cenu). Studium obchodních organizací se na první pohled může 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á, jak na počátku 50. let konzultoval v RAND a viděl tiskárnu, která vypisovala mapu pomocí běžných písmen a interpunkčních znamének. Uvědomil si, že stroj, který dokáže 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ědecký pracovník společnosti RAND Corporation zabývající se logistikou a teorií organizace. Rozhodujícím okamžikem byl pro Newella rok 1954, kdy do RANDu přišel Oliver Selfridge, aby popsal svou práci na porovnávání vzorů. Při sledování prezentace Newell náhle pochopil, jak může interakce jednoduchých programovatelných jednotek dosáhnout složitého chování, včetně inteligentního chování lidí. „Všechno se to stalo za jedno odpoledne,“ řekl později. Byl to vzácný okamžik vědeckého prozření.
Měl jsem tak jasný pocit, že tohle je nová cesta, po které se chystám jít. Takový pocit jsem neměl mnohokrát. Jsem dost skeptický, a tak se obvykle do ničeho nepouštím, ale v tomto případě se mi to podařilo. Úplně pohlcený tím – bez existence dvou nebo tří úrovní vědomí, takže pracujete a uvědomujete si, že pracujete, a uvědomujete si následky a důsledky, normální způsob myšlení. Ne. Úplně pohlcený na deset až dvanáct hodin.
Newell a Simon začali hovořit o možnosti naučit stroje myslet. Jejich prvním projektem byl program, který by dokázal dokázat matematické věty, jaké byly použity v Principia Mathematica Bertranda Russella a Alfreda Northa Whiteheada. S vývojem programu jim pomohl počítačový programátor J. C. Shaw, rovněž z RANDu. (Newell říká, že „Cliff byl z těch tří skutečný počítačový vědec“).
První verze byla ručně simulovaná: program napsali na kartičky 3×5 a, jak vzpomíná Simon:
V lednu 1956 jsme se sešli s mou ženou a třemi dětmi a několika postgraduálními studenty. Každému členovi skupiny jsme dali jednu z karet, takže se každý z nich stal v podstatě součástí počítačového programu… Zde příroda napodobovala umění napodobující přírodu.
Podařilo se jim ukázat, že program dokáže úspěšně dokazovat věty stejně dobře jako talentovaný matematik. Nakonec se Shawovi podařilo spustit program na počítači v zařízení RAND v Santa Monice.
V létě 1956 uspořádali John McCarthy, Marvin Minsky, Claude Shannon a Nathan Rochester konferenci na téma, které nazvali „umělá inteligence“ (termín, který McCarthy pro tuto příležitost vymyslel). Newell a Simon hrdě představili skupině teoretiky logiky a byli poněkud překvapeni, když se program setkal s vlažným přijetím. Pamela McCorducková píše, že „důkazem je, že nikdo kromě samotných Newella a Simona netušil dlouhodobý význam toho, co dělají“. Simon se svěřuje, že „jsme k tomu všemu byli asi dost arogantní“, a dodává:
Nechtěli o nás slyšet a my o nich rozhodně nechtěli slyšet: měli jsme jim co ukázat! … Svým způsobem to byla ironie, protože první příklad toho, o co jim šlo, jsme už měli za sebou; a za druhé, nevěnovali tomu velkou pozornost.
Teoretik logiky brzy dokázal 38 z prvních 52 vět ve 2. kapitole Principia Mathematica. Důkaz věty 2.85 byl ve skutečnosti elegantnější než důkaz, který pracně ručně vytvořili Russell a Whitehead. Simon mohl nový důkaz předvést samotnému Bertrandu Russellovi, který „reagoval s nadšením“. Pokusili se nový důkaz publikovat v časopise The Journal of Symbolic Logic, ale byl odmítnut s odůvodněním, že nový důkaz elementární matematické věty není pozoruhodný, přičemž zřejmě přehlédli, že jedním z autorů byl počítačový program. Našel také elegantní důkaz věty o rovnoramenném trojúhelníku.
Newell a Simon vytvořili trvalou spolupráci, založili jednu z prvních laboratoří umělé inteligence na Carnegie Tech a vyvinuli řadu vlivných programů a myšlenek umělé inteligence, včetně GPS, Soar a jejich jednotné teorie poznání.
Vliv teoretiků logiky na umělou inteligenci
Teoretik logiky zavedl několik konceptů, které budou mít zásadní význam pro výzkum umělé inteligence:
Filozofické důsledky
Pamela McCorducková píše, že Teoretik logiky byl „pozitivním důkazem, že stroj může vykonávat úkoly, které byly dosud 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 v lednu 1956 na postgraduálním kurzu slavně řekl: „O Vánocích jsme s Alem Newellem vynalezli stroj na myšlení.“
a napsal:
[Vynalezli jsme] počítačový program schopný myslet nečíselně, a tím jsme vyřešili úctyhodný problém mysli a těla, který vysvětluje, jak může mít systém složený z hmoty vlastnosti mysli.
Toto tvrzení, že stroje mohou mít mysl stejně jako lidé, později filozof John Searle nazval „silnou umělou inteligencí“. Dodnes je předmětem vážných diskusí.
Pamela McCorducková vidí v Teoretikovi logiky také debut nové teorie mysli, modelu zpracování informací (někdy nazývaného komputacionalismus). Píše, že „tento názor se stane ústředním bodem jejich pozdější práce a podle jejich názoru bude pro pochopení mysli ve dvacátém století stejně zásadní, jako byl Darwinův princip přírodního výběru pro pochopení biologie ve století devatenáctém“. Newell a Simon později tento návrh formalizovali jako hypotézu fyzikálních symbolických systémů.