單項(xiàng)選擇題基于規(guī)則的逆向演繹系統(tǒng)的初始綜合數(shù)據(jù)庫是（）

A.事實(shí)表達(dá)式的與或樹
B.目標(biāo)公式的與或樹
C.與或樹
D.證明樹


您可能感興趣的試卷

你可能感興趣的試題

2.單項(xiàng)選擇題用產(chǎn)生式系統(tǒng)來描述一個(gè)具體問題。設(shè)字符轉(zhuǎn)換問題規(guī)則如下：1.A∧B→C；2.A∧C→D；3.B∧C→G；4.B∧E→F；5.D→E；已知：A，B求：F。設(shè)綜合數(shù)據(jù)庫用集合{x}表示，其中x為字符。采用順序排隊(duì)的控制策略。初始狀態(tài){A，B}。下列結(jié)束條件正確的是（）

A.F∈{x}，當(dāng)目標(biāo)F在綜合數(shù)據(jù)庫中出現(xiàn)時(shí)，則F被求得。
B.F∈{x}，當(dāng)目標(biāo)F在綜合數(shù)據(jù)庫中出現(xiàn)時(shí)，則F一定不被求得。
C.F不包含于{x}，當(dāng)目標(biāo)F不在綜合數(shù)據(jù)庫中出現(xiàn)時(shí)，則F被求得。
D.F不包含于{x}，當(dāng)目標(biāo)F不在綜合數(shù)據(jù)庫中出現(xiàn)時(shí)，則F一定被求得。

4.單項(xiàng)選擇題在用產(chǎn)生式系統(tǒng)描述一個(gè)問題時(shí)，除了產(chǎn)生式系統(tǒng)的三要素外，一般還要求給出問題（）

A.綜合數(shù)據(jù)庫
B.規(guī)則集合
C.初始狀態(tài)和結(jié)束狀態(tài)（目標(biāo)狀態(tài)）
D.搜索策略