过去是远处的一支蜡烛：近得让你无法放弃，远得无法给你安慰。

对人工智能中逻辑系统的研究不仅仅是关于算法，更是关于理解推理的本质。

电影的魅力在于它能够将观众带到另一个世界。

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

文学是社会的良心。