Obecné řešení problémů - General Problem Solver

Obecné řešení problémů (GPS) je počítačový program vytvořil v roce 1959 Herbert A. Simon, J. C. Shaw, a Allen Newell (RAND Corporation ) zamýšlel fungovat jako univerzální problém řešitel stroj. Na rozdíl od toho prvního Logický teoretik projekt, GPS pracovat s analýza prostředku.[1]

Přehled

Jakýkoli problém, který lze vyjádřit jako soubor dobře formulované vzorce (WFF) nebo Horn klauzule, a které představují směrovaný graf s jedním nebo více zdroji (tj. axiomy) a propady (tj. požadovanými závěry), lze v zásadě vyřešit pomocí GPS. Důkazy v predikátová logika a problémové prostory euklidovské geometrie jsou ukázkovými příklady oblasti použitelnosti GPS. Bylo založeno na teoretické práci Simona a Newella logika stroje. GPS byl první počítačový program, který ho oddělil znalost problémů (pravidla představovaná jako vstupní data) ze své strategie řešení problémů (obecný řešitel) motor ). GPS bylo implementováno v programovacím jazyce třetího řádu, IPL.[2]

Zatímco GPS řešilo jednoduché problémy, jako je Věže Hanoje který by mohl být dostatečně formalizován, nemohl vyřešit žádné problémy ze skutečného světa, protože hledání se v něm snadno ztratilo kombinatorická exploze. Jinými slovy, počet „procházek“ inferenční digrafem se stal výpočtově neudržitelným. (V praxi dokonce přímé hledání stavového prostoru jako například Hanojské věže se mohou stát výpočetně neproveditelnými, i když uvážlivých prořezávání státního prostoru lze dosáhnout takovými základními technikami AI, jako jsou A* a IDA * ).

Uživatelem definované objekty a operace, které lze s objekty provádět, a generuje se GPS heuristika podle analýza účelu za účelem řešení problémů. Zaměřilo se na dostupné operace, zjištění, jaké vstupy jsou přijatelné a jaké výstupy byly generovány. Poté vytvořila dílčí cíle, aby se přibližovala k cíli.

Paradigma GPS se nakonec vyvinulo do Stoupat architektura pro umělá inteligence.

Viz také

Reference

  1. ^ Nils J. Nilsson (30. října 2009). Pátrání po umělé inteligenci. Cambridge University Press. str. 121–. ISBN  978-1-139-64282-8.
  2. ^ Norvig, Peter (1992). Paradigmata programování umělé inteligence: Případové studie v programu Common Lisp. San Francisco, Kalifornie: Morgan Kaufmann. 109–149. ISBN  978-1-55860-191-8.