Universaali ongelmanratkaisija

The General Problem Solver ( GPS ) on Herbert Simonin , Clifford Shaw'n ( Eng  . Cliff Show ) ja Allen Newellin vuonna 1959 luoma tietokoneohjelma , joka on suunniteltu toimimaan yleiskoneena Hornin kielen lausekkeisiin muotoiltujen ongelmien ratkaisemiseen . Käyttöesimerkkeinä esitettiin euklidisen geometrian ja predikaattilogiikan lauseiden todisteita sekä shakkitehtävien ratkaisuja .  

Ohjelma perustuu Simon ja Newellin teoreettiseen työhön loogisista koneista. Sitä pidetään ensimmäisenä tietokoneohjelmana, joka yritti strategiaa erottaa ongelmatiedon (ohjelmaan syötetyt säännöt) ongelmanratkaisustrategiasta (yhteinen päätösmoottori). Päätösalgoritmi toteutettiin matalan tason ohjelmointikielellä IPL.

Vaikka GPS pystyi ratkaisemaan yksinkertaisia ​​ongelmia, kuten Hanoin tornit , se ei pystynyt käsittelemään monia todellisia ongelmia, koska ratkaisuketjun etsiminen johti kombinatoriseen räjähdykseen välivaiheiden määrässä.

Kirjallisuus