是指按照某種策略從已知事實(shí)出發(fā)利用知識(shí)推出所需結(jié)論的過(guò)程。
指推理所使用的知識(shí)和推出的結(jié)論都是可以精確表示的，其真值要么為真、要么為假。
