單項(xiàng)選擇題反演歸結(jié)(消解)證明定理時(shí),若當(dāng)前歸結(jié)式是()時(shí),則定理得證。

A.永真式
B.包孕式
C.空子句


您可能感興趣的試卷

你可能感興趣的試題

2.單項(xiàng)選擇題下列哪部分不是專家系統(tǒng)的組成部分()

A.用戶
B.綜合數(shù)據(jù)庫
C.推理機(jī)
D.知識(shí)庫

3.單項(xiàng)選擇題產(chǎn)生式系統(tǒng)的推理不包括()

A.正向推理
B.逆向推理
C.雙向推理
D.簡單推理

5.單項(xiàng)選擇題神經(jīng)網(wǎng)絡(luò)研究屬于下列()學(xué)派

A、符號(hào)主義
B、連接主義
C、行為主義
D、都不是

最新試題

反向傳播算法的基本原理是基于什么()?

題型:多項(xiàng)選擇題

在神經(jīng)網(wǎng)絡(luò)中,激活函數(shù)ReLU 的特點(diǎn)是什么()?

題型:單項(xiàng)選擇題

在機(jī)器學(xué)習(xí)中,核技巧(KernelTrick)主要用于解決什么問題()?

題型:單項(xiàng)選擇題

在自然語言處理任務(wù)中,哪些技術(shù)適用于改善實(shí)體識(shí)別和關(guān)系抽取的效果()?

題型:多項(xiàng)選擇題

模型微調(diào)中的提示學(xué)習(xí)是指:()。

題型:單項(xiàng)選擇題

在自然語言處理中,哪些方法可以用于提升自動(dòng)對(duì)話系統(tǒng)和文本摘要生成的自然性和流暢性()?

題型:多項(xiàng)選擇題

進(jìn)行模型訓(xùn)練之前,需要先把標(biāo)注好的數(shù)據(jù)進(jìn)行分類。訓(xùn)練有監(jiān)督學(xué)習(xí)模型時(shí)會(huì)將數(shù)據(jù)集劃分為()。

題型:多項(xiàng)選擇題

人工智能中的“序列到序列”模型主要用于處理什么類型的數(shù)據(jù)()?

題型:單項(xiàng)選擇題

反向傳播算法和梯度下降算法在神經(jīng)網(wǎng)絡(luò)訓(xùn)練中的關(guān)系是什么()?

題型:多項(xiàng)選擇題

在深度學(xué)習(xí)模型中,用于提高模型訓(xùn)練穩(wěn)定性的技術(shù)是:()。

題型:單項(xiàng)選擇題