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
报告人: Gang Chen (Beijing Jinghang Research Institute of Computing and Communication)
时 间: 2017-11-08 13:00-15:00
地 点: Room 1303, Sciences Building No. 1
Abstract:
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.
