問答題簡述基于規(guī)則的正向演繹系統(tǒng)對(duì)事實(shí)、規(guī)則和目標(biāo)的化簡過程。

參考答案： （1）用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡的公式受全稱量詞的約束；
（2）對(duì)規(guī)則的處理同（1）；...