中国科大学位与研究生教育
课程名称: 教师:
当前位置:
 >> 
 >> 
Assertional Logic for Knowledge Modeling and its Application
Assertional Logic for Knowledge Modeling and its Application
教师介绍

本讲教师:周熠
所属学科:工科
人  气:222

课程介绍
摘要: Knowledge plays a central role in Artificial Intelligence, and in human history. In this talk, we introduce a new knowledge model, namely assertional logic, that is understandable for both human being and machines. Also, we briefly talk about one of its applications in automated math problem solving. Short bio: Dr. Yi Zhou is a senior research scientist at ZhangJiang Lab, ShangHai, China, also a professor in Massey University, New Zealand. Dr Zhou's research interests focus on foundations of Artificial Intelligence, more precisely, the integration of symbolism, connectionism and behaviourism, and its applications in Knowledge Engineering, Natural Language Understanding and Robotics. He has published more than 40 papers in leading AI journals and conferences, including 6 in one of the most prestigious AI journals - Artificial Intelligence. Dr Zhou serves as the program committee member for many top-tier AI conferences, including IJCAI, AAAI, KR, WWW and so on.

评论

针对该课程没有任何评论,谈谈您对该课程的看法吧?
  • 用户名: 密 码:
致谢:本课件的制作和发布均为公益目的,免费提供给公众学习和研究。对于本课件制作传播过程中可能涉及的作品或作品部分内容的著作权人以及相关权利人谨致谢意!
课件总访问人次:15893180
中国科学技术大学研究生网络课堂试运行版,版权属于中国科学技术大学研究生院。
本网站所有内容属于中国科学技术大学,未经允许不得下载传播。
地址:安徽省合肥市金寨路96号;邮编:230026。TEL:+86-551-63602922;E-mail:wlkt@ustc.edu.cn。