The study of logical systems in AI is not just about algorithms, but about understanding the essence of reasoning.
对人工智能中逻辑系统的研究不仅仅是关于算法,更是关于理解推理的本质。
实验室是我的游乐场,分子是我的玩具。
I am interested in the transformation of substances.
A mathematical proof is a poem written in the language of logic.