人生就像一盒各式各样的巧克力，你永远不知道下一块将会是哪种。
Life was like a box of chocolates, you never know what you’re gonna get.
每一个词都是选择，而每一个选择都是牺牲。
The whole is other than the sum of the parts.
人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。