Парадоксы и противоречия искусственного интеллекта: 90 лет первой теореме К. Гёделя о неполноте и 60 лет аргументу Дж. Лукаса

Аннотация

Сегодня чрезвычайно актуальным оказалось изучение вопроса различения – какая доля работы в произведенном артефакте принадлежит человеку, а какая – компью­теру. В этом направлении важной является разработка компьютерных анализаторов, компьютерных генераторов текстов, картин, музыки, мультипликаций, видео. Фунда­ментальный теоретико-алгоритмический статус подобным генераторам задает тест Гёделя – Лукаса – Пенроуза. В 1961 г. профессор Оксфорда Дж. Лукас на основании второй теоремы Гёделя сделал вывод о принципиальном превосходстве человеческо­го разума над всевозможными вычислительными системами. Р. Пенроуз, поддержав такую позицию, заявил, что человеческое сознание не является алгоритмическим и выходит за пределы вычислимости. Этот аргумент вызвал обширную дискуссию, касающуюся его философских оснований, математической обоснованности, физиче­ских и нейрофизиологических объяснений, психологической доверительности, технологической реализации. Спор о важности и альтернативных способах интерпрета­ции аргумента не прекращается, составляя одно из базовых положений философии и методологии искусственного интеллекта и когнитивной науки. В октябре 2021 г. НСМИИ РАН провел Всероссийский симпозиум «Искусственный интеллект: пара­доксы и противоречия», в ходе которого были изучены логико-философские, фор­мально-вычислительные и культурно-антропологические аспекты аргумента Гёделя-Лукаса, а также показаны возможные пути его трансформации и развития, такие как тест Гёделя – Лукаса – Ватта.