名詞解釋

答案：為了證明子句集S的不可滿(mǎn)足，只要對(duì)S中可進(jìn)行歸結(jié)的子句進(jìn)行歸結(jié)，并把歸結(jié)式加入子句集S.得到新子句集S1，則S與S1在不...

你可能感興趣的試題

答案：啟發(fā)式搜索又稱(chēng)為有知識(shí)搜索，它是在搜索中利用與應(yīng)用領(lǐng)域有關(guān)的啟發(fā)性知識(shí)來(lái)控制搜索路線(xiàn)的一種搜索方法。由于這類(lèi)方法在搜索中...

答案：基本形式P→Q，其中規(guī)則的前件P為前提，具體形式可以是謂詞公式、關(guān)系表達(dá)式和真值函數(shù)的任意與、或、非組合，可以...