人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
The worth of a psychological theory is measured by its usefulness.
人生就像一杯茶,不会苦一辈子,但总会苦一阵子。