Ogólne rozwiązanie problemów - General Problem Solver

General Problem Solver ( GPS ) to program komputerowy stworzony w 1959 roku przez Herberta A. Simona , JC Shawa i Allena Newella ( RAND Corporation ), który ma działać jako uniwersalna maszyna do rozwiązywania problemów . W przeciwieństwie do poprzedniego projektu Logic Theorist , GPS działa z analizą środków i celów .

Przegląd

Każdy problem, który można wyrazić jako zbiór dobrze uformowanych formuł (WFF) lub klauzul Horn , i które stanowią ukierunkowany wykres z jednym lub więcej źródłami (to jest aksjomatami) i ujściami (czyli pożądanymi wnioskami), może być rozwiązane w zasadzie przez GPS. Dowody w logice predykatów i przestrzeni problemowej geometrii euklidesowej są głównymi przykładami dziedziny zastosowania GPS. Został oparty na teoretycznej pracy Simona i Newella nad maszynami logicznymi . GPS był pierwszym programem komputerowym, który oddzielił znajomość problemów (zasady reprezentowane jako dane wejściowe) od strategii rozwiązywania problemów (generyczny silnik rozwiązywania problemów ). GPS został zaimplementowany w języku programowania trzeciego rzędu - IPL .

Podczas gdy GPS rozwiązał proste problemy, takie jak Wieże Hanoi, które można było wystarczająco sformalizować, nie mógł rozwiązać żadnych problemów w świecie rzeczywistym, ponieważ wyszukiwanie było łatwo zagubione w eksplozji kombinatorycznej . Innymi słowy, liczba „przejść” przez dwuznak wnioskowy stała się obliczeniowo nie do utrzymania. (W praktyce nawet proste przeszukiwanie przestrzeni stanów, takie jak Wieże Hanoi, może stać się niewykonalne obliczeniowo, chociaż rozsądne przycinanie przestrzeni stanów można osiągnąć za pomocą takich elementarnych technik sztucznej inteligencji jak A * i IDA * ).

Użytkownik zdefiniował obiekty i operacje, które można wykonać na obiektach, a GPS wygenerował heurystykę za pomocą analizy środków końcowych w celu rozwiązania problemów. Skoncentrowano się na dostępnych operacjach, ustalając, jakie dane wejściowe były akceptowalne i jakie produkty zostały wygenerowane. Następnie stworzył cele cząstkowe, aby być coraz bliżej celu.

Paradygmat GPS ostatecznie przekształcił się w architekturę Soar dla sztucznej inteligencji .

Zobacz też

Bibliografia