單項選擇題反演歸結(jié)（消解）證明定理時，若當前歸結(jié)式是（）時，則定理得證。
A.永真式
B.包孕式
C.空子句
您可能感興趣的試卷
你可能感興趣的試題
1.單項選擇題要想讓機器具有智能，必須讓機器具有知識。因此，在人工智能中有一個研究領(lǐng)域，主要研究計算機如何自動獲取知識和技能，實現(xiàn)自我完善，這門研究分支學科叫（）。
A.專家系統(tǒng)
B.機器學習
C.神經(jīng)網(wǎng)絡(luò)
D.模式識別
2.單項選擇題下列哪部分不是專家系統(tǒng)的組成部分（）
A.用戶
B.綜合數(shù)據(jù)庫
C.推理機
D.知識庫
3.單項選擇題產(chǎn)生式系統(tǒng)的推理不包括（）
A.正向推理
B.逆向推理
C.雙向推理
D.簡單推理
4.單項選擇題已知初始問題的描述，通過一系列變換把此問題最終變?yōu)橐粋€子問題集合；這些子問題的解可以直接得到，從而解決了初始問題。這是知識表示法叫（）
A.狀態(tài)空間法
B.問題歸約法
C.謂詞邏輯法
D.語義網(wǎng)絡(luò)法
5.單項選擇題神經(jīng)網(wǎng)絡(luò)研究屬于下列（）學派
A、符號主義
B、連接主義
C、行為主義
D、都不是
最新試題
在深度學習模型中，用于提高模型訓練穩(wěn)定性的技術(shù)是：（）。
題型：單項選擇題
進行模型訓練之前，需要先把標注好的數(shù)據(jù)進行分類。訓練有監(jiān)督學習模型時會將數(shù)據(jù)集劃分為（）。
題型：多項選擇題
在自然語言處理中，哪些方法可以用于提升自動對話系統(tǒng)和文本摘要生成的自然性和流暢性（）？
題型：多項選擇題
在機器學習中，核技巧（KernelTrick）主要用于解決什么問題（）？
題型：單項選擇題
度量泛化能力的好壞，最直觀的表現(xiàn)就是模型的（）。
題型：多項選擇題
在自然語言處理任務(wù)中，哪些技術(shù)適用于提升文本分類的性能（）？
題型：多項選擇題
在自然語言處理中，哪些技術(shù)可以用于改善實體識別和文本生成任務(wù)的性能（）？
題型：多項選擇題
在自然語言處理任務(wù)中，哪些技術(shù)適用于提升實體識別和文本理解的準確性和效率（）？
題型：多項選擇題
反向傳播算法和梯度下降算法在神經(jīng)網(wǎng)絡(luò)訓練中的關(guān)系是什么（）？
題型：多項選擇題
在自然語言處理中，哪些方法可以用于提升文本分類、情感分析和實體識別的準確性（）？
題型：多項選擇題