En naša dodávka Predtým sme povedali, ako Simon, teoretik politológie, spolu s fyzikom menom Newell a poistným matematikom, ktorý sa stal programátorom menom Shaw, začali s výstavbou prvého programu umelej inteligencie známeho ako Logický teoretik. To si vyžadovalo vynález prvého špecifického programovacieho jazyka pre umelú inteligenciu
Tento príbeh sme nechali s trojicou spolu so spolupracovníkmi a rodinou simulujúc správanie rôznych častí programu pomocou ľudí a ručne písaných kariet.
Po niekoľkých takýchto simuláciách bol program implementovaný na skutočnom počítači. Test bol úspešný ako softvéru sa podarilo dokázať tridsaťosem teorém jednej z kapitol knihy Principia Matemática od Russella a Whiteheada. Dokonca v jednom z prípadov (a bez toho, aby mal na to konkrétny návod) našiel spôsob, ako to otestovať oveľa „elegantnejšie“ ako autori knihy.
Prvý programovací jazyk pre umelú inteligenciu
Skutočnosť, že Simonovi a jeho tímu trvalo napísanie ich programu tak dlho, je preto potrebovali špecifický programovací jazyk, ktorý by mal na ich účely dostatok výkonu a flexibility. Tento jazyk sa nazýval IPL (Information Processing Language) a prvýkrát zaviedol techniku spracovania zoznamu pre programovanie.
IPL sa v tom líšilo od vtedajších jazykov na vysokej úrovni nevyžadoval, aby boli symboly definované vopred, a mal schopnosť spájať a upravovať štruktúry symbolov.
Technika takzvaného spracovania zoznamu pozostáva z uloženie každej informácie spolu s návodom, ako nájsť informácie, ktoré sú s nimi spojené. Zmenou indikácií možno vybudovať nové asociácie.
"Všeobecný riešiteľ problémov"
Na vytvorenie ďalšieho softvéru sa Simon a Newell rozhodli vyskúšať iný prístup. V tom čase kolovalo psychologické vyšetrovanie, ktoré vyzývalo účastníkov, aby nahlas vysvetlili spôsob, akým riešili logické problémy. Dvojica zistila, že tieto formuláre sú úplne odlišné od tých, ktoré používa ich softvér, a tak sa rozhodli urobiť vlastnú verziu vyšetrovania a vytvoriť softvér založený na metódach opísaných účastníkmi. Program (známy ako GPS for General Problem Solver) bol kódovaný na základe organizácie informácií a heuristiky nezávisle od úloh, ktoré boli požiadané o vykonanie.
Táto nová metodika dostala názov „analýza medzi prostriedkami“ a pozostáva z porovnajte súčasnú situáciu s ideálom a urobte opatrenia, ktoré znížia rozdiel medzi nimi a potom prehodnoťte, kým sa rozdiel nezníži na nulu. Táto metodika umožňuje programu reagovať na zmeny v premenných problému. Programátor označí problém a takzvanú rozdielovú tabuľku, v ktorej sú uvedené možné postupy a za akých okolností.
GPS dokázalo rozložiť problém na čiastkové problémy a použiť prístup spätného sledovania, to znamená, že ak by jedna cesta nefungovala, vrátil by sa a nasledoval by inú.
Počas 11 rokov prevádzky GPS vyriešilo hádanky, vykonalo symbolickú integráciu a prelomilo tajné kódy.
Zatiaľ čo sa tým Simon a Newell zabávali, študent menom Robert K. Lindsay vyvinul program známy ako SAD SAM. mäkké dokázal vytiahnuť informácie z viet typu „Juan je Pepov syn“ a „Juan je Albertov brat“ a zostaviť rodokmeňvychovávať, že Alberto je aj Pepov syn (netuším, ako by to zvládal s nevlastnými rodinami dnešného sveta.
Vtedajší gigant počítačového priemyslu, IBM, samozrejme nemohol zostať stranou výskumu umelej inteligencie, odboru, ktorý už uprostred studenej vojny odhaľoval obrovský potenciál pre vojenské aplikácie a v nasledujúcom článku bude hovoriť o svojich prvých príspevkoch v tejto oblasti.