單項選擇題假設(shè)S是不可滿足的，則（）一個歸結(jié)推理規(guī)則的從S 到空子句的推理過程。
A.存在
B.不存在
C.無法確定
您可能感興趣的試卷
你可能感興趣的試題
1.單項選擇題謂詞公式G在海伯倫域上是不可滿足的，則該公式在個體變量域D上是（）
A.可滿足的
B.不可滿足的
C.無法確定
2.單項選擇題在語義網(wǎng)絡(luò)中，用（）來標(biāo)明類與子類之間的關(guān)系。
A.實例聯(lián)系
B.泛化聯(lián)系
C.聚集聯(lián)系
D.屬性聯(lián)系
3.單項選擇題在謂詞公式中，連接詞的優(yōu)先級別從高到低排列是（）
A.﹁，∨，∧，→，↔
B.∧，∨，﹁，→，↔
C.﹁，∧，∨，↔，→
D.﹁，∧，∨，→，↔
最新試題
智能運維AIOps 的核心技術(shù)是什么（）？
題型：單項選擇題
模型微調(diào)中的提示學(xué)習(xí)是指：（）。
題型：單項選擇題
人工智能發(fā)展的早期階段主要側(cè)重于哪方面的研究（）？
題型：多項選擇題
在自然語言處理任務(wù)中，哪些技術(shù)適用于提升文本分類的性能（）？
題型：多項選擇題
在強化學(xué)習(xí)中，什么是“馬爾可夫性質(zhì)”（）？
題型：單項選擇題
數(shù)量歸約中無參數(shù)的方法一般使用（）。
題型：多項選擇題
在自然語言處理中，哪些技術(shù)可以用于改善實體識別和文本生成任務(wù)的性能（）？
題型：多項選擇題
在深度學(xué)習(xí)模型訓(xùn)練中，哪些技術(shù)可以用于加速模型收斂和提高穩(wěn)定性（）？
題型：多項選擇題
在機器學(xué)習(xí)中，核技巧（KernelTrick）主要用于解決什么問題（）？
題型：單項選擇題
依存句法分析（DependencyParsing）主要用于分析什么（）？
題型：單項選擇題