Information Sciences Seminars-------Formalized Engineering Mathematics and the Next Generation of Artificial Intelligence
主 题: Information Sciences Seminars-------Formalized Engineering Mathematics and the Next Generation of Artificial Intelligence
During 2016 and 2017, major industrial countries have each published their own national artificial intelligence development plan. However, in these strategic plans, the domain of theorem proving, traditionally viewed as a central element in intelligence, is nearly ignored. We analyzes the reason behind this phenomena and explains why theorem proving , and formal reasoning in general, should take an important role in the next generation of artificial intelligence. In particular, we sketch a new research direction named formalized engineering mathematics, which we believe, will be an important part of Artificial Intelligence in a future not very far away.
报告人: Gang Chen (Beijing Jinghang Research Institute of Computing and Communication)
时 间: 2017-11-08 13:00-15:00
地 点: Room 1303, Sciences Building No. 1