презентация доклада - Российская ассоциация искусственного

ЦЕНТРАЛЬНЫЙ ДОМ УЧЁНЫХ РАН
Секция КИБЕРНЕТИКИ, 51 сезон
8 апреля 2015 г.
Один из пионеров искусственного
разума и кибернетики не только в
русском, но и в мировом масштабе.
В первой половине XIX века выдвинул
концепцию усиления разума
посредством разработки научных
методов и специальных устройств
В 1832 году представил серию из пяти «интеллектуальных
машин» – механических прообразов современных
поисковых и экспертных систем, в конструкции которых
Корсаковым впервые в истории информатики были
применены перфорированные карты.
2
Русский дворянин, изобретатель, ученый, воин.
Родился в 1787 г. в городе Херсоне Российской
Империи, в семье военного инженера Николая
Ивановича Корсакова (1749 – 1788), руководившего
строительством Херсонской крепости, основанной в
1778 г. по указу Екатерины II и ставшей впоследствии
одним из центров Новороссии. В Херсоне началось
строительство Российского Черноморского флота, там
же располагалась и первая база флота.
Корсаков - участник Отечественной войны 1812 года. После войны служил в
статистическом управлении Императорского министерства внутренних дел, позже
был чиновником по особым поручениям этого министерства, вышел в отставку в чине
действительного статского советника (генерала). Широко известен также своим
вкладом в развитие гомеопатии.
Захоронен в своем имении, в селе Тарусово, Московской области.
Один из его сыновей Михаил Семёнович Корсаков (1826 – 1871) – известный
государственный деятель, был генерал-губернатором Восточной Сибири, членом
Государственного Совета Российской Империи.
3
Столбцы перфорированной
таблицы определяют
некоторые записи (идеи), а
отверстия в строках
каждого столбцы – набор
признаков (свойств)
соответствующей записи
Запись (идея)
характеризуется набором
признаков (свойств,
атрибутов)
4
Столбцы таблицы могли
соответствовать лекарствам, а
перфорированные отверстия
в каждом столбце определять
набор симптомов
заболевания, для лечения
которого данное лекарство
наиболее подходит
Корсаков применял
перфорированные карты для
поиска и классификации
Перфорированные карты
играли роль своеобразных
«баз данных»
5
Корсаков применил перфорированные карты для
поиска и классификации, Бэббедж позже – для счета,
Голлерит – для того и другого:
Перфокарта Корсакова
(1832)
Перфокарта Бэббеджа
(1837)
Перфокарта Голлерита
(1880-е)
Стандартная перфокарта
(XX век)
6
В 2013 г. реконструкция перфорированной карты Корсакова была
представлена на выставке «И я с Дубны», проходившей в Музеезаповеднике «Дмитровский кремль», г. Дмитров, М.О.
7
 Концепция
– усиление возможностей разума
посредством разработки научных методов и
устройств
 Основная идея – запись информации посредством
знаков,
обеспечивающих
возможность
ее
механической обработки; комбинация принципа
сводных таблиц и механической обработки
содержащейся в них информации
8
• Прямолинейный Гомеоскоп с неподвижными частями
(франц. Homéoscope rectiligne à pièces fixes)
• Прямолинейный Гомеоскоп с подвижными частями
(франц. Homéoscope rectiligne à pièces mobiles)
• Плоский Гомеоскоп
(франц. Homéoscope plane)
• Идеоскоп
(франц. Idéoscope)
• Простой Компаратор
(франц. Comparateur simple)
9
 Являлись предтечами современных экспертных и
поисковых систем
 Уже в первой половине XIX века машины
Корсакова на практике реализовывали основные
операции с множествами, то есть тот самый базис,
который и поныне лежит в основе дискретной
математики
 Корсаров демонстрировал работу своих машин на
