The study of logical systems in AI is not just about formalization, but about understanding the essence of reasoning.
人工智能中逻辑系统的研究不仅仅是形式化,更是理解推理的本质。