<samp id="50tj0"><listing id="50tj0"><dl id="50tj0"></dl></listing></samp>

單項(xiàng)選擇題

假設(shè)S是不可滿足的，則（）一個(gè)歸結(jié)推理規(guī)則的從S 到空子句的推理過程。

A.存在
B.不存在
C.無法確定

你可能感興趣的試題

單項(xiàng)選擇題

謂詞公式G在海伯倫域上是不可滿足的，則該公式在個(gè)體變量域D上是（）

A.可滿足的
B.不可滿足的
C.無法確定

單項(xiàng)選擇題

在語義網(wǎng)絡(luò)中，用（）來標(biāo)明類與子類之間的關(guān)系。

A.實(shí)例聯(lián)系
B.泛化聯(lián)系
C.聚集聯(lián)系
D.屬性聯(lián)系

<samp id="vb005"><tbody id="vb005"><dl id="vb005"></dl></tbody></samp>

<samp id="vb005"><listing id="vb005"><dl id="vb005"></dl></listing></samp>