Žel mnohé "důkazy" o umělé inteligenci nejsou příliš korektní. Ani tak velký matematik jako Roger Penrose se v tomto případě nedokázal chybě vyhnout. Zmiňovaný důkaz nevyčíslitelnosti myšlení je veden asi takto: Dokazování matematických vět je nevyčíslitelný (tj. na počítači, resp. Turingově stroji v obecnosti neřešitelný) problém. Matematikové věty dokazují. Ergo práce matematiků není vyčíslitelná.
To je pěkná konstrukce, ale zapomíná na jednu dosti zásadní věc: to, že nějaký problém není vyčíslitelný, znamená, že pro každý algoritmus existuje protipříklad, který není schopen vyřešit. Ovšem rozhodně neplatí, že by existoval protipříklad, na kterém nebude fungovat žádný z algoritmů -- kdyby existoval, tak ho prostě do libovolného algoritmu dopíši jako výjimku. A jelikož nikdo neumí dokázat, že matematici jsou schopni dokázat nebo vyvrátit libovolnou rozhodnutelnou větu, neplyne z toho pro vyčíslitelnost jejich konání vůbec nic.
On bude asi problém v tom, že nikdo nedokáže definovat, co to ta inteligence vlastně je a co že tedy vlastně chceme řešit za problém. Jistě, můžeme si zadat, že chceme zkonstruovat program, který projde Turingovým testem, ale to jednak také není moc exaktní definice (co by to znamenalo? přesvědčit jednoho člověka? přesvědčit libovolného?), jednak by se dalo protestovat proti tomu, že libovolná dostatečně inteligentní entita tímto testem projde. (Co například bušmeni, kteří prostě neumějí ani psát ani anglicky, a přitom evidentně inteligentní jsou?).
ano,
souhlasím, že penrosova argumentace je často pokládána již za vyvrácenou.
ad to, že ne každá inteligentní entita projde Turingovým testem. To je jistě pravda. Jak to alespoň chápu já, Turingův test je tedy snad dokonce "silnější požadavek" než inteligence. Ve chvíli, kdy ten test bude splněn, to ale nevadí, ježto na otázku po existenci UI budeme moci odpovědět "ano". pokud se TT splnit nepodaří, je je důvod k otázce, zda nehledat nějakou měkčí definici.
k samotné definici inteligence: myslím (byť to není příliš exaktní), že není nutné mít přesně definovanou množinu, pokud se podaří shodnout na tom, které entity do ní patří a které ne (v kognitivní vědě to snad nějak souvisí s tím, že jako základní mentálnín reprezentaci si místo formální logiky uděláte "pojem", alespoň jsem to nějak podobně četl, byť to bylo trochu zmatené :-)). a jedním z pokusů o narýsování té hranice je právě TT.
Zdar,
to, ze inteligentni bytost nemusi projit TT jeste neimplikuje to, ze je tento test silnejsi nez test na inteligenci, take muze testovat uplne neco jineho
(napr. schopnost imitovat :-)).
Matyas
