Univerzális problémamegoldó

Az Általános Problémamegoldó ( GPS ) egy számítógépes program , amelyet 1959-ben hoztak létre Herbert Simon , Clifford Shaw ( Eng  . Cliff Show ) és Allen Newell , és úgy tervezték, hogy univerzális gépként működjön a Horn nyelvi záradékokban megfogalmazott problémák megoldására . Felhasználási példaként az euklideszi geometria és predikátumlogika tételeinek bizonyítása , valamint a sakkfeladatok megoldása hangzott el .  

A program Simon és Newell logikai gépekkel kapcsolatos elméleti munkáján alapul. Ez az első olyan számítógépes program, amely megpróbálta a problémaismeretet (a programba betáplált szabályokat) elválasztani a problémamegoldó stratégiától (közös döntési motor). A döntési algoritmus az IPL alacsony szintű programozási nyelven valósult meg.

Míg a GPS képes volt olyan egyszerű problémákat megoldani, mint a Towers of Hanoi rejtvény , sok valós problémát nem tudott kezelni, mert a megoldási lánc keresése kombinatorikus robbanáshoz vezetett a közbenső lépések számában.

Irodalom