人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
平凡与非凡的区别在于那一点额外的努力。