A.用Skolem函數(shù)（對(duì)偶形）消去目標(biāo)公式中的全稱量詞，化簡(jiǎn)的公式受存在量詞的約束。
B.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡(jiǎn)的公式受全稱量詞的約束。
C.對(duì)規(guī)則的處理同（*）式。
D.用Skolem函數(shù)消去事實(shí)表達(dá)式中的存在量詞，化簡(jiǎn)的公式受全稱量詞的約束。（*）
您可能感興趣的試卷
你可能感興趣的試題
A.事實(shí)表達(dá)式是文字合取形式
B.事實(shí)表達(dá)式是任意形式
C.規(guī)則形式為：W→L或W→L1∧L2其中L為單文字，W為任意形式。
D.目標(biāo)公式是任意形式
A.數(shù)據(jù)驅(qū)動(dòng)
B.程序驅(qū)動(dòng)
C.依賴性
D.獨(dú)立性
A.陳述性知識(shí)是關(guān)于表示綜合數(shù)據(jù)庫(kù)的知識(shí)。
B.過程性知識(shí)是關(guān)于表示規(guī)則部分的知識(shí)。
C.控制知識(shí)是關(guān)于表示控制策略方面的知識(shí)。
D.規(guī)則表達(dá)的可以是與待求解的問題有關(guān)的客觀規(guī)律方面的知識(shí)，也可以是對(duì)求解問題有幫助的策略方面的知識(shí)。
A.要保持A*算法的可采納性
B.去除可采納性
C.不能增加過多的計(jì)算工作量。
D.以增加工作量為代價(jià)。
最新試題
在自然語言處理任務(wù)中，哪些技術(shù)適用于提升實(shí)體識(shí)別和文本理解的準(zhǔn)確性和效率（）？
在深度學(xué)習(xí)模型訓(xùn)練中，"早停法"（EarlyStopping）策略的應(yīng)用目的是什么（）？
在自然語言處理中，哪些方法可以用于提升自動(dòng)對(duì)話系統(tǒng)和文本摘要生成的自然性和流暢性（）？
在自然語言處理任務(wù)中，哪些技術(shù)適用于改善實(shí)體識(shí)別和關(guān)系抽取的效果（）？
在深度學(xué)習(xí)模型中，用于提高模型訓(xùn)練穩(wěn)定性的技術(shù)是：（）。
根據(jù)新數(shù)據(jù)集的大小和數(shù)據(jù)集的相似程度，下列選項(xiàng)不屬于遷移學(xué)習(xí)方法情況的是的是（）。
在深度學(xué)習(xí)模型訓(xùn)練中，哪些技術(shù)可以用于加速模型收斂和提高穩(wěn)定性（）？
進(jìn)行模型訓(xùn)練之前，需要先把標(biāo)注好的數(shù)據(jù)進(jìn)行分類。訓(xùn)練有監(jiān)督學(xué)習(xí)模型時(shí)會(huì)將數(shù)據(jù)集劃分為（）。
反向傳播算法和梯度下降算法在神經(jīng)網(wǎng)絡(luò)訓(xùn)練中的主要區(qū)別是什么（）？
在自然語言處理中，哪些技術(shù)可以用于改善實(shí)體識(shí)別和文本生成任務(wù)的性能（）？