單項(xiàng)選擇題反演歸結(jié)（消解）證明定理時，若當(dāng)前歸結(jié)式是（）時，則定理得證。
A.永真式
B.包孕式
C.空子句
您可能感興趣的試卷
你可能感興趣的試題
1.單項(xiàng)選擇題要想讓機(jī)器具有智能，必須讓機(jī)器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計(jì)算機(jī)如何自動獲取知識和技能，實(shí)現(xiàn)自我完善，這門研究分支學(xué)科叫（）。
A.專家系統(tǒng)
B.機(jī)器學(xué)習(xí)
C.神經(jīng)網(wǎng)絡(luò)
D.模式識別
2.單項(xiàng)選擇題下列哪部分不是專家系統(tǒng)的組成部分（）
A.用戶
B.綜合數(shù)據(jù)庫
C.推理機(jī)
D.知識庫
3.單項(xiàng)選擇題產(chǎn)生式系統(tǒng)的推理不包括（）
A.正向推理
B.逆向推理
C.雙向推理
D.簡單推理
4.單項(xiàng)選擇題已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）
A.狀態(tài)空間法
B.問題歸約法
C.謂詞邏輯法
D.語義網(wǎng)絡(luò)法
5.單項(xiàng)選擇題神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學(xué)派
A、符號主義
B、連接主義
C、行為主義
D、都不是
最新試題
在自然語言處理中，哪些技術(shù)可以用于改善實(shí)體識別和文本生成任務(wù)的性能（）？
題型：多項(xiàng)選擇題
在深度學(xué)習(xí)模型中，用于提高模型訓(xùn)練穩(wěn)定性的技術(shù)是：（）。
題型：單項(xiàng)選擇題
智能運(yùn)維AIOps 的核心技術(shù)是什么（）？
題型：單項(xiàng)選擇題
反向傳播算法的基本原理是基于什么（）？
題型：多項(xiàng)選擇題
人工智能發(fā)展的早期階段主要側(cè)重于哪方面的研究（）？
題型：多項(xiàng)選擇題
反向傳播算法和梯度下降算法在神經(jīng)網(wǎng)絡(luò)訓(xùn)練中的主要區(qū)別是什么（）？
題型：多項(xiàng)選擇題
在自然語言處理任務(wù)中，哪些技術(shù)適用于改善實(shí)體識別和關(guān)系抽取的效果（）？
題型：多項(xiàng)選擇題
在深度學(xué)習(xí)中，哪些方法可以用于優(yōu)化模型訓(xùn)練過程并提高模型在特定任務(wù)上的表現(xiàn)（）？
題型：多項(xiàng)選擇題
人工智能中的“序列到序列”模型主要用于處理什么類型的數(shù)據(jù)（）？
題型：單項(xiàng)選擇題
根據(jù)新數(shù)據(jù)集的大小和數(shù)據(jù)集的相似程度，下列選項(xiàng)不屬于遷移學(xué)習(xí)方法情況的是的是（）。
題型：單項(xiàng)選擇題