每个故事都是谎言,但有些谎言比其他谎言更真实。
Every story is a lie, but some lies are more true than others.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。