填空題

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

答案： 歸結(jié)原理
題目列表

你可能感興趣的試題

問(wèn)答題

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

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