艺术不是你看到的,而是你让别人看到的。
Science is about understanding the world, and engineering is about changing it.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。