Переношу в свой дневник содержание коммента к записи у
d_off, в к-м я более-менее точно высказал своё отношение к AI как дисциплине, по крайней мере до недавнего времени.
Я вижу историю AI начиная с середины 50-х годов как один большой скандал. Ведущие специалисты в AI не раз, не два и не три заявляли нам за последние пол-века, что ещё через 30, 20 или 15 лет у нас будет машина, такая же умная, как человек. Сейчас понятно, что все эти заявления были в лучшем случае самообманом, в худшем - наглым враньём с целью получить ещё больше финансирования. Самые убедительные примеры интеллектуального соревнования машины с человеком достигнуты вообще в обход AI как дисциплины (напр. шахматные компьютеры, построенные все как один на грубом переборе с некоторыми вариациями). Ни одной действительно серьёзной цели, поставленной AI перед собой, она не смогла добиться.
В этой ситуации полного интеллектуального провала, на который невозможно больше закрывать глаза, стало популярно сейчас утверждать, что дескать AI не должен имитировать человека, не должен ему подражать, что неверно оценивать успешность AI по человеческим меркам типа теста Тюринга.
Но мне это кажется всего лишь попыткой, со стороны тех специалистов AI, что так говорят, сделать хорошую мину при плохой игре. Если оценивать AI не по тому, насколько хорошо он делает что-то интеллектуальное, что умеет делать человек, то КАК его оценивать? Если просто по соответствию поставленной задаче, тогда алгоритм сортировки bubble-sort - очень удачный AI.
Всё в конце концов сводится к тому, что мы знаем только один вид intelligence - наш собственный; и единственный способ назвать что-то другое intelligent - если это что-то может соревноваться с нами в обще-интеллектуальных занятиях или результатах, или в чём-то даже превосходит нас. Тест Тюринга - самый простой и верный способ это проверить. Отказываясь от этой меры, мы остаёмся ни с чем - никакого эффективного метода ранжировки степени интеллектуальности разного рода AI у нас больше нет. Такое положение вещей, возможно, и выгодно тем людям внутри AI, которые отчаялись (и справедливо!) доказать окружающему миру, что они добились чего-то значимого. Но научное сообщество в целом с этим подлогом соглашаться не должно.
Я вижу историю AI начиная с середины 50-х годов как один большой скандал. Ведущие специалисты в AI не раз, не два и не три заявляли нам за последние пол-века, что ещё через 30, 20 или 15 лет у нас будет машина, такая же умная, как человек. Сейчас понятно, что все эти заявления были в лучшем случае самообманом, в худшем - наглым враньём с целью получить ещё больше финансирования. Самые убедительные примеры интеллектуального соревнования машины с человеком достигнуты вообще в обход AI как дисциплины (напр. шахматные компьютеры, построенные все как один на грубом переборе с некоторыми вариациями). Ни одной действительно серьёзной цели, поставленной AI перед собой, она не смогла добиться.
В этой ситуации полного интеллектуального провала, на который невозможно больше закрывать глаза, стало популярно сейчас утверждать, что дескать AI не должен имитировать человека, не должен ему подражать, что неверно оценивать успешность AI по человеческим меркам типа теста Тюринга.
Но мне это кажется всего лишь попыткой, со стороны тех специалистов AI, что так говорят, сделать хорошую мину при плохой игре. Если оценивать AI не по тому, насколько хорошо он делает что-то интеллектуальное, что умеет делать человек, то КАК его оценивать? Если просто по соответствию поставленной задаче, тогда алгоритм сортировки bubble-sort - очень удачный AI.
Всё в конце концов сводится к тому, что мы знаем только один вид intelligence - наш собственный; и единственный способ назвать что-то другое intelligent - если это что-то может соревноваться с нами в обще-интеллектуальных занятиях или результатах, или в чём-то даже превосходит нас. Тест Тюринга - самый простой и верный способ это проверить. Отказываясь от этой меры, мы остаёмся ни с чем - никакого эффективного метода ранжировки степени интеллектуальности разного рода AI у нас больше нет. Такое положение вещей, возможно, и выгодно тем людям внутри AI, которые отчаялись (и справедливо!) доказать окружающему миру, что они добились чего-то значимого. Но научное сообщество в целом с этим подлогом соглашаться не должно.
no subject
Date: 2002-04-10 07:05 pm (UTC)Ëþáàÿ ðàáîòà, êîòîðóþ ìîæåò èñïîëíÿòü êîìïüþòåð, ïî îïðåäåëåíèþ ìåõàíè÷åñêàÿ. Ýòî òàêèì æå îáðàçîì îòíîñèòñÿ è ê ðàñïîçíàâàíèþ îáðàçîâ, è êî âñåì îñòàëüíûì ñêðîìíûì, íî ñóùåñòâóþùèì äîñòèæåíèÿì AI. Ïîýòîìó "ìåõàíèíîñòü" -- ïëîõîé êðèòåðèé äëÿ îòëè÷èÿ AI îò íå-AI. Ïðîñòî íà òîò ìîìåíò ìû õîðîøî çíàëè, êàê óìíîæàòü è ñêëàäûâàòü; ñåé÷àñ ìû õîðîøî çíàåì, êàê ðàñïîçíàâàòü îïðåäåëåííûå îáðàçû. Íåò ðàçíèöû. Ãðóáî ãîâîðÿ, åñëè áû âäðóã ñòàëè õîðîøî çíàòü, êàê ïðîõîäèòü òåñò Òüþðèíãà, ýòî òîæå ñòàëî áû ìåõàíè÷åñêîé ðàáîòîé.
ß ñîâñåì íå âèæó, êàê Âû ìîæåòå óòâåðæäàòü, ÷òî ñîçäàíèå AI ÿâëÿëîñü öåëüþ Computer Science (ê-ÿ âîîáùå âîçíèêëà â âèäå òåîðèè âû÷èñëèìîñòè åù¸ äî ñàìèõ êîìïüþòåðîâ). Ñîçäàòåëè ñàìè òàê íå äóìàëè è íå ãîâîðèëè. Äàæå AI-ùèêè òàê íå ãîâîðèëè.
Ïîíÿòèå "ðàáîò ïî AI" ïðîñòî âîçíèêëî ñî âðåìåíåì êàê îáîáùàþùåå ïîíÿòèå äëÿ âñåõ ðàáîò â îáëàñòè CS, êîòîðûå çàíèìàëèñü àâòîìàòèçàöèåé òàêèõ âèäîâ äåÿòåëüíîñòè, êîòîðûå ìû åùå íå óìååì àâòîìàòèçèðîâàòü. Åñòåñòâåííî, ó íèõ íåò íèêàêèõ ñîáñòâåííûõ äîñòèæåíèé: êàê òîëüêî îíè ÷åãî-òî äîñòèãàþò, ýòî òóò æå ïåðåâîäèòñÿ â äðóãóþ îáëàñòü, êàê ñ òåì æå ðàñïîçíàâàíèåì.
Âî-ïåðâûõ, ñàìîå ïðåäñòàâëåíèå àëãîðèòìà â êàêîé-òî ôîðìàëüíîé ñèñòåìå - î÷åíü ìàëàÿ è íåçíà÷èòåëüíàÿ ÷àñòü òåîðèè âû÷èñëèìîñòè êàê íàóêè. Âî-âòîðûõ, êàêàÿ "àëõèìèÿ"? Òàì âñ¸ î÷åíü ïðîñòî è ïîíÿòíî.
Âçÿòü çàïèñü ïðîèçâîëüíîãî àëãîðèòìà íà Ñè èëè àññåìáëåðå è ïîêàçàòü, ÷òî ýòà ôóíêöèÿ âû÷èñëèìà èëè íåâû÷èñëèìà -- íåðåøàåìàÿ, â îáùåì ñëó÷àå, çàäà÷à.
Ïðîñòèòå, íî ýòî áðåä ;) Åñëè óæå åñòü çàïèñàííûé àëãîðèòì, òî ôóíêöèÿ âû÷èñëèìà ïî îïðåäåëåíèþ.
Âû íå ïðèäèðàåòåñü ê ñëîâàì, íåò? :) Ìîæåò áûòü, áûëî áû áîëåå êîððåêòíî ñôîðìóëèðîâàòü çàäà÷ó òàê: ó íàñ åñòü ñèíòàêñè÷åñêè êîððåêòíàÿ êîíñòðóêöèÿ íà Ñè/àññåìáëåðå, è íàì íóæíî ïîíÿòü, îêîí÷èòñÿ ëè ïðåäñòàâëåííîå ýòîé êîíñòðóêöèåé âû÷èñëåíèå çà êîíå÷íîå ÷èñëî øàãîâ (íàñêîëüêî ÿ ïîìíþ, êîíå÷íîñòü ÷èñëà øàãîâ ÿâëÿåòñÿ ÷àñòüþ îïðåäåëåíèÿ àëãîðèòìà è, ñëåäîâàòåëüíî, âû÷èñëèìîé ôóíêöèè).
(ïðî äèçàéí ÿçûêîâ) Òàì êó÷à âàæíûõ òåîðåòè÷åñêèõ ïîäõîäîâ è ìåòîäîâ.
×òî íå ìåøàåò õîðîøåìó îïòèìèçèðóþùåìó êîìïèëÿòîðó "îïåðàöèîíàëüíûõ" ÿçûêîâ ÿâëÿòüñÿ ñêîðåå ïðîèçâåäåíèåì èñêóññòâà, ÷åì íàóêè.
Ðå÷ü èä¸ò îá îãðîìíîì êîë-âå íåçàâèñèìûõ è "åñòåñòâåííûõ" ñïîñîáîâ îïðåäåëèòü ïîíÿòèå âû÷èñëèìîé ôóíêöèè,
À, íó òàê Âû î ñóùåñòâóþùåé òåîðèè âû÷èñëèìîñòè. Îíà, ê ñîæàëåíèþ, äàåò óæàñàþùå ìàëî ïðàêòè÷åñêè ïðèìåíèìûõ ñëåäñòâèé äëÿ çàäà÷ ðàñïàðàëëåëèâàíèÿ, îïòèìèçàöèè è âåðèôèêàöèè. Òàê æå, êàê è AI -- çíà÷èòåëüíî ìåíüøå, ÷åì õîòåëîñü áû ïîëó÷èòü.