In the view of logic, reasoning is the use of knowledge and logic deduction.
从逻辑的角度来看,对知识的利用就是推理,就是逻辑演绎。
In modern time, "be certain to get" can not be used as the definition of logic, and broad view of logic should be advocated.
在现代,不能用“必然地得出”作为逻辑的定义,应当提倡并树立大逻辑观。
In this paper, the syntax, semantic, inference problem and inference algorithm about SHIQ from the point view of logic were introduced.
该文从逻辑的角度介绍了SHIQ的语法、语义、推理问题和推理算法。
应用推荐