- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述基于規(guī)則的正向演繹系統(tǒng)對(duì)事實(shí)、規(guī)則和目標(biāo)的化簡(jiǎn)過(guò)程。
答案：
（1）用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡(jiǎn)的公式受全稱量詞的約束；
（2）對(duì)規(guī)則的處理同（1）；...
（2）對(duì)規(guī)則的處理同（1）；...
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述基于規(guī)則的逆向演繹系統(tǒng)的使用條件。
答案：
（1）事實(shí)表達(dá)式是文字合取形式；
（2）規(guī)則形式為：W→L或W→L1∧L2，其中L為單文字，W為任意形式；
（2）規(guī)則形式為：W→L或W→L1∧L2，其中L為單文字，W為任意形式；
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述基于規(guī)則的正向演繹系統(tǒng)的使用條件。
答案：
（1）事實(shí)表達(dá)式是任意形式；
（2）規(guī)則形式為：L→W或L1∨L2→W，其中L為單文字，W為任意形式；
...
（2）規(guī)則形式為：L→W或L1∨L2→W，其中L為單文字，W為任意形式；
...
