Computation supports the applications that distinguish knowledge representation from pure philosophy;

• 计算为知识实际应用表示提供了支持,以区别于纯哲学的思辩;