If one only wished to be happy, this could be easily accomplished; but we wish to be happier than other people, and this is always difficult, for we believe others to be happier than they are.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
"Life is short, make every moment count."