填空題

魯賓遜提出了（）使機器定理證明成為可能

答案： 歸結原理
題目列表

你可能感興趣的試題

問答題

【簡答題】規(guī)則庫中，概念共享和概念分離各指什么？在哪種情況下，其與／或樹和依賴圖是相一致的？
答案： 對系統(tǒng)中的所有事實，如果在規(guī)則的條件部分只出現(xiàn)一次，則稱這樣的系統(tǒng)是概念分離的，否則就是概念共享的。
在概念分...
問答題

【簡答題】何謂產生式系統(tǒng)？它由哪幾部分組成？
答案： 把一組產生式放在一起，讓它們相互配合，協(xié)同作用，一個產生式生成的結論可以供另一個產生式作為已知事實使用，以求得問題的解，...
微信掃碼免費搜題