Obecný řešitel problémů
General Problem Solver ( GPS) je počítačový program vytvořený v roce 1957 Herbertem Simonem , JC Shawem a Allenem Newellem s cílem postavit stroj schopný řešit obecné problémy. Jakýkoli formální symbolický problém lze v zásadě vyřešit pomocí GPS. Například: dokazování teorémů , řešení geometrických problémů, práce s výrokovou logikou a hraní šachů . Vycházel z předchozí teoretické práce Simona a Newella o logických strojích.. GPS byl první počítačový program, ve kterém byla znalost problémů oddělena od strategie, jak je řešit. Byl implementován v programovacím jazyce IPL ( Information Processing Language ) .
GPS dokázalo vyřešit jednoduché problémy, jako problém Hanojské věže , které bylo možné vyjádřit dostatečně formalizovaným způsobem, ale nedokázalo vyřešit problémy reálného světa.
Uživatel definoval objekty a operace, které lze s objekty a na nich provádět, a GPS vygenerovala heuristiku pomocí analýzy prostředků a cílů, aby se vyřešily problémy. Za tímto účelem se zaměřil na dostupné operace, zjišťoval, jaké vstupy byly přijatelné a jaké výsledky byly generovány. Dílčí cíle pak byly vytvořeny, aby se přiblížily dříve definovanému cíli.
Paradigma GPS se vyvinulo do symbolicko-kognitivní architektury SOAR ( State Operator And Result ).
Zpracovat
Simon a Newell navrhují příklad, jak transformovat logický výrok L1= R*(-P => Q) na L2=(Q \/ P)*R (Newell a Simon, 1972, strana 420). Tato transformace by byla zpracována GPS takto:
- Cíl 1: Transformace L1 na L0
- Cíl 2: Snížit rozdíl mezi L1 a L0
- Cíl 3: Aplikujte R1 na L1
- Cíl 4: Transformace L1 na podmínku (R1)
- Produkt L2: (-P => Q) *R
- Cíl 5: Transformace L2 na L0
- Cíl 6: Snížit rozdíl mezi (L2) a (L0)
- Cíl 7: Použít R5 na (L2)
- Cíl 8: Transformace (L2) na podmínku (R5)
- Cíl 9: Snížit rozdíl mezi (L2) a (R5)
- Zamítnuto: Není jednodušší než Cíl 6
- Cíl 10: Použijte R6 na (L2)
- Cíl 11: Transformace (L2) na podmínku (R5)
- Produkt L3: (P \/ Q) *R
- Cíl 12: Transformujte L3 na L0
- Cíl 13: Snížit rozdíl mezi (L3) a (L0)
- Cíl 14: Použít R1 na (L3)
- Cíl 15: Transformace (L3) na podmínku (R1)
- Produkt L4: (Q \/ P)*R
- Cíl 16: Transformace L4 na L0
- Identifikujte, QED
Reference
- 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.
- A. Newell a H. A. Simon (1961). GPS, program, který simuluje lidské myšlení , v E. Feigenbaum a J. Feldmann, Hrsg. (1995) Počítače a myšlení , ISBN 0262560925 .
- 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, G. W. & 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, HA (1972) Řešení lidských problémů . Englewood Cliffs, NJ: Prentice Hall.
- Norvig, Peter. (1992). Paradigmata programování umělé inteligence: případové studie v Common Lisp . str. 109-110.
