網(wǎng)站首頁
考試題庫
在線???/a>
智能家居
網(wǎng)課試題
問&答
熱門試題
登錄 |
注冊
網(wǎng)站首頁
考試題庫
熱門試題
智能家居
網(wǎng)課試題
大學(xué)試題
題庫首頁
每日一練
章節(jié)練習(xí)
人工智能填空題每日一練(2020.06.05)
來源:考試資料網(wǎng)
1.填空題
合一算法:求非空有限具有相同謂詞名的原子公式集的()
參考答案:
最一般合一(MGU)
2.填空題
知識表示的方法主要有:狀態(tài)空間法、()、()、語義網(wǎng)絡(luò)法、框架表示法以及面向?qū)ο蟊硎痉ǖ取?/a>
參考答案:
問題歸約法;謂詞邏輯法
3.填空題
用歸結(jié)反演方法進(jìn)行定理證明時,可采取的歸結(jié)策略有()、()、()、()和()
參考答案:
刪除策略;支持集策略;線性輸入策略;單文字子句策略;祖先過濾策略
4.填空題
把謂詞公式化成子句集:(∀x)(∃y)(P(x,y)∨(Q(x,y)→R(x,y))):()。
參考答案:
S={P(x, f(x))∨¬Q(x, f(x))∨R(x, f(x))}
5.填空題
魯賓遜提出了()使機(jī)器定理證明成為可能
參考答案:
歸結(jié)原理