公告栏

您当前的位置: 首页 > 公告栏 > 正文

第一届全国人工智能逻辑大会日程
来源: 时间:2024-08-08 作者:

第一届全国人工智能逻辑大会日程

大会报告一

序号

日期

时间

报告人

报告题目

主持人

会议室


08-10

08:30-09:10

开幕式

军教授

兰州交通大学国际会展中心大报告厅


08-10

09:10-09:30

合影

兰州交通大学国际会展中心大报告厅

K1

08-10

09:30-10:10

刘伟茹, 英国布里斯托尔大学教授

AgentSpeak到强化学习:智能自主代理的发展历程

张松懋教授

兰州交通大学国际会展中心大报告厅

K2

08-10

10:10-10:50

严天峰, 兰州交通大学教授

智能无线电(IR一种新的无线通信和频谱感知设计方法

裴继红教授

兰州交通大学国际会展中心大报告厅


08-10

10:50-11:10

茶歇

兰州交通大学国际会展中心大报告厅

K3

08-10

11:10-11:50

刘志明, 西南大学教授

计算机科学中的逻辑表达

彬教授

兰州交通大学国际会展中心大报告厅


08-10

12:00-13:00

午餐

安盛酒店


开幕式


日期

时间

序号

议程

主持人

会议室


08-10

08:30-08:40

1

兰州交通大学校党委常委、副校长闫浩文教授致辞

杨军教授,兰州交通大学电子与信息工程学院院长

兰州交通大学国际会展中心大报告厅


08-10

08:40-08:45

2

美国德克萨斯州大学休斯敦分校张国强教授致辞(视频)

兰州交通大学国际会展中心大报告厅


08-10

08:45-08:55

3

中国人工智能学会人工智能逻辑专委会主任委员、华东师范大学陈仪香教授致辞

兰州交通大学国际会展中心大报告厅


08-10

08:55-09:10

4

中国人工智能学会人工智能逻辑专委会副主任委员、浙江大学熊明辉教授介绍大会筹备情况

兰州交通大学国际会展中心大报告厅


08-10

09:10-09:30


合影

兰州交通大学国际会展中心大报告厅

论坛一、粒计算与机器学习

序号

日期

时间

报告人

报告题目

论坛主席

会议室

1

08-10

14:00-14:20

华有霖,邵亚斌,朱学勤

基于粒球计算的多粒度支持向量回归算法

陈彦辉

安盛酒店3#会议室

2

08-10

14:20-14:40

朱思蕾,白静盼,牛娇娇,姬厚灵

移动边缘计算中的边缘协作式分层缓存策略

陈彦辉

安盛酒店3#会议室

3

08-10

14:40-15:00

柳岸,彭商濂

基于图神经网络的云桌面虚拟机调度算法

陈彦辉

安盛酒店3#会议室

4

08-10

15:00-15:20

杨秀花,牟琼,陈宇亮,丁艳椒 ,程云龙

面向特定类的结构化序贯三支约简

陈彦辉

安盛酒店3#会议室

5

08-10

15:20-15:40

骆科文,冯丽,彭商濂

基于改进多模态多损失融合网络的的情感分析方法

陈彦辉

安盛酒店3#会议室

6

08-10

15:40-16:00

文婷,余雷,李腊全

基于多特征联合学习的脓毒症死亡风险预测模型

陈彦辉

安盛酒店3#会议室


08-10

16:00-16:20

茶歇

安盛酒店

7

08-10

16:20-16:40

杨充六合,伍忠东,郝鑫宇,楚秦

结合LSTM的改进生成对抗网络在时域语音增强中的应用

邵亚斌

安盛酒店3#会议室

8

08-10

16:40-17:00

陈宇亮,罗彬彬 ,赵明富,程云龙

基于结构化序贯三支决策模型的快速属性约简

邵亚斌

安盛酒店3#会议室

9

08-10

17:00-17:20

王吉哲,童磊,沈正华,张建军

基于生成对抗网络的数字身份异常检测算法

邵亚斌

安盛酒店3#会议室

10

08-10

17:20-17:40

朱学勤,邵亚斌,华有霖

基于密度峰值的粒球邻域粗糙集

邵亚斌

安盛酒店3#会议室

11

08-10

17:40-18:00

仲尚,马丽,刘文哲,李雨豪

基于 MFS_YOLO 的轻量化水面小目标检测算法

邵亚斌

安盛酒店3#会议室


08-10

18:30-20:00

欢迎晚宴

安盛酒店


08-10

20:00-21:30

中国人工智能学会人工智能逻辑专委会委员会议

主持人

安盛酒店1#会议室

陈仪香

青年科学家论坛

序号

日期

时间

报告人

报告题目

主持人

会议室

1

08-10

14:00-14:40

张震教授,大连理工大学

面向语言型决策的个性化语义建模


安盛酒店4#会议室

2

08-10

14:40-15:20

唐益明教授,合肥工业大学

知识驱动的多核模糊C均值聚类算法

 

安盛酒店4#会议室

3

08-10

15:20-16:00

陈树伟博士,西南交通大学

基于矛盾体分离的多元动态自动演绎推理

 

安盛酒店4#会议室


08-10

16:00-16:20

茶歇

安盛酒店

5

08-10

16:20-17:00

乔军胜教授,西北师范大学

Three-way decision method based on triangular norms in incomplete information systems and its applications in medical diagnosis

傅 丽

安盛酒店4#会议室

6

08-10

17:00-17:40

郝飞博士,陕西师范大学

概念结构增强的图联邦学习

傅 丽

安盛酒店4#会议室

7

08-10

17:40-18:20

谷真真研究,南昌大学

基于虚拟知识图谱的联邦数据集成和访问

傅 丽

安盛酒店4#会议室


08-10

18:30-20:00

欢迎晚宴

安盛酒店


08-10

20:00-21:30

中国人工智能学会人工智能逻辑专委会工作会议

主持人

安盛酒店1#会议室

陈仪香

论坛二、模糊逻辑与人工智能

序号

日期

时间

报告人

报告题目

论坛主席

会议室

1

08-11

08:00-08:20

宁梦芹,罗昊轩,郭佳宏

动态知识-信念-意图逻辑DEBIL及其医疗认知 AI 应用

郭佳宏

安盛酒店2#会议室

2

08-11

08:20-08:40

罗昊轩,郭佳宏

基于非一致集合的模态逻辑新语义与相关性质

郭佳宏

安盛酒店2#会议室

3

08-11

08:40-09:00

姜世攀,陈树伟,吴鑫

一阶逻辑定理证明器CSE中矛盾体分离式的简化方法

郭佳宏

安盛酒店2#会议室

4

08-11

09:00-09:20

王玉焕,王小霞,刘生云

(O,N)-蕴涵满足推理规则的条件

郭佳宏

安盛酒店2#会议室

5

08-11

09:20-09:40

余喆,卢一苇

结合道义逻辑的人工智能论辩系统法律推理

郭佳宏

安盛酒店2#会议室

6

08-11

09:40-10:00

王译恒,林哲

粗糙集理论中的弱拓扑拟布尔代数:相关代数结构与逻辑系统

郭佳宏

安盛酒店2#会议室


08-11

10:00-10:15

茶歇



安盛酒店

7

08-11

10:15-10:35

张晓媛,田毅,任子涵,段天宇,杨斯媛

拓扑学在 DBSCAN 算法中的应用

贺鹏飞

安盛酒店2#会议室

8

08-11

10:35-10:55

唐浩劲,张超,唐冬,谢维信

一种基于模糊度量学习的高光谱图像小样本分类算法

贺鹏飞

安盛酒店2#会议室

9

08-11

10:55-11:15

于鹏,肖萌,王耀然

区间值(light)--t-余模及其在构造区间值方向单调模糊蕴涵中的应用

贺鹏飞

安盛酒店2#会议室

10

08-11

11:15-11:35

唐益明,鲍嘉轩,胡敏,高健玮

模糊推理的FMT-泛五I方法

贺鹏飞

安盛酒店2#会议室

11

08-11

11:35-11:55

冯雪,傅丽

基于双向投影的犹豫模糊偏好关系群决策方法

贺鹏飞

安盛酒店2#会议室


08-11

12:20-13:00

午餐

安盛酒店

青年博士论坛

序号

日期

时间

报告人

报告题目

主持人

会议室

1

08-11

08:00-08:30

许巾一

基于专家知识的多视角聚类优化方法

折延宏

安盛酒店3#会议室

2

08-11

08:30-09:00

何语丛

基于反绎推理的科学知识发现

折延宏

安盛酒店3#会议室

3

08-11

09:00-09:30

张楚芸

T-S直觉模糊模型及其在目标跟踪系统的应用

折延宏

安盛酒店3#会议室

4

08-11

09:30-10:00

杨骁文

神经符号系统的推理捷径问题

折延宏

安盛酒店3#会议室


08-11

10:00-10:15

茶歇



安盛酒店

5

08-11

10:15-10:45

李奕丹

递归神经网络中的组合性研究

李凡长

安盛酒店3#会议室

6

08-11

10:45-11:15

刘午牛

不确定决策过程的模型检测及其最优策略

李凡长

安盛酒店3#会议室

7

08-11

11:15-11:45

何浩源

更稳健的反绎学习

李凡长

安盛酒店3#会议室

8

08-11

11:45-12:15

 满

基于多粒度认知的阴影集理论模型构建研究

李凡长

安盛酒店3#会议室


08-11

12:20-13:00

午餐

安盛酒店

论坛三、人工智能应用

序号

日期

时间

报告人

报告题目

论坛主席

会议室

1

08-11

08:00-08:20

张勇,纪伟

关系抽取方法研究综述

 

安盛酒店4#会议室

2

08-11

08:20-08:40

赵怡帆,白静盼,杨博忠,牛娇娇,姬厚灵

无人机辅助车联网环境中基于 SAC 的任务迁移和功率分配的联合优化策略

 

安盛酒店4#会议室

3

08-11

08:40-09:00

许天问

可执行的法律表示:问题与进展

 

安盛酒店4#会议室

4

08-11

09:00-09:20

陶红伟,耿镇昊,王涛,牛晓旭,曹巧玲,王璞

溯因学习研究综述

 

安盛酒店4#会议室

5

08-11

09:20-09:40

梁润成

批判性思维定义的评价标准及其应用

 

安盛酒店4#会议室

6

08-11

09:40-10:00

左建坤,牛娇娇,吴海

期刊知识图谱构建及可视化研究

 

安盛酒店4#会议室


08-11

10:00-10:15

茶歇

安盛酒店

7

08-11

10:15-10:35

雷慧云,杨艳春,任鹏百,杨万轩

多聚焦图像融合方法综述

李阳阳

安盛酒店4#会议室

8

08-11

10:35-10:55

孙懿,华金铭,李腊全

基于DNNICU脓毒症患者死亡风险预测模型及其解释性分析

李阳阳

安盛酒店4#会议室

9

08-11

10:55-11:15

曹锋,林玲瑜,汪小莉,易见兵,方旺盛,李俊

一种基于文字匹配度的多元协同演绎算法及应用

李阳阳

安盛酒店4#会议室

10

08-11

11:15-11:35

刘宗香,邱紫康,高志坚,彭小林

基于环形自适应指数移动平均的多模型集成联邦学习

李阳阳

安盛酒店4#会议室


08-11

12:20-13:00

午餐

安盛酒店

大会报告二

序号

日期

时间

报告人

报告题目

主持人

会议室

K4

08-11

14:00-14:40

刘军, 英国北爱尔兰阿尔斯特大学计算学院计算机科学教授、人工智能研究中心主任

自主决策的可信人工智能模型和系统

张永刚教授

兰州交通大学国际会展中心大报告厅

K5

08-11

14:40-15:20

张俊, 美国密歇根大学安娜堡分校心理学系和统计学系教授

广义闭合系统

刘任任教授

兰州交通大学国际会展中心大报告厅


08-11

15:20-15:40

茶歇

兰州交通大学国际会展中心大报告厅


08-11

15:40-16:30

闭幕式

伍忠东教授

兰州交通大学国际会展中心大报告厅

闭幕式


日期

时间

序号

议程

主持人

会议室


08-11

15:40-15:50

1

宣布大会优秀论文名单

伍忠东教授,兰州交通大学

兰州交通大学国际会展中心大报告厅


08-11

15:50-16:10

2

中国人工智能学会人工智能逻辑专委会荣誉主任委员、深圳大学谢维信教授颁奖

兰州交通大学国际会展中心大报告厅


08-11

16:10-16:20

3

中国人工智能学会人工智能逻辑专委会秘书长、深圳大学张勇教授布置AILA20252026年第二届全国人工智能逻辑大会相关准备工作

兰州交通大学国际会展中心大报告厅


08-11

16:20-16:30

4

中国人工智能学会人工智能逻辑专委会主任委员、华东师范大学陈仪香教授做大会总结

兰州交通大学国际会展中心大报告厅