A.深度優(yōu)先算法 B.寬度優(yōu)先算法 C.盲搜索算法 D.A算法
A.5.IF-D-THEN-E B.2.IFA∧CTHEN-D C.3.IFB∧CTHEN-G D.4.IFB∧ETHEN-F
A.用Skolem函數(shù)(對偶形)消去目標公式中的全稱量詞,化簡的公式受存在量詞的約束。 B.用Skolem函數(shù)消去事實表達式中的存在量詞,化簡的公式受全稱量詞的約束。 C.對規(guī)則的處理同(*)式。 D.用Skolem函數(shù)消去事實表達式中的存在量詞,化簡的公式受全稱量詞的約束。(*)