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