16-17 августа на территории кампуса Яньта нашего университета успешно состоялась Пятая международная конференция по логике и применению искусственного интеллекта (AILA 2025), организованная Сианьским нефтяным университетом, при поддержке Института естественных наук университета, а также при содействии Шэньсийского педагогического университета и Сианьского университета почты и телекоммуникаций. Тематикой конференции является «Логические инновации и возможности применения». Основное внимание уделялось инновационным прорывам в теории искусственного интеллекта и практическому применению в междисциплинарных областях. Мероприятие привлекло более 80 экспертов и ученых из зарубежных вузов, таких как США и Нидерланды, а также из ведущих китайских университетов, включая Пекинский университет, Университет Китайской академии наук, Восточно-Китайский педагогический университет, Шэньсийский педагогический университет, Шаньсийский университет, Университет Шэньчжэня, Чжэцзянский университет, Хэфэйский политехнический университет, а также научно-исследовательских институтов и предприятий, таких как АООО «Хуаюань вычислительная техника» (Шанхай).
Перед открытием конференции секретарь партийного комитета университета Чан Цзян в комнате для встреч тепло принял некоторых экспертов, выразив им горячее приветствие и сердечную благодарность за их участие. Он кратко представил основную информацию об университете и его отраслевых особенностях, а также выразил надежду на дальнейшую поддержку экспертами развития таких направлений, как математика и искусственный интеллект.
Утром 16 августа в актовом зале кампуса Яньта состоялось торжественное открытие конференции. На открытии с приветственной речью выступил проректор нашего университета Чжун Юйхун. Он от имени университета тепло приветствовал и сердечно поблагодарил отечественных и зарубежных делегатов, прибывших издалека, а также представил им достижения Сианьского нефтяного университета в областях развития дисциплин, научных исследований, подготовки кадров, международного обмена и сотрудничества. Он надеялся, что участники смогут использовать эту платформу для полноценного обмена идеями, углубленных дискуссий, стимулирования исследовательской активности, повышения уровня научного исследования и совместного содействия процветанию искусственного интеллекта, математики и логики. Затем с вступительной речью выступил председатель программного комитета конференции, профессор Университета Лейдена (Нидерланды) Марчелло Бонсангве. Церемонию открытия вел декан института естественных наук нашего университета профессор Чжэ Яньхун.
В ходе пленарных заседаний профессор Наташа Алечина из Открытого университета Нидерландов и Фландрии, профессор Чжоу Бэйхай из Шаньсийского университета, профессор Чжан Гоцян из Хьюстонского университета Техаса, профессор Ли Юнмин из Шэньсийского педагогического университета и профессор Чжань Найцзюнь из Пекинского университета представили замечательные доклады на темы: «Логика обучения с подкреплением», «Формальная семантика обобщающих и метафорических предложений», «Интегрированная логика: единная структура для пространственно-временных рассуждений», «Вероятностная временная логика: разрешимость и полная аксиоматизация» и «Расширение логики Хоара для гибридных систем», которые вызвали оживленные дискуссии среди участников.
Закрытие конференции вел профессор Чжоу Хунцзюнь из института математики и статистики Шэньсийского педагогического университета. Председатель конференции, профессор Чжан Сунмао из института математики и системных наук университета Китайской академии наук, подвел итоги мероприятия. Почетный председатель конференции, профессор Се Вэйсинь из Университета Шэньчжэня, вручил награды лауреатам первого и второго места за лучшую статью. Председатель программного комитета, профессор Чэнь Исян из Восточно-Китайского педагогического университета, выразил благодарность рабочей группе оргкомитета конференции.
Данная конференция предоставила экспертам и ученым в областях искусственного интеллекта, логики и математики платформу для обмена и сотрудничества. Проведение этого мероприятия также стало важной инициативой института естественных наук нашего университета по дальнейшему укреплению академического обмена и активизации научной атмосферы. В дальнейшем институт будет глубоко изучать и претворять в жизнь дух совещания по развитию дисциплин университета, воспользуясь этой конференцией как возможностью для дальнейшего уточнения направлений развития дисциплин, усиления организованности научно-исследовательской работы и постоянного повышения способностей к научным инновациям и социальному обслуживанию.