Yleinen ongelmanratkaisija
The General Problem Solver (GPS) on tietokoneohjelma , jonka Herbert Simon , JC Shaw ja Allen Newell loivat vuonna 1957 tarkoituksenaan rakentaa kone, joka pystyy ratkaisemaan yleisiä ongelmia. Mikä tahansa muodollinen symbolinen ongelma voidaan periaatteessa ratkaista GPS:n avulla. Esimerkiksi: lauseiden todistaminen , geometristen ongelmien ratkaiseminen, lauselogiikan käyttäminen ja shakin pelaaminen . Se perustui Simonin ja Newellin aiempaan teoreettiseen työhön logiikkakoneista .. GPS oli ensimmäinen tietokoneohjelma, jossa tieto ongelmista erotettiin sen strategiasta niiden ratkaisemiseksi. Se toteutettiin IPL ( Information Processing Language ) - ohjelmointikielellä .
GPS onnistui ratkaisemaan yksinkertaisia ongelmia, kuten Tower of Hanoi -ongelman , joka voitiin ilmaista riittävän muodollisesti, mutta se ei pystynyt ratkaisemaan todellisia ongelmia.
Käyttäjä määritteli objektit ja toiminnot, joita voitiin tehdä kohteiden kanssa ja niiden päällä, ja GPS generoi heuristiikan keinojen ja tavoitteiden analyysin avulla ongelmien ratkaisemiseksi. Tätä varten se keskittyi käytettävissä oleviin toimintoihin ja etsii, mitkä panokset olivat hyväksyttäviä ja mitä tuloksia tuotettiin. Sitten luotiin osatavoitteita päästäkseen lähemmäs aiemmin määriteltyä tavoitetta.
GPS-paradigma kehittyi SOAR ( State Operator And Result ) symbolis-kognitiiviseksi arkkitehtuuriksi.
Käsittele
Simon ja Newell ehdottavat esimerkkiä loogisen lauseen L1= R*(-P => Q) muuntamisesta muotoon L2=(Q \/ P)*R (Newell ja Simon, 1972, sivu 420). GPS käsittelee tämän muunnoksen seuraavasti:
- Tavoite 1: Muunna L1 L0:ksi
- Tavoite 2: Pienennä eroa L1:n ja L0:n välillä
- Tavoite 3: Käytä R1:tä L1:een
- Tavoite 4: Muunna L1 ehtoksi (R1)
- Tuote L2: (-P => Q) *R
- Tavoite 5: Muunna L2 L0:ksi
- Tavoite 6: Pienennä eroa (L2) ja (L0) välillä
- Tavoite 7: Käytä R5:tä (L2)
- Tavoite 8: Muunna (L2) ehtoksi (R5)
- Tavoite 9: Pienennä eroa (L2) ja (R5) välillä
- Hylätty: Ei yksinkertaisempi kuin tavoite 6
- Tavoite 10: Käytä R6:ta (L2)
- Tavoite 11: Muunna (L2) ehtoksi (R5)
- Tuote L3: (P \/ Q) *R
- Tavoite 12: Muunna L3 L0:ksi
- Tavoite 13: Pienennä eroa (L3) ja (L0) välillä
- Tavoite 14: Käytä R1:tä kohtaan (L3)
- Tavoite 15: Muunna (L3) ehtoksi (R1)
- Tuote L4: (Q \/ P)*R
- Tavoite 16: Muunna L4 L0:ksi
- Tunnista, QED
Viitteet
- Newell, A.; Shaw, JC; Simon, H. A. (1959). Raportti yleisestä ongelmanratkaisuohjelmasta. Kansainvälisen tiedonkäsittelykonferenssin aineisto . s. 256-264.
- A. Newell ja H. A. Simon (1961). GPS, ohjelma, joka simuloi ihmisen ajattelua , julkaisussa E. Feigenbaum ja J. Feldmann, Hrsg. (1995) Computers and Thought , ISBN 0262560925 .
- Newell, A. (1963). Yleisen ongelmanratkaisuohjelman GPS-2-2 opas . RAND Corporation, Santa Monica, Kalifornia. Tekninen raportti nro RM-3337-PR.
- Ernst, G.W. & Newell, A. (1969). GPS: tapaustutkimus yleisyydestä ja ongelmanratkaisusta . Akateeminen Lehdistö. (Tarkistettu versio vuoden 1966 Ernstin väitöskirjasta, Carnegie Institute of Technology.)
- Newell, A. ja Simon, HA (1972) Ihmisen ongelmanratkaisu . Englewood Cliffs, NJ: Prentice Hall.
- Norvig, Peter. (1992). Tekoälyohjelmoinnin paradigmat: tapaustutkimuksia Common Lispissä . s. 109-110.
