Первое устройство для механизации процесса логического вывода.

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

В конце XIII в. каталонский философ-мистик, математик и логик Раймунд Луллий создал устройство, - первый прибор для механизации процесса логического вывода.

Рис. 11.6. Райму́нд Лу́ллий (лат. Raymundus Lullius, исп. Lulio, кат. Ramon Llull; другие варианты написания на русском языке: Раймо́нд Луллий, Раймо́н Лу́ллий, Раймо́н Лулл, Рамо́н Льюль; (ок. 1233— 1315) —, поэт, философ и теолог, один из наиболее влиятельных и оригинальных мыслителей европейского высокого Средневековья. Луллий считается одним из родоначальников европейской арабистики и комбинаторики.

Этот каталонский миссионер и францисканский монах, испанский философ, мистик, писатель, поэт, миссионер конца XIII — начала XIV веков являл собой пример универсального гения. Современники называли его doctor illuminatus, то есть «озаренный наставник».

Луллий был автором многих трудов, однако в данном контексте интерес представляет его книга Ars Magna («Великое искусство»). Среди прочего в ней излагается метод, посредством которого любой человек может не только легко понять и усвоить все известные истины веры, но даже открыть новые. Этот универсальный способ открытия истин подразумевает использование машины (Рис. 11.8), состоящей из вложенных друг в друга концентрических дисков.

Рис.11.7. Машина и логическая лестница Луллия, XVI век

Вне исторического контекста, машина Луллия представляется несерьёзной, но стоит задуматься, почему и для чего она создавалась. Прежде всего, Луллий был миссионером, но, в отличие от инквизиторов, он, францисканец, хотел нести веру не крестом и мечом, а логикой и стремился быть доказательным в своей позиции. Поэтому он, возможно первым из христиан-богословов, стал изучать восточные языки и культуру и оказался одним из тех, кто проложил мостик между древней культурой Востока и культурой Возрождения Запада.

Он хотел говорить с иноверцами на их языке, используя для этого, как бы сегодня сказали, формальную логику. Ему были знакомы алгебраические труды Аль Хорезми и само понятие «алгоритм», а во время путешествий по Северной Африке он видел гадальные устройства, состоящие из концентрических вращающихся дисков. Сочетая алгоритмическую основу с дисковой механикой, Луллий намеревался создать инструмент для получения логических доказательств.

Джонатан Свифт назвал машину Луллия «компьютером» вслед за Лейбницем, который считал, что научный спор можно решить с помощью бумаги, пера и вычислений. В английском переводе его тезис звучит так: Gentlemen, let us compute! (Надо иметь в виду, что до недавнего времени под словом compute понимали, как доказательство чего-то математическими средствами, а не просто как вычисление.)

О том, насколько удачным оказался опыт использования этой машины, сказать трудно. Однако, попутно Луллий сделал целый ряд открытий. Задолго до Буля он сформулировал идею создания «алфавита для мыслей», выдвинул принципы логического анализа, изложил свои соображения об эвристических и дедуктивных методах (правда, представленных в зародышевой форме). Помимо машин он использовал то, что мы называем теорией графов, табличные и графические формы представления информации. В его трудах можно найти диаграммы (Рис. 11.9), весьма похожие на применяемые сейчас диаграммы Венна. Все это дает основание считать Луллия первооткрывателем формальных логических методов, а его машину — предшественником современных компьютеров, пусть и полумифическим.

Таким образом, машина выступает у него лишь инструментом, предлагающим для анализа все новые и новые варианты. Здесь вполне можно провести – пусть достаточно грубую – аналогию с современными экспертными системами, которые также выступают в роли генератора возможных вариантов решения той или иной задачи, оставляя окончательный выбор за анализирующим их специалистом.

Рис. 11.8. Диаграммы Луллия