примере подбора наиболее подходящего лекарства
по симптомам заболеваний
10
“в случае болезни, исходя из подробного перечисления
всех симптомов, оно (устройство) может
отобразить, с самой высокой степенью точности,
лекарство наиболее подходящее для этого случая,
при этом по желаемой медицинской методике”
“… могут быть использованы при решении
различных задач в повседневной жизни, …, для того,
чтобы сделать какой бы то ни было вывод”
- Корсаков, 1832 г.
11
Наиболее простое устройство из всех машин Корсакова,
позволяет находить записи по совпадающим признакам
12
12.11.2014
13
H - множество признаков заданной идеи
I - множество признаков идеи из гомеоскопической таблицы
Результат работы гомеоскопа с неподвижными частями соответствует
операции вхождения множеств
14
Позволяет находить записи по
совпадающим признакам и в
дополнение к этому, по ходу поиска,
определяет совпадающие и
несовпадающие признаки для
каждой записи
15
16
P - множество признаков,
присутствующих как в заданной
записи, так и в записи из таблицы
(определяется рычагами,
находящимися с левой стороны в
опущенном состоянии (положение
IX))
R – множество признаков,
присутствующих в заданной записи,
но отсутствующих в записи из
таблицы (определяется рычагами,
находящимися с левой стороны в
поднятом состоянии (положение
VIII))
Пересечение множеств H и I
P  H I
Разность множеств H и I
RH\I
Объединение множеств P и R
H  PR
17
Наиболее хитроумное устройство из всех изобретений Корсакова.
Определяет совпадающие и несовпадающие признаки сравниваемых
записей, и кроме того показывает отсутствующие у заданной записи
признаки других записей
18
19
A – множество признаков, отсутствующих в сравниваемых записях
B – множество признаков, которых нет у сравниваемой записи
C – множество совпадающих признаков;
D – множество наиболее важных совпадающих признаков;
E – множество наиболее важных признаков записи в таблице, не заданных на
идеоскопе
F – множество признаков записи в таблицы, не заданных на идеоскопе
20
Позволяет сравнивать между собой две записи.
Задание признаков осуществляется непосредственно перед
сравнением, устройство не требует подготовки
перфорированных таблиц
21
12.11.2014
22
Позволяет находить записи по совпадающим признакам,
определять совпадающие и несовпадающие признаки,
число которых может быть очень большим. Представляет
попытку механизации обработки больших массивов
данных, работу с двумерными массивами
23
24
Корсаков говорит о “механической операции, с заранее
оговоренными и неизменными условиями” для которой
“в таких же условиях, в любое время, результат
будет таким же” (1832 г.)
Механистическое определение предугадано Корсаковым за
100 лет до формализации понятия алгоритма в середине XX
века в работах А. Маркова, Э. Поста, А. Тьюринга и А. Черча.
25
Корсаков реализует задачи поиска с учетом
относительной степени важности различных критериев:
• Различная глубина погружения штырей в брусок гомеоскопа
• Использовании ярлычков на рычагах гомеоскопа с подвижными
частями и идеоскопа: удаленность расположения ярлычков от оси, а
также их возможная раскраска или нумерация
• Различный размер шляпок штырей гомеоскопа с неподвижными
частями, плоского гомеоскопа или компаратора
• Различная глубина отверстий в перфорированной таблице
26
 1832 г. – Издание Корсаковым трактата с описанием изобретений и
рассмотрение его прошения в Императорской Академии наук
 1961 г. – Публикация архивных материалов АН СССР относительно
прошения Корсакова
 1982 г. – Доклад Г.Н. Поваров об изобретениях Корсакова на
семинаре по искусственному интеллекту, проводившемуся под
руководством Е.А. Александрова в Центральном доме культуры
медицинских работников (г. Москва)
 2001 г. – Статья Г.Н. Поварова в книге «Computing in Russia»
(VIEWEG, 2001)
 2005 г. – Брошюра Г.Н. Поварова «Истоки российской кибернетики»
 2008 г. – Обзор изобретений Корсакова в статье В.В. Шилова
«Логические машины и их создатели» (Информационные
технологии, №8, 2008. Приложение)
 2007 – 2009 г. – Визуализация работы машин Корсакова на кафедре
кибернетики МИФИ
 2009 г. – Издание двух независимых переводов трактата Корсакова от
1832 года, разработка А.С. Михайловым теоретико-множественной
интерпретации работы машин Корсакова
27

Корсаков С.Н. Начертание нового способа исследования при помощи машин,
сравнивающих идеи / Пер. с франц. под ред. А.С. Михайлова. – М.: МИФИ, 2009. – 44 c.

Корсаков С.Н. (1832 г.) Очерк о новом способе исследования посредством машин для
сравнения идей. (перевод с франц. А.В. Сыромятина) // Электронная культура:
трансляция в социокультурной и образовательной среде. Под ред. А.Ю. Алексеева,
С.Ю. Карпук – М.: МГУКИ, 2009

Karsakof S. Apercu d`un procede nouveau d`investigation au moyen de machines a comparer
les idees. - St. Petersbourg, 1832. 22 p., 2 pl.

Из истории вычислительных устройств (Публикация по материалам Архива АН СССР
и примечания М.И. Радовского, Ленинград; предисловие Э. Кольмана, Прага) //
Историко-математические исследования. Вып. XIV. – М.: Физматиздат, 1961. C.551–586

Povarov G.N. Semen Nikolayevich Korsakov. Machines for the Comparison of Philosophical
Ideas. In: Computing in Russia. – VIEWEG, 2001. pp. 47–49.

Поваров Г.Н. Истоки российской кибернетики. – М.: МИФИ, 2005. – 20 с.

Нитусов А.Ю. Семён Корсаков и "машина для сравнения идей". // PC Week/RE, 26, 2005

Шилов В.В. История логических машин. – М.: Кн. дом "ЛИБРОКОМ", 2014. С.81–112
28

Писаржевский О., Радовский М. Интеллектуальные машины // Огонёк, №33, 1962. С.8

