To solve a problem, one must first understand its nature and then find the right tools to tackle it.
要解决一个问题，首先必须理解它的本质，然后找到正确的工具来处理它。
I’m a very positive thinker, and I think that is what helps me the most in difficult moments.
对人工智能中逻辑系统的研究不仅仅是关于算法，更是关于理解推理的本质。
The essence of mathematics lies in its freedom.
The historian's first duty is to tell the truth as he sees it, regardless of whom it pleases or displeases.