"Books are the bridges that connect us to each other."
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。
这个理存在于宇宙间,本来就不因为人的明白不明白、实行不实行而有所增减。