Пекелис В.Д. О предках вычислительных машин // Юный техник, №7, 1968. С.16–17

Пекелис В.Д. Кибернетическая смесь. — 3-е изд. — М.: Знание, 1982. C.65

Поваров Г. Н., Нитусов А. Ю. Немецкая книга о русских самосчетах. // PC Week/RE №29, 2005

Зинчук А.И., Михайлов А.С. Программный эмулятор гомеоскопа C.Н. Корсакова // Современные технологии в
задачах управления, автоматики и обработки информации: труды XVI Международного научно-технического
семинара. Сентябрь 2007 г., г. Алушта. – Тула: Изд-во ТулГУ, 2007

Шилов В.В. Логические машины и их создатели // Информационные технологии, №8, 2008 (Приложение). – 40 с.

Фатуева Л. А. «Милое Тарусово, как не любить тебя!» В сб. Общества изучения русской усадьбы «Русская усадьба».
Вып. 13-14 (29-30). – М.: Изд-во «Улей», 2008. C.742–839

Михайлов А.С. Изобретения С.Н. Корсакова // Науч.сессия МИФИ-2009. Аннотации док. Т.3. – М.: МИФИ, 2009

Михайлов А.С. Открытие забытых изобретений / Из истории российской науки / Памяти Г.Н. Поварова //
Инженер-Физик, №15–16, 2009

Мищенко В.С. и др. С.Н. Корсаков: известные и неизвестные страницы жизни и судьбы // Гомеопатическией
ежегодник, 2009

С.Н. Корсаков: наш земляк, пионер российской кибернетики // Дубненское наследие, №43, 2009

Билялова А.А., Бойко М.В. Визуализация работы «интеллектуальных машин» С.Н. Корсакова. / Научн. рук. – А.С.
Михайлов // Научная сессия МИФИ 2010. XIII Международная телекоммуникационная конференция студентов и
молодых ученых “Молодежь и наука” (Секция 4.02 Интеллектуальные системы и технологии). Тезисы докладов. В
3-х частях. Ч.2. – М.: МИФИ, 2010

Устройства С.Н. Корсакова в Кн.: Синицын С.В. Программирование на языке высокого уровня : учебник для студ.
высш. учеб. заведений / С.В. Синицын, А.С. Михайлов, О.И. Хлытчиев. – М. : Издательский центр "Академия",
2010. С.260–262

Elwood Kuni Waldorm (Ed.) Semen Korsakov. - PsychoPublishing, 2011

Воин, учёный, гражданин. К 225-летию со дня рождения С. Н. Корсакова / Под ред. В. Мищенко. — М.:
Техполиграфцентр, 2012. – 132 с.
29
Повторным открытием изобретений
С.Н. Корсакова мы в решающей степени
обязаны профессору кафедры
кибернетики МИФИ Геллию
Николаевичу Поварову – кибернетику,
логику, философу и историку науки
Переводчик и редактор русского издания
винеровской «Кибернетики»
Отмечен в сборнике П.В. Алексеева
«Философы России XIX—XX столетий»
Автор философской теории научно-технического
прогресса, в которой прогресс рассматривается как ряд
стадий возрастающей системной сложности
30

Поваров Г.Н. Истоки российской кибернетики. – М.: МИФИ, 2005

Povarov G.N. Semen Nikolayevich Korsakov. Machines for the Comparison of Philosophical Ideas. /
In: Computing in Russia. – VIEWEG, 2001.

Поваров Г.Н. Счетный цилиндр А.Н. Щукарева / Сб.: Памятники науки и техники. – М.: Наука,
1984.

Поваров Г.Н. Великий конструктор вычислительных машин // Вопросы истории
естествознания и техники, 1984, № 4.

Петров А.Е., Поваров Г.Н. Русские логические машины / В кн.: Кибернетика и логика. – М.:
Мысль, 1978.

Поваров Г.Н. Ампер и кибернетика. – М.: «Советское радио», 1977.

Поваров Г.Н. Предисловие к кн.: А.Д. Холл «Опыт методологии для системотехники» / В кн.:
А.Д. Холл «Опыт методологии для системотехники»: «Советское радио», 1975.

Поваров Г.Н. To Daidálu pteró (К познанию научно-технического прогресса) / Ежегодник
«Системные исследования, 1971». – М.: Наука, 1972.
Поваров Г.Н. Норберт Винер и его «Кибернетика» / В кн.: Н. Винер «Кибернетика». –
Советское радио, 1968.


Поваров Г.Н. Событийный и сужденческий аспекты логики в связи с логическими задачами
техники / Сб. Применение логики в науке и технике, ИАН СССР, 1960.

Поваров Г.Н. Краткий очерк теории кумулятивных сетей / Сб. Проблемы передачи
информации, вып. 6, ИАН СССР, 1960.
31
Михайлов Александр Сергеевич
к.т.н., доцент
[email protected]
+7 916 673 22 64
https://sites.google.com/site/intellimachines/