Univerzální řešení problémů

General Problem Solver ( GPS ) je počítačový program vytvořený v roce 1959 Herbertem Simonem , Cliffordem Shawem ( Eng  . Cliff Show ) a Allenem Newellem , navržený tak, aby fungoval jako univerzální stroj pro řešení problémů formulovaných v klauzulích jazyka Horn . Jako příklady použití byly uvedeny důkazy teorémů euklidovské geometrie a predikátové logiky a řešení šachových úloh .  

Program je založen na teoretické práci Simona a Newella o logických strojích. Považuje se za první počítačový program, který se pokusil o strategii oddělení znalosti problému (pravidel vkládaných do programu) od strategie řešení problémů (společný rozhodovací stroj). Rozhodovací algoritmus byl implementován v nízkoúrovňovém programovacím jazyce IPL.

Zatímco GPS byla schopna řešit jednoduché problémy, jako je hádanka Hanojské věže , nedokázala si poradit s mnoha reálnými problémy, protože hledání řetězce řešení vedlo ke kombinatorické explozi v počtu mezikroků.

Literatura

• Newell, A.; Shaw, JC; Simon, H. A. (1959). Zpráva o obecném programu pro řešení problémů. Sborník příspěvků z mezinárodní konference o zpracování informací. str. 256–264.
• Newell, A. (1963). Průvodce obecným programem pro řešení problémů GPS-2-2. RAND Corporation, Santa Monica, Kalifornie. Technická zpráva č. RM-3337-PR.
• Ernst, GW a Newell, A. (1969). GPS: případová studie obecně a řešení problémů. Academic Press. (revidovaná verze Ernstovy disertační práce z roku 1966, Carnegie Institute of Technology.)
• Newell, A., a Simon, H.A. (1972) Řešení lidských problémů Englewood Cliffs, NJ: Prentice-Hall
• Norvig, Peter. Paradigmata programování umělé inteligence: Případové studie v Common  Lisp . - San Francisco , Kalifornie : Morgan Kaufmann , 1992. - S. 109-149. — ISBN 1-55860-191-0 .
• Noyes, James L. Umělá inteligence s Common Lisp  (neurčité) . - Lexington : DC Heath, 1992. - S. 343-371. — ISBN 0-669-19473-5 .

Slovníky a encyklopedie	Britannica (online)