Universal problemløser
The General Problem Solver ( GPS ) er et computerprogram skabt i 1959 af Herbert Simon , Clifford Shaw ( Eng . Cliff Show ) og Allen Newell , designet til at fungere som en universel maskine til at løse problemer formuleret i Horn-sprogklausulerne . Som eksempler på brug blev der givet beviser for sætninger fra euklidisk geometri og prædikatlogik og løsningen af skakproblemer .
Programmet er baseret på Simon og Newells teoretiske arbejde med logiske maskiner. Anses for at være det første computerprogram, der forsøgte en strategi for at adskille problemviden (regler indført i programmet) fra problemløsningsstrategi (fælles beslutningsmotor). Beslutningsalgoritmen blev implementeret i programmeringssproget IPL på lavt niveau.
Mens GPS'en var i stand til at løse simple problemer som Towers of Hanoi -puslespillet, kunne den ikke håndtere mange problemer i den virkelige verden, fordi søgningen efter en løsningskæde førte til en kombinatorisk eksplosion i antallet af mellemliggende trin.
Litteratur
- Newell, A.; Shaw, JC; Simon, H.A. (1959). Rapporter om et generelt problemløsningsprogram. Proceedings of the International Conference on Information Processing. pp. 256-264.
- Newell, A. (1963). En guide til det generelle problemløserprogram GPS-2-2. RAND Corporation, Santa Monica, Californien. Teknisk rapport nr. RM-3337-PR.
- Ernst, GW og Newell, A. (1969). GPS: et casestudie i almindelighed og problemløsning. Akademisk presse. (revideret version af Ernsts afhandling fra 1966, Carnegie Institute of Technology.)
- Newell, A., og Simon, H.A. (1972) Human problemløsning Englewood Cliffs, NJ: Prentice-Hall
- Norvig, Peter. Paradigmer for kunstig intelligensprogrammering: Casestudier i Common Lisp . - San Francisco , Californien : Morgan Kaufmann , 1992. - S. 109-149. — ISBN 1-55860-191-0 .
- Noyes, James L. Kunstig intelligens med almindelig lisp (ubestemt) . - Lexington : DC Heath, 1992. - S. 343-371. — ISBN 0-669-19473-5 .
 Ordbøger og encyklopædier |
|---|