The study of logical systems in AI is not just about formalization, but about understanding the essence of reasoning.
人工智能中逻辑系统的研究不仅仅是形式化，更是理解推理的本质。
我不是为评论家做音乐，而是为真正听音乐的人做的。
"I don’t want to be known just as a tennis player. I want to be known as a good person."
You see, but you do not observe.
Don't be embarrassed by your failures, learn from them and start again.