Глаз разума

Часть II. В поисках души

Тест Тьюринга находится в центре внимания многих статей по философии и искусственному разуму. Хорошее недавнее обсуждение проблем, которые с ним связаны, можно найти в статье Блока (Ned Block, “The Philosophical Review”, Jan. 1981, pp. 5–43). Знаменитая программа Вайценбаума ЭЛИЗА, симулирующая психотерапевта, с которым можно вести терапевтические беседы (печатая реплики на клавиатуре компьютера), часто приводится в качестве наиболее яркого примера компьютера, “прошедшего” тест Тьюринга. Сам Вайценбаум шокирован этой идеей; в своей книге он резко критикует тех, кто, по его мнению, неверно используют тест Тьюринга (Joseph Weizenbaum, Computer Power and Human Reason, San Francisco, Freeman, 1976). Он же описывает программу Кеннета Колби ПАРРИ, симуляцию пациента-параноика, которая “прошла две версии теста Тьюринга” (“Simulation of Belief Systems”, in Computer Models of Thought and Language, Roger C. Schank and Kenneth M. Colby, eds., San Francisco, Freeman, 1973). Первый тест, в котором распечатки бесед ПАРРИ были показаны специалистам, забавно раскритикован Вайценбаумом в письме, опубликованном в Communications of the Association for Computing Machinery (vol. 17, no. 9, September 1974, p. 543). Вайценбаум утверждает, что, согласно рассуждениям Колби, любую электрическую пишущую машинку можно считать хорошей научной моделью инфантильного аутизма: вы печатаете на ней вопрос, а она в ответ гудит. Ни один эксперт по детям-аутистам не мог бы отличить записи действительных попыток вступить в контакт с ребенком-аутистом от этих пустых упражнений в печатании! Второй эксперимент с тестом Тьюринга был ответом на этот критицизм; его описание можно найти в статье Хайзера и др. (J. F. Heiser, K. M. Colby, J. S. Faught and K. C. Parkinson, “Can Psychiatrists Distinguish a Computer Simulation of Paranoia from the Real Thing?” in the Journal of Psychiatric Research, vol. 15, 1980, pp. 149–62).

“Математическое возражение” Тьюринга породило множество литературы об отношениях между метаматематическими ограничительными теоремами и возможностью механического разума. Необходимые знания по логике можно получить из книги Де Лонга (Howard De Long, A Profile of Mathematical Logic, Reading, Mass., Addison-Wesley, 1970). Дальнейшую разработку аргументов Тьюринга ищите в интересной статье Лукаса (J. R. Lucas, “Minds, Machines, and Godel”, in Minds and Machines, ed. Alan Ross Anderson, Engelwood Cliffs, N.J., Prentice-Hall, 1964). Превосходная аннотированная библиография Де Лонга указывает на то, какой фурор вызвала статья Лукаса. См. также “Гёдель, Эшер, Бах — эта бесконечная гирлянда” Д. Хофстадтера, Самара, Бахрах-М, 2001 и Judson Webb, Mechanism, Mentalism and Metamathematics, Hingham, Mass, D.Reidel, 1980).