Universell problemlösare

The General Problem Solver ( GPS ) är ett datorprogram skapat 1959 av Herbert Simon , Clifford Shaw ( Eng  . Cliff Show ) och Allen Newell , designat för att fungera som en universell maskin för att lösa problem formulerade i Horns språkklausuler . Som exempel på användning gavs bevis på satser av euklidisk geometri och predikatlogik och lösningen av schackproblem .  

Programmet bygger på Simon och Newells teoretiska arbete om logiska maskiner. Anses vara det första datorprogrammet som försöker separera problemkunskap (regler som matas in i programmet) från problemlösningsstrategi (motor för gemensamma beslut). Beslutsalgoritmen implementerades i lågnivåprogrammeringsspråket IPL.

Även om GPS:en kunde lösa enkla problem som Towers of Hanoi-pusslet , kunde den inte hantera många verkliga problem eftersom sökandet efter en lösningskedja ledde till en kombinatorisk explosion i antalet mellanliggande steg.

Litteratur

• Newell, A.; Shaw, JC; Simon, H.A. (1959). Rapportera om ett allmänt problemlösningsprogram. Handlingar från den internationella konferensen om informationsbehandling. pp. 256–264.
• Newell, A. (1963). En guide till det allmänna problemlösarprogrammet GPS-2-2. RAND Corporation, Santa Monica, Kalifornien. Teknisk rapport nr. RM-3337-PR.
• Ernst, GW och Newell, A. (1969). GPS: en fallstudie i allmänhet och problemlösning. Akademisk press. (reviderad version av Ernsts avhandling från 1966, Carnegie Institute of Technology.)
• Newell, A. och Simon, H.A. (1972) Human problemlösning Englewood Cliffs, NJ: Prentice-Hall
• Norvig, Peter. Paradigm för programmering av artificiell intelligens: Fallstudier i Common  Lisp . - San Francisco , Kalifornien : Morgan Kaufmann , 1992. - S. 109-149. — ISBN 1-55860-191-0 .
• Noyes, James L. Artificiell intelligens med vanlig lisp  (obestämd) . - Lexington : DC Heath, 1992. - S. 343-371. — ISBN 0-669-19473-5 .

Ordböcker och uppslagsverk	Britannica (online)