Treść książki

Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
negoczłowieka.
Wlatachsześćdziesiltychtrwajlbadanianadprogramamirozwilzujlcymi
problemyzwykorzystaniemlogiki.
WpóŹnychlatachsześćdziesiltychMarvinMinskyiSeymourPapertzMIT
stworzyliparadygmatstosowaniaitestowaniarozwilzańdotyczlcychsztucznej
inteligencjiwπmikroświatachπ.Byłotoinspirowanefizykl,wktórejprawarzl-
dzlcemakroświatemslustalanenapodstawieeksperymentówlaboratoryjnych.
Wroku1969ukazałasięksilżkaMinsky7egoiPapertaπPerceptronsπ,wska-
zujlcaograniczeniaperceptronuRosenblatta.Stanowionanatylepoważnl
krytykętegonarzędzia,żehamujebadaniawdziedziniesztucznychsiecineu-
ronowychnaok.10lat.
Wlatachsiedemdziesiltychgwałtownierozwijajlsięsystemyeksperckie.
Wroku1972zaprezentowanojęzykPROLOGUE,będlcywistocieszkieleto-
wymsystememeksperckim.
1974Ż198O.Pierwszazima
Oczekiwaniazwilzanezesztucznlinteligencjlbyłybardzowygórowane.Nie-
satysfakcjonujlcewporównaniuznimiefektyprzyniosłypodkonieclatsie-
demdziesiltychrozczarowanieikoniecfinansowania.Wskazywanowtedyna-
stępujlcezasadniczeproblemystojlcenadrodzedostworzeniauniwersalnej
sztucznejinteligencji:
ŻzbytmałomocyobliczeniowejŻnawetmałeproblemyzdecydowanieprze-
rastałyówczesnekomputery;
ŻeksplozjakombinatorycznaŻrozwilzaniepewnychprostychproblemów
wymagaprzejrzeniaogromnychzbiorówmożliwości;wefekciekomputery
oograniczonejmocyobliczeniowejslwstanierozwilzaćjedynietrywialne
wersjetychproblemów;
Żposługiwaniesięπzdrowymrozsldkiemπwprzypadkuczłowieka,np.do
prowadzeniaswobodnejpogawędki,wymagataknaprawdęogromnychilości
informacji;niktniewiedział,jaktyleinformacjiumieścićwkomputerze;
ŻparadoksMoravecaŻokazałosię,żekomputeryradzlsobiedosyćłatwo
zniektórymizłożonymizadaniami,jakdowodzenietwierdzeń,natomiast
takiepozornieprosteproblemy,jakrozpoznanietwarzyalboprzemierzenie
pomieszczeniabezuderzeniawprzeszkodę(wprzypadkurobota),sldla
komputerówpraktycznieniedopokonania;
Żokazałosię(JohnMcCarthy),żedwuwartościowalogikajestniewystarcza-
jlcymnarzędziemdoplanowaniairozumowaniadomyślnego,wyszłana
jawpotrzebastworzeniainnejlogiki(logikiniemonotonicznej).
14