【活动预告】2022全国科技活动周｜CAAI云论坛（杭州站）：人工智能逻辑及应用

个人简介：

吴文俊人工智能最高成就奖获得者，复旦大学教授。主要研究人工智能、知识工程和基于知识的软件工程。

个人简介：

深圳大学原校长，国家有突出贡献专家。主要研究信号处理与目标识别、智能信息处理、智能人机交互、智能传感器网络系统等。历任中国电子学会信号处理专委会主任、中国计算机学会多值逻辑与模糊逻辑专委会主任，以及中国科学（信息科学）责任编委、电子学报（英文版）副主编、信号处理主编、国家自然科学基金委员会学科评议组组长等职。

个人简介：

浙江大学光华法学院文科领军人才，教育部“新世纪优秀人才计划”入选者。主要研究领域为法律逻辑学、法律信息学等。中国逻辑学会副会长，CAAI会员服务工委会副主任，中国计算机学会计算法学分会常务委员，Argumentation编委。代表作有《诉讼论证：诉讼博弈的逻辑分析》等。

个人简介：

中国企业人才发展智库首席顾问，兼任多地政府高级经济顾问及多家著名高校客座教授。主要研究领域为组织数字化转型与赋能、战略人力资源管理、组织创新与变革领导力、企业人才培养与社会责任可持续发展。历任中国大唐集团技术经济研究院主任、大唐电信科技产业集团大唐大学校长、中实集团董事副总裁、康佳集团股份公司行政副总等职务。

个人简介：

中国科学院“百人计划”入选者。主要从事大规模知识处理、自然语言理解及知识服务等研究。获得国家发明专利12项。曾获中国中医药结合学会信息专业委员会和中国中医药信息研究学会中医药信息数字化专业委员会论文特等奖等。FCS、《计算机科学》《农业大数据》编委。代表作有《面向专家的知识获取》等。

个人简介：

教育部软硬件协同设计与应用工程研究中心原主任，上海市曙光学者。主要从事智能系统的可信基础研究工作。中国系统科学学会模糊系统与模糊数学专委会副主任、上海市张江物联网协会副会长。曾获教育部自然科学奖一等奖和北京市科技进步奖一等奖。代表作有《形式语义学的稳定论域理论》《软件可信性度量评估与增强规范》。

个人简介：

国家重大人才计划入选者，阿姆斯特丹大学讲席教授， 清华大学-阿姆斯特丹大学逻辑学联合研究中心主任。主要研究动态偏好逻辑、社会主体性研究、人工智能逻辑等。曾获教育部第七届高等学校科学优秀成果一等奖。中国逻辑学会副会长，斯坦福大学语言与信息研究中心客座教授，Studia Logica 副主编，History of Humanities 副主编，Synthese编委。代表作有Reasoning about Preference Dynamics。

个人简介：

倡导以人为本的可持续人工智能。威麟信息Origami创始人/CEO，新加坡SUTD科技与设计大学特聘教授，工信部国家人工智能标准总体组专家成员，WAIC世界人工智能大会国际战略顾问与专家，新加坡SWITCH x SFF科技生态专家与倡导者，前美国MCC研究院第五代电脑AI科学家。