报告人：周熠
报告时间：6月20日（周三）10:30-11:30
报告地点：1518
摘要： 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.