URSS.ru Магазин научной книги
Обложка Шилов В.В. На пути к искусственному интеллекту: Логические машины и их создатели Обложка Шилов В.В. На пути к искусственному интеллекту: Логические машины и их создатели
Id: 243072
793

На пути к искусственному интеллекту:
Логические машины и их создатели. Изд. 2, стереотип.

2019. 248 с.
Типографская бумага
Первое издание вышло под названием "История логических машин".

Аннотация

Изобретение в середине XX века электронных компьютеров дало мощный импульс работам по автоматизации различных сторон интеллектуальной деятельности человека и привело к зарождению и бурному развитию нового научного направления --- искусственного интеллекта. Одновременно возник интерес к предыстории искусственного интеллекта, в частности, к попыткам механизировать те или иные этапы процесса мышления. Так, в книге Мартина... (Подробнее)


Содержание
top
Введение5
Глава 1. К определению понятия8
Глава 2. Великое искусство Раймунда Луллия12
Глава 3. Рецепция идей Луллия и их критика24
Глава 4. «Логическая машина» Джонатана Свифта37
Глава 5. Демонстраторы Чарльза Стенхоупа, Третьего графа Стенхоупа57
1. «Философия» логики Стенхоупа59
2. Круглый демонстратор62
3. Квадратный демонстратор70
4. Судьба демонстраторов78
Глава 6. Интеллектуальные машины Семена Николаевича Корсакова81
1. Прямолинейный гомеоскоп с неподвижными частями97
2. Прямолинейный гомеоскоп с подвижными частями98
3. Плоский гомеоскоп100
4. Идеоскоп102
5. Простой компаратор104
Глава 7. «Логическая машина» Уильяма Гамильтона113
Глава 8. Логические машины Альфреда Сми118
1. Машина отношений121
2. Машина различий124
3. Доска отношений125
Глава 9. Логические машины Уильяма Стенли Джевонса128
Глава 10. Логические машины Аллана Маркванда141
Глава 11. Силлогистические карты и машины Генри Канингема150
Глава 12. Машина логических диаграмм Джона Венна155
Глава 13. Логические машины в России159
Глава 14. Патент Чарльза Маколея187
Глава 15. Машина суждений Аннибале Пасторе191
Глава 16. Электрическая логическая машина Бенджамина Бурака196
Глава 17. Конец эпохи199
Приложение 1. Музей или свалка?207
Приложение 2. Воруют!216
Литература230
Именной указатель234

Предисловие
top

Пять с половиной десятилетий назад, в 1958 году, впервые увидела свет книга выдающегося американского популяризатора науки Мартина Гарднера "Logic Machines and Diagrams" ("Логические машины и диаграммы". Она стала первой попыткой систематического изложения многовековой истории развития логических машин и логических диаграмм, и уже давно и справедливо считается классической. До сегодняшнего дня работа Гарднера остается самым достоверным и самым полным аналитическим обзором, посвященным этому интереснейшему феномену в истории логики и вычислительной техники. Можно лишь сожалеть об отсутствии ее перевода на русский язык, – притом, что другие книги Гарднера в СССР и России многократно переиздавались и пользуются огромной популярностью и неизменным спросом у читателей.

Разумеется, за истекшее время накопился немалый объем как ранее не известного, так и по-новому осмысленного материала. И хотя этот материал время от времени находит отражение в публикуемых в научной и популярной печати статьях, необходимость в большой и полной работе на русском языке давно назрела. Предлагаемая вниманию читателей книга (впервые она была опубликована отдельной брошюрой как приложение к журналу "Информационные технологии"...; для настоящего издания текст был переработан и значительно расширен) должна хотя бы отчасти этот пробел восполнить.

Разумеется, эта работа ни в коей мере не должна рассматриваться как попытка "соревнования" с М.Гарднером, – она, скорее, может служить дополнением к ней. Во-первых, речь в ней пойдет только об инструментах и устройствах (машинах), которые получили механическую или электрическую реализацию. Таким образом, за рамками рассмотрения в ней остались логические диаграммы (здесь можно рекомендовать книги Джона Венна [63] и Н.И.Стяжкина...) и логические карты (кроме карт Канингема; о логических картах см. книгу М.Гарднера). Во-вторых, особое внимание уделено тем логическим машинам, которые в работе Гарднера по разным причинам либо вовсе не были рассмотрены ("логические машины" Свифта и Гамильтона, круглый демонстратор Стенхоупа, интеллектуальные машины Корсакова, логические машины Хрущова и Щукарёва), либо были рассмотрены крайне бегло (логические машины Сми, Канингема, Маколея, Бурака). Наконец, по возможности подробно излагаются биографии создателей логических машин – в первую очередь российских.

Список литературы содержит практически исчерпывающий перечень основных относящихся к истории логических машин публикаций на русском, английском, немецком и итальянском языках. Работа снабжена Указателем имен, в котором приведены оригинальные транскрипции и годы жизни всех упомянутых в работе лиц. Для тех из них, о ком сведения в тексте книги отсутствуют, в Указателе дается краткая биографическая справка.


Об авторе
top
photoШилов Валерий Владимирович
Родился в 1954 г. в Москве. В 1976 г. окончил факультет вычислительной математики и кибернетики МГУ имени М. В. Ломоносова. Кандидат технических наук. Работал в ЦНИИ 45 Министерства обороны СССР и Вычислительном центре коллективного пользования АН СССР (с 1993 г. — Институт высокопроизводительных вычислительных систем РАН). Участвовал в ряде научно-исследовательских работ, связанных с разработкой и испытаниями сложных систем вооружения, занимался исследованием и моделированием параллельных вычислительных систем. С 2004 г. был заведующим кафедрой в МАТИ имени К. Э. Циолковского, затем в Московском авиационном институте. С 2015 г. — профессор факультета компьютерных наук НИУ «Высшая школа экономики», академический руководитель программы бакалавриата «Программная инженерия». Опубликовал более 300 научных и научно-популярных работ в российских и международных изданиях. Автор книг «Информатика. Энциклопедия для детей» (в соавт.), «Хроника вычислительных и информационных технологий» (в 4 частях), «Дни и труды Чарльза, третьего графа Стенхоупа» (в соавт. с Ю. Л. Полуновым), «Удивительная история информатики и автоматики», «Основы теории цифрового компьютера» (в соавт. с А. Б. Барским) и др. Составитель и редактор 15 сборников научных статей и специальных выпусков журналов. Автор более 20 работ о творчестве М. А. Булгакова и нескольких стихотворных публикаций. Член редколлегий журналов «Информационные технологии» (Москва) и «Acta Informatica Pragensia» (Прага, Чешская республика), научный консультант Большой Российской энциклопедии, член совета Виртуального компьютерного музея. Член международного профессионального общества IT History Society и рабочей группы IFIP 9.7. Обладатель первой премии IEEE Computer Society Computer History Competition CHC'60 Award (2006) и первой премии IEEE Computer Society 2010 Student Competition Best Architecture Prize (2010; руководитель проекта).