2091577366

2091577366



on maszynę IBM 704, a metody dowodzenia oparł na specjalnych formalnych regułach wnioskowania. W 1963 r. J. R. Slagle opracował program całkowania symbolicznego, który sprostał 52 spośród 54 zadań wziętych z egzaminów końcowych na M.I.T. Jeszcze bardziej udaną wersję programu całkowania formalnego stworzył w 1967 r. J. Moses. Trzeba tu również wspomnieć o kilku wariantach programu do układania twierdzeń opartych na zadanych aksjomatach — powstały one w 1967 r. na Uniwersytecie Berkeley — oraz o zdolnym do samouczenia się programie analizy regresyj-nej, napisanym na M.I.T. 1

Kontynuacją „maszyny do teorii logiki” był opracowany przez tych samych autorów,2 wspomniany już, program GPS (Genelar Problem Solver — rozwiązywacz problemu ogólnego). GPS był programem heurystycznym, który dzielił postawiony problem na prostsze zagadnienia i starał się po kolei z nimi uporać. Mógł przy tym wykonywać trzy typy zadań:

1)    przekształcanie jednego obiektu w inny,

2)    zmniejszanie różnic między dwoma obiektami (to nie to samo, co przekształcanie jednego),

3)    zastosowanie do danego obiektu wybranego operatora. Po każdej operacji GPS sprawdzał, czy nowo powstały stan jest trudniejszy do rozwiązania od poprzedniego. Jeśli tak było, rezygnował z tego kierunku poszukiwań, wybierając prostszą drogę.

Parę dokładnych zapisów działania GPS porównano z protokołami zawierającymi relacje osób nakłonionych do rozwiązywania tych

60

1

F. A. Miller, Improving Heuristic Regression Analysis, 6-th Annual Southeastern Regional Meet-ing of the ACM”, 1967.

2

- A. Newell, H. A. Simon, GPS, A Program That Simulates Humań Problem-Solving, Proc. of a Conf. on Learning Automata, Karlsruhe, 1961.



Wyszukiwarka

Podobne podstrony:
DSC01224 (8) tym, że zamiast napędu zwrotnego ma on zabudowaną zwrotnię, a napęd wysypowy przebudowa
Metody dowodzenia poprawności cz I 2 Etapy działania algorytmu: Y    = n
Metody szkolenia pracowników cz4 UJ Ul Ol n m □ FI £ C ■0 r Tabela 9.2. Metody szkolenia pracowników
Metody szkolenia pracowników Tabela 9.2. Metody szkolenia pracowników na stanowisku pracy (on the jo
?egna?ek 0 ISO cyjiKj jest rozwiązanie określonego problemu, a metody dramy - oddziaływanie na emocj
Pod log7 (2) Logistyka w usługach Niewątpliwie stosowanie metody 4PL, pozwala na korzystanie z jedn
page0053 53 zwyciężonym; nie osięgnie on nigdy celu swych pragnień. Polacy mają na określenie tego s
page0143 133 ciw niemu nie dowodzą, gdyż na miliardy lat przedtem mogła przyroda ulegać
page0154 152 małym w oczach twoich, On namaścił cię królem Izraelskim, posiał cię na tę wojnę z rozk
page0175 BADANIA HISTORYCZNE. 73 szych, oparł na porównawczej analizie 158 konstytucyi greckich, do
scandjvutmp12e01 70 W niebie Mu śpiewają: „ŚwiętyI* A On drży między bydlęty; Niesłychanać to nowin

więcej podobnych podstron