- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡(jiǎn)答題】在基于規(guī)則的逆向演繹系統(tǒng)中，如何用與或樹表示目標(biāo)表達(dá)式？
答案：
在用與或圖表示目標(biāo)表達(dá)式時(shí)，目標(biāo)表達(dá)式中的"與""或"關(guān)系，和與或圖中的"與""或"關(guān)系是一致的。即目標(biāo)表達(dá)式中的"∧"...
你可能感興趣的試題
問答題
【簡(jiǎn)答題】在基于規(guī)則的正向演繹系統(tǒng)中，如何用與或樹表示事實(shí)表達(dá)式？
答案：
在將事實(shí)表達(dá)式用與或樹表示時(shí)，其"與"和"或"的關(guān)系是剛好相反的。在事實(shí)中的"∧"號(hào)在與或樹中表達(dá)為"或"的關(guān)系，而事實(shí)...
問答題
【簡(jiǎn)答題】簡(jiǎn)述基于規(guī)則的逆向演繹系統(tǒng)對(duì)事實(shí)、規(guī)則和目標(biāo)的化簡(jiǎn)過(guò)程。
答案：
（1）用Skolem函數(shù)（對(duì)偶形）消去目標(biāo)公式中的全稱量詞，化簡(jiǎn)的公式受存在量詞的約束；
（2）對(duì)規(guī)則的處理同...
（2）對(duì)規(guī)則的處理同...
