корпорация RAND: Подробнее об истории корпорации RAND см. книгу Абеллы (Abella) Soldiers of Reason: The RAND Corporation and the Rise of the American Empire.
«состоящий из металла, плоти и крови»: Chapman et al., The Systems Research Laboratory and Its Program (RM-890), с. 1.
профессор Технологического института Карнеги в Питтсбурге: Если не указано иное, биографические сведения о Саймоне в этой главе взяты из работы Саймона Models of My Life и дополнены материалами из книги Кроутер-Хейка Herbert A. Simon: The Bounds of Reason in Modern America. Более краткие научные биографии приводятся в статьях Ассада (Assad) «Herbert A. Simon» и Ожье и Марча (Augier and March) «Remembering Herbert A. Simon (1916–2001)». Подробнее об участии Саймона в работе Лаборатории системных исследований содержится в книге Кроутер-Хейка Herbert A. Simon: The Bounds of Reason in Modern America, с. 201–205.
неожиданное озарение: Simon, Models of My Life, с. 200–201.
«Компьютеры, таким образом»: Simon, Models of My Life, с. 201.
Саймон начал размышлять: Саймон обсуждает события, предшествовавшие созданию «Логика-теоретика», в своей автобиографии: Simon, Models of My Life, с. 166. Схожие по содержанию интервью с Ньюэллом и Шоу приводятся в книге McCorduck, Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence. Работа Тьюринга над шахматами описана в статье Friedel and Kasparov, «Reconstructing Turing’s “Paper Machine”», а работа Шеннона опубликована в статье Shannon, «Programming a Computer for Playing Chess».
«средство понимания»: Newell, «The Chess Machine: An Example of Dealing with a Complex Task by Adaptation», с. 101.
«За время рождественских каникул»: По воспоминаниям Эдварда Фейгенбаума, который слушал этот курс, в книге McCorduck, Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence, с. 138 (см. также статью Feigenbaum, «What Hath Simon Wrought?», с. 166). Саймон не помнит этого события и указывает, что если бы он действительно это сказал, то упомянул бы и Клиффорда Шоу (Simon, Models of My Life, с. 206).
сотни долларов в неделю: Все сходятся во мнении, что это были большие деньги, но называемые суммы разнятся; Саймон помнит о 500 долларах (Simon, Models of My Life, с. 203).
2 015 099 950 053 364 471 960 возможных позиций: Эти числа доступны по адресу https://oeis.org/A048987; Шеннон привел их приблизительное значение в статье Shannon, «Programming a Computer for Playing Chess».
Ньюэлл вырос в Сан-Франциско: Биографические сведения об Аллене Ньюэлле взяты из статьи Simon, «Allen Newell».
«Мне нужны были задачи»: McCorduck, Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence, с. 140.
«Я решил специализироваться»: Simon, Models of My Life, с. 39.
«логические основы науки об управлении»: Simon, Models of My Life, с. 53.
консультировать корпорацию RAND: Именно такую связь с RAND Саймон указывает в своей автобиографии Models of My Life, хотя в книге McCorduck, Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence он перечисляет другой круг контактов.
Шоу вырос в Фуллертоне: Биографические сведения о Клиффорде Шоу взяты из книги McCorduck, Machines Who Think.
«Навигация также была связана»: McCorduck, Machines Who Think, с. 164.
будучи студентом колледжа: Simon, Models of My Life, с. 114.
Тогда цель состояла в следующем: Это описание основано на отчете, представленном в Newell and Simon, «The Logic Theory Machine—A Complex Information Processing System». В последующих описаниях в статье Newell, Shaw, and Simon, «Elements of a Theory of Human Problem Solving», и книге Ньюэлла и Саймона Решение задач человеком детально рассматриваются методы, основанные на замене связок эквивалентными выражениями и «выстраивании в цепочку» применений правила modus ponens в качестве дополнительных правил вывода.
«это был язык слишком низкого уровня»: McCorduck, Machines Who Think: A Personal Inquiry into the History and Prospects of Artificial Intelligence, с. 166.
некоторые теоремы из Principia Mathematica: В конечном итоге программа доказала первые пятьдесят две теоремы (Newell, Shaw, and Simon, «Elements of a Theory of Human Problem Solving»).
«Я бы хотел, чтобы мы с Уайтхедом»: Эти письма воспроизведены в книге Саймона Models of My Life, с. 208. Саймон явно считал эту работу участием в дискуссии, уходящей еще глубже в историю логики. Когда на званом ужине его спросили, для кого он пишет, он ответил: «На самом деле, для немногих. Может быть, максимум для десяти-пятнадцати человек», а когда его начали расспрашивать подробнее, признался, что одним из этих людей был Аристотель (McCorduck, «Herb Simon: A Recollection», с. 479).
результат не был новым: Simon, Models of My Life, с. 209.
криптарифметика: Психологию криптарифметических ребусов впервые исследовал британский психолог Фредерик Бартлетт в своей работе Bartlett, Thinking: An Experimental and Social Study. Бартлетт проводил вдохновляющие исследования человеческого познания в те годы, когда в США доминировал бихевиоризм.
впервые опубликована в 1924 году: Автором этой головоломки является Г. Э. Дьюдени, она была напечатана в июльском выпуске журнала The Strand Magazine за 1924 год (том 68, с. 97 и 214).
1 814 400 возможных вариантов сопоставления: Существует 10 цифр, которые можно сопоставить первой букве, затем 9 — второй, 8 — третьей и так далее. Перемножив их, мы получим этот результат.
Остальное я оставляю на ваше усмотрение!: Решение выглядит следующим образом: M = 1, S = 9, O = 0, R = 8, E = 5, N = 6, D = 7, Y = 2.
заметка, написанная им в 1967 году: Заметка носит весьма скромное название: Newell, Studies in Problem Solving: Subject 3 on the Cryptarithmetic Task DONALD + GERALD = ROBERT. Продукционные системы впервые появляются на с. 54. Саймон указывает на некоторые предпосылки этой идеи в своей книге Simon, Models of My Life, с. 227, однако заметка Ньюэлла — это первый труд, в котором данная идея подробно развивается и связывается с литературой по продукционным системам в логике и теории вычислений.
вот продукционная система: Ньюэлл и Саймон, Решение задач человеком, с. 44.
а вот еще одна продукционная система: Этот прекрасный пример простой, но контринтуитивной продукционной системы взят из правки на странице Википедии, посвященной алгоритмам Маркова, сделанной пользователем Nadezhin 15 октября 2006 года.
сама идея вычисления: См. Post, “Formal Reductions of the General Combinatorial Decision Problem”. Более доступное изложение вклада Поста в логику и вычисления содержится в Stillwell, “Emil Post and His Anticipation of Gödel and Turing”.
«Если вы определили»: Newell, Studies in Problem Solving: Subject 3 on the Cryptarithmetic Task DONALD + GERALD = ROBERT, с. 58.
«Должны признаться, мы испытываем сильное предчувствие»: Newell and Simon, Решение задач человеком, с. 803.
использование компьютерных программ для описания работы человеческого разума: О последующем развитии продукционных систем см. Klahr et al., Production System Models of Learning and Development.
«Физическая символьная система»: Newell and Simon, “Computer Science as Empirical Inquiry: Symbols and Search”, с. 116.
«Моя научная работа»: Simon, Models of My Life, с. 274.
«что большинство людей ночью спят»: Со с. 5 документа Technology Overview на сайте https://cyc.com/wp-content/uploads/2021/04/Cyc-Technology-Overview.pdf.
Алан Тьюринг предложил простой тест: Turing, “Computing Machinery and Intelligence”. Для замечательного разбора истории и ограничений теста Тьюринга, а также того, каково это — участвовать в нем, и как это может изменить наши представления о том, что значит быть человеком, я рекомендую книгу моего соавтора Брайана Кристиана: Christian, The Most Human Human: What Talking with Computers Teaches Us About What It Means to Be Alive.
убедив треть судей-людей в том, что он человек: Это было преподнесено сбивающим с толку образом — будто чат-бот «прошел» тест Тьюринга, что вызвало в то время немало споров. См., например, https://www.zdnet.com/article/computer-chatbot-eugene-goostman-passes-the-turing-test/ и https://www.techdirt.com/2014/06/09/no-supercomputer-did-not-pass-turing-test-first-time-everyone-should-know-better/.
«примерно через пятьдесят лет»: Turing, “Computing Machinery and Intelligence”, с. 442.
вопросы, заданные специалистом по компьютерным наукам Скоттом Ааронсоном: Этот диалог воспроизведен в блоге Ааронсона по адресу https://scottaaronson.blog/?p=1858.
«Он движется вперед»: Simon, Науки об искусственном, с. 51.
«Кажущаяся сложность»: Simon, Науки об искусственном, с. 52.
«Человек — это решающая задачи»: Simon, The Shape of Automation for Men and Management, с. 110.
ГЛАВА 4: ЯЗЫК КАК ФОРМАЛЬНАЯ СИСТЕМА
ему было двадцать семь лет: Если не указано иное, биографические сведения взяты из Барски, Ноам Хомский: жизнь вопреки.
«интенсивные курсы для аспирантов»: Барски, Ноам Хомский: жизнь вопреки, с. 86.
отвергнута издательством MIT Press: Хомский, Логическая структура лингвистической теории, с. 3.
Один ехидный рецензент заметил: Джордж Миллер, “George A. Miller”, с. 405.
в возрасте десяти лет: Sklar, “Chomsky’s Revolution in Linguistics”, с. 215.
он опубликовал свою первую статью: Барски, Ноам Хомский: жизнь вопреки, с. 16.
неудовлетворенность формальным образованием: Хомский, The Chomsky Reader, с. 6.
«Смутные идеи»: Хомский, The Chomsky Reader, с. 7.
Харрис принадлежал к той же общине: На самом деле отец Харриса был связан с Хомским еще более тесно: «Он был моэлем, совершившим обрезание над каждым еврейским мальчиком, включая меня». MacFarquhar, “The Devil’s Accountant: Noam Chomsky’s Isolation and Influence”, с. 69.
Лингвистика также не избежала этого влияния: Это влияние было наиболее очевидным в подходе Леонарда Блумфилда; см., например, Bloomfield, Linguistic Aspects of Science. См. главу 1 в Newmeyer, American Linguistics in Transition: From Post-Bloomfieldian Structuralism to Generative Grammar.
звуки, слова и предложения: На данном историческом этапе лингвистика фокусировалась исключительно на устной речи. В последующие десятилетия лингвисты пришли к признанию того, что жестовые языки также являются полноценными и самостоятельными языками, а наблюдаемыми аспектами языка выступают не просто звуки, слова и предложения, а звуки или жесты, слова и предложения. Важным шагом на пути к этому признанию стала работа Stokoe, “Sign Language Structure: An Outline of the Visual Communication System of the American Deaf”.
Харрис попросил его вычитать корректуру книги: По собственным словам Хомского: «Фактически, первое, что я сделал еще до того, как прослушал у него какие-либо курсы, — это вычитал для него книгу. Именно так я изучил лингвистику — вычитывая книгу Харриса, и для меня это было прекрасно, я действительно освоил эту область». Sklar, “Chomsky’s Revolution in Linguistics”, с. 215.
«довольно скучно и неудовлетворительно»: Хомский, Логическая структура лингвистической теории, с. 25.
первый пример этого нового подхода: Хомский называет это первым примером генеративной грамматики в Chomsky, Language and Responsibility: Based on Conversations with Mitsou Ronat, с. 111. Более ранний пример в работе Блумфилда отмечен в Барски, Ноам Хомский: жизнь вопреки, с. 55.
«На борту судна посреди Атлантики»: Хомский, Language and Responsibility: Based on Conversations with Mitsou Ronat, с. 131.
«Я не знаю, к какой области»: Sklar, “Chomsky’s Revolution in Linguistics”, с. 216.
«Под языком»: Chomsky, “Three Models for the Description of Language”, с. 114.
«Под грамматикой»: Chomsky, “Three Models for the Description of Language”, с. 114.
мы можем генерировать бесконечно много предложений: На самом деле мы можем генерировать бесконечно много предложений — с еще большим семантическим разнообразием — повторяя всего одно слово: «buffalo». Это слово обладает волшебным свойством: оно может быть существительным (животное бизон), прилагательным (происходящим из города Буффало на севере штата Нью-Йорк) или глаголом (озадачивать). Таким образом, мы можем получить предложения вроде «Buffalo buffalo buffalo Buffalo buffalo», что означает «Бизоны из Буффало озадачивают других бизонов из Буффало». Borgmann, Beyond Language: Adventures in Word and Thought, с. 290.
«бесконечное использование конечных средств»: Хомский использует эту фразу в Chomsky, Cartesian Linguistics: A Chapter in the History of Rationalist Thought, заимствуя ее у лингвиста девятнадцатого века Вильгельма фон Гумбольдта. См. Von Humboldt, On Language: On the Diversity of Human Language Construction and Its Influence on the Mental Development of the Human Species для контекста и обсуждения того, что Гумбольдт изначально имел под этим в виду.
идея, которую поддерживали теоретики информации и бихевиористы: Хомский прямо говорит об антибихевиористской мотивации рассмотрения этой модели: «В глубине души я полагал, что конечные автоматы, по-видимому, охватывают любые мыслимые представления бихевиористской психологии. И если бы удалось показать, что грамматика языка не может быть представлена в виде конечного автомата, то с необходимостью следовало бы, что ничто даже близко не стоящее к структурному характеру языка никогда в принципе не сможет быть объяснено никакой бихевиористской теорией». Baars, The Cognitive Revolution in Psychology, с. 342–343.
всего два слова — «apple» и «banana»: Этот абстрактный язык обычно представляют менее «фруктовым» образом, используя лишь символы a и b, и называют anbn, поскольку он состоит из последовательностей из n вхождений символа a, за которыми следуют n вхождений символа b.
Если мы допустим бесконечно длинные предложения: Если вас немного беспокоит допущение бесконечно длинных предложений, вот ответ Хомского на ваше возражение: «Мы могли бы избежать этого следствия произвольным указом о том, что для длины предложений в английском языке существует конечный верхний предел. Однако это не принесло бы никакой практической пользы. Дело в том, что существуют процессы формирования предложений, с которыми эта элементарная модель языка принципиально неспособна справиться. Если для работы этих процессов не установлено конечного предела, мы можем доказать буквальную неприменимость этой модели. Если же у этих процессов есть предел, то построение грамматики с конечным числом состояний не будет буквально невозможным (поскольку список представляет собой тривиальную грамматику с конечным числом состояний), но эта грамматика будет настолько сложной, что окажется малополезной и не заслуживающей интереса» (Chomsky, “Three Models for the Description of Language”, с. 115). Разумеется, многие современные когнитивисты и лингвисты также считают, что нам следует сосредоточиться на конечных предложениях, которые люди реально используют, а не на бесконечных, которые возможны в принципе.
«если мы построим»: Chomsky, “Three Models for the Description of Language”, с. 116.
грамматики с конечным числом состояний не подходят для английского языка: Хотя аргумент Хомского общепринят, отмечалось, что технически он показал лишь то, что английский язык содержит подмножество, не описываемое конечными автоматами, что не обязательно означает, будто сам он не является автоматным языком. Для получения подробной информации см. Daly, Applications of the Mathematical Theory of Linguistics; Pullum and Gazdar, “Natural Languages and Context-Free Languages”; а также Pullum, «On the Mathematical Foundations of Синтаксических структур».
трансформации: Хотя грамматики непосредственных составляющих оказали долговечное влияние на лингвистику, в современных теориях языка трансформации не используются. Я описываю их здесь, поскольку они сыграли важную роль в ранних работах Хомского.
Зеллиг Харрис исследовал трансформации: Зеллиг Харрис, “Co-occurrence and Transformation in Linguistic Structure”.
«Таким образом, в итоге»: Chomsky, “Three Models for the Description of Language”, с. 124.
«Я изучал его»: Джордж Миллер, “George A. Miller”, с. 405.
«Книга Хомского о синтаксических структурах»: Lees, “Синтаксические структуры”, с. 377.
иерархия Хомского: См. Chomsky, “On Certain Formal Properties of Grammars”.
один лингвист предположил: Manaster-Ramer, “The Soft Formal Underbelly of Theoretical Syntax”.
«Al Bo Cy Di Ed saw make let help shave»: Этот пример взят из главы 16 книги Pullum, The Great Eskimo Vocabulary Hoax and Other Irreverent Essays on the Study of Language, где также приводится красочное описание поисков контекстно-зависимых конструкций (с продолжением в главе 17).
слабо контекстно-зависимый: См. Joshi, “Tree Adjoining Grammars: How Much Context-Sensitivity Is Required to Provide Reasonable Structural Descriptions?”
сравнивали с научными революциями: Подробное обсуждение этого сравнения см. в Koerner, “The Chomskyan ‘Revolution’ and Its Historiography: A Few Critical Remarks” и Newmeyer, “Has There Been a ‘Chomskyan Revolution’ in Linguistics?”
«теория, порожденная отродьем ехидны»: Лингвист, о котором идет речь, — Чарльз Хоккет, цитируется по Mehta, John Is Easy to Please, с. 175.
мошенником и лжецом: Ричард Монтегю объявил Хомского одним из «величайших мошенников в науке двадцатого века» в Berlinski, Black Mischief: Language, Life, Logic, Luck, с. 140, а Пол Постал заявил: «Он будет лгать просто ради забавы. Каждый его аргумент был пропитан и закодирован фальшью и притворством. Это было похоже на игру в шахматы лишними фигурами. Все это было фальшивкой», в MacFarquhar, “The Devil’s Accountant: Noam Chomsky’s Isolation and Influence”, с. 77.
Ожесточенные споры: Красочное описание этих разногласий приводится в книге Рэнди Аллена Харриса The Linguistics Wars: Chomsky, Lakoff, and the Battle over Deep Structure.
по-новому взглянуть на анализ музыки: Леонард Бернстайн, The Unanswered Question: Six Talks at Harvard.
новый способ мышления о моральных рассуждениях: Mikhail, Elements of Moral Cognition: Rawls’ Linguistic Analogy and the Cognitive Science of Moral and Legal Judgment.
повлияли на разработку языков программирования: Хопкрофт и Ульман, Formal Languages and Their Relation to Automata.
«Позвольте мне посмотреть, как вы объясните»: Скиннер, Verbal Behavior, с. 456–457.
рецензия, написанная Хомским: Хомский, «Рецензия на книгу Б. Ф. Скиннера Verbal Behavior».
«Когда я дочитал её, мне захотелось ликовать»: Брунер, In Search of Mind: Essays in Autobiography, с. 159. Скиннер, разумеется, испытывал совсем другие чувства. О его версии событий см. Скиннер, “A Lecture on ‘Having’ a Poem”.
«Ребенок, изучающий язык»: Хомский, «Рецензия на книгу Б. Ф. Скиннера Verbal Behavior», с. 57.
«проблема Платона»: Хомский, Knowledge of Language: Its Nature, Origin, and Use.
«Как получается, что»: Рассел, Human Knowledge: Its Scope and Limits, с. 5. Хомский часто использует эту цитату; см., например, Chomsky, “Reflections on Language”, с. 5.
У Платона было простое решение: Соответствующий отрывок приводится в диалоге «Менон», 85b–86b, с. 55–56 в Day, Plato’s Meno in Focus.
«В том же смысле»: Декарт, “Comments on a Certain Broadsheet”, с. 303–304.
«Но если бы камень»: Этот отрывок приводится в работе Лейбница «Новые опыты о человеческом разумении» в Ariew and Garber, G. W. Leibniz: Philosophical Essays, с. 294.
«На основании»: Хомский, Аспекты теории синтаксиса, с. 59.
Позже он напишет: См., например, Chomsky, “Rules and Representations”.
также врожденные идеи об объектах, деятелях, намерениях и целях: Этот аргумент развивается в книге Хомского Language and Problems of Knowledge: The Managua Lectures.
«В данный момент»: Хомский, «Рецензия на книгу Б. Ф. Скиннера Verbal Behavior», с. 58.
много сложной математики: См. Gold, “Language Identification in the Limit”, и Pinker, “Formal Models of Language Learning”.
простой пример: Этот пример, известный как дативная альтернация, взят из Baker, “Syntactic Theory and the Projection Problem”.
значительный объем теоретической и эмпирической работы: См., например: Baker and McCarthy, The Logical Problem of Language Acquisition; Cowie, “The Logical Problem of Language Acquisition”; MacWhinney, “A Multiple Process Solution to the Logical Problem of Language Acquisition”; и Pinker, “Clarifying the Logical Problem of Language Acquisition”.