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

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


您可能感興趣的試卷

你可能感興趣的試題

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

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

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

A.正向推理
B.逆向推理
C.雙向推理
D.簡(jiǎn)單推理

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

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

最新試題

依存句法分析(DependencyParsing)主要用于分析什么()?

題型:?jiǎn)雾?xiàng)選擇題

在深度學(xué)習(xí)模型訓(xùn)練中,"早停法"(EarlyStopping)策略的應(yīng)用目的是什么()?

題型:?jiǎn)雾?xiàng)選擇題

Xpath 語(yǔ)言有()的構(gòu)成。

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

在自然語(yǔ)言處理任務(wù)中,哪些技術(shù)適用于提升文本分類的性能()?

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

在深度學(xué)習(xí)模型訓(xùn)練中,哪些技術(shù)可以用于加速模型收斂和提高穩(wěn)定性()?

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

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

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

在深度學(xué)習(xí)中,哪些技術(shù)可以用于加速模型訓(xùn)練并提高模型在圖像分類和文本處理任務(wù)上的精確度()?

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

在深度學(xué)習(xí)模型訓(xùn)練中,哪些技術(shù)有助于防止過擬合并提高模型在多任務(wù)學(xué)習(xí)上的表現(xiàn)()?

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

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

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

度量泛化能力的好壞,最直觀的表現(xiàn)就是模型的()。

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