- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問答題
【簡(jiǎn)答題】簡(jiǎn)述基于歸結(jié)法的問題提取回答的過程。
答案：
（1）首先用歸結(jié)法證明結(jié)論成立，并畫出歸結(jié)樹；
（2）找出結(jié)論的否定所對(duì)應(yīng)的子句s在歸結(jié)樹中的位置，用重言式s...
（2）找出結(jié)論的否定所對(duì)應(yīng)的子句s在歸結(jié)樹中的位置，用重言式s...
你可能感興趣的試題
問答題
【簡(jiǎn)答題】簡(jiǎn)述用歸結(jié)法證明定理的過程。
答案：
（1）將已知條件化作子句集；
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個(gè)可歸結(jié)的子...
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個(gè)可歸結(jié)的子...
問答題
【簡(jiǎn)答題】什么是合一？什么是合一者？
答案：
若存在一個(gè)置換s使得表達(dá)式集{Ei}中每個(gè)元素經(jīng)置換后的例有：E1s＝E2s＝E3s＝…，則稱表達(dá)式集{Ei}是可合一的...
