是指按照某種策略從已知事實(shí)出發(fā)利用知識(shí)推出所需結(jié)論的過(guò)程。
指推理所使用的知識(shí)和推出的結(jié)論都是可以精確表示的,其真值要么為真、要么為假。
是一種認(rèn)識(shí)客觀事物和運(yùn)用知識(shí)解決問(wèn)題的綜合能力。