網站首頁
考試題庫
在線???/a>
智能家居
網課試題
問&答
熱門試題
登錄 |
注冊
網站首頁
考試題庫
熱門試題
智能家居
網課試題
大學試題
題庫首頁
每日一練
章節(jié)練習
人工智能填空題每日一練(2020.06.05)
來源:考試資料網
1.填空題
合一算法:求非空有限具有相同謂詞名的原子公式集的()
參考答案:
最一般合一(MGU)
2.填空題
知識表示的方法主要有:狀態(tài)空間法、()、()、語義網絡法、框架表示法以及面向對象表示法等。
參考答案:
問題歸約法;謂詞邏輯法
3.填空題
用歸結反演方法進行定理證明時,可采取的歸結策略有()、()、()、()和()
參考答案:
刪除策略;支持集策略;線性輸入策略;單文字子句策略;祖先過濾策略
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.填空題
魯賓遜提出了()使機器定理證明成為可能
參考答案:
歸結原理