Искусственный интеллект. Иллюстрированная история. От автоматов до нейросетей

«Органон» Аристотеля. Ок. 350 до н. э.

Греческий философ Аристотель (384–322 до н. э.) затрагивал в своих работах несколько важных тем, которые и по сей день интересуют исследователей ИИ. В своей книге «Политика» Аристотель высказал предположение, что когда-нибудь автоматы заменят рабов: «Если бы каждое орудие могло выполнять свойственную ему работу само, по данному ему приказанию или даже его предвосхищая, и уподоблялось бы статуям Дедала или треножникам Гефеста, о которых Гомер говорит, что они “сами собой входили в собрание богов”, если бы ткацкие челноки сами ткали, а плектры сами играли на кифаре, тогда и зодчие не нуждались бы в работниках, а господам не нужны были бы рабы»[2].

Аристотель также положил начало системному изучению логики. В своих трудах под общим названием «Органон» (др.-греч. «инструмент», «метод») он предлагает приемы выяснения истины и осмысления мира. Основной инструмент в арсенале Аристотеля – силлогизм, трехступенчатый аргумент, например: «Все женщины смертны; Клеопатра – женщина; следовательно, Клеопатра смертна». Если две предпосылки истинны, то и заключение должно быть истинным. Аристотель также проводит различие между частностями и универсалиями (то есть общими категориями). Например, Клеопатра – это частное понятие, тогда как женщина и смертны – универсальные. Когда речь идет об универсалиях, им предшествуют слова все, некоторые или ни один. Аристотель проанализировал множество возможных типов силлогизмов и показал, какие из них состоятельны.

Аристотель также анализировал силлогизмы с модальной логикой – то есть утверждения, содержащие слова возможно или обязательно. Современная математическая логика далеко ушла от аристотелевской методологии, а его приемы были доработаны для применения к суждениям с другой структурой, включая те, что выражают более сложные отношения, и те, что содержат более одного квантора, как, например, фраза «Ни одному человеку не нравятся все люди, которым не нравятся некоторые люди». И все же глубокие изыскания Аристотеля в области логики считаются одним из величайших достижений человечества, давшим толчок многим разработкам в области математики и искусственного интеллекта.

СМ. ТАКЖЕ Талос (ок. 400 до н. э.), Булева алгебра (1854), Нечеткая логика (1965)

Этот впечатляющий бюст Аристотеля – римская копия бронзового оригинала работы древнегреческого скульптора Лисиппа, жившего в IV в. до н. э.