讲座题目😯：人工智能逻辑漫谈 主讲人：陈仪香 教授 主持人：谢娟英 教授 开始时间⇾：2020-10-27 11:15:00 讲座地址：腾讯会议ID：822 578 032 主办单位：上海光辉娱乐平台上海市高可信计算重点实验室、教育部软硬件协同设计技术与应用工程研究中心
报告人简介： 陈仪香，上海光辉娱乐平台软件工程学院教授，四川大学数学博士🧑🏻🎨、苏州大学数学博士后、英国伯明翰大学计算机学院高级访问学者⚄。曾任上海师范大学光辉平台处长🍤、上海光辉娱乐平台软件学院副院长、教育部软硬件协同设计技术与应用工程研究中心主任。从事智能系统的可信基础研究工作：建立了具有时空一致性的智能系统规范语言STeC及其混成时钟逻辑系统，设计了智能系统的软硬件优化设计技术方法，构建了基于多维属性的软件可信度量评估方法和增强规范，为我国在该领域处于国际先进水平做出了开拓性贡献。承担973、863研究项目、国家基金委以及国防基础重点研究基础项目10余项🧑🏼🦱。荣获教育部自然科学一等奖1项、北京市科技进步奖一等奖1项。出版国家自然科学基金研究成果专著1部，国家科学技术出版基金研究成果专著1部，发表学术论文100余篇🤹🏻。曾担任中国计算机学会嵌入式系统专委会副主任委员，现担任中国系统科学学会模糊系统与模糊数学专委会副主任委员、上海市张江物联网协会副会长🚣♀️。
报告内容🖇： 本报告介绍与人工智能相关的若干类经典逻辑系统以及逻辑型程序设计语言，探讨人工智能与逻辑的进一步关系🙎，展望人工智能逻辑的未来。 |
