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

Клиффорд Пиковер, 2019

Эта книга рассказывает о том, как человечество постепенно, шаг за шагом шло к созданию искусственного интеллекта и как он стал неотъемлемой частью нашей жизни. Как представляли себе искусственный разум ученые, философы и писатели разных эпох? Какие механизмы создавали наши предки, чтобы облегчить решение умственных задач, и в чем сегодня алгоритмы превосходят нас самих? Как сложатся наши отношения с этими новыми сущностями? Что – или кого – мы создаем: верных помощников или потенциальных врагов? С какими этическими проблемами связано использование искусственного интеллекта? Автор не дает окончательных ответов на эти вопросы, но объясняет, в чем их важность, и призывает читателя поразмышлять над ними.

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

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

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

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

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

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

Примечания

2

Пер. С. А. Жебелева.