APP 
。謂詞邏輯的歸結(jié)反演是僅有一條推理規(guī)則的問(wèn)題求解方法,為證明-A→B,其中A、B是謂詞公式。使用反演過(guò)程,先建立合式公式:G=A∧&8969;B圖3-21 梯形進(jìn)而得到相應(yīng)的子句集S,只需證明S是不可滿(mǎn)足的即可。例3.14 證明 “由梯形的對(duì)角線(xiàn)形 （本文共 1127 字 , 8 張圖 ） [閱讀本文] >>
海量資源，盡在掌握
。謂詞邏輯的歸結(jié)反演是僅有一條推理規(guī)則的問(wèn)題求解方法,為證明-A→B,其中A、B是謂詞公式。使用反演過(guò)程,先建立合式公式:G=A∧&8969;B圖3-21 梯形進(jìn)而得到相應(yīng)的子句集S,只需證明S是不可滿(mǎn)足的即可。例3.14 證明 “由梯形的對(duì)角線(xiàn)形 （本文共 1127 字 , 8 張圖 ） [閱讀本文] >>
開(kāi)通會(huì)員，享受整站包年服務(wù)
說(shuō)明： 本文檔由創(chuàng)作者上傳發(fā)布，版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán)，請(qǐng)點(diǎn)擊申訴舉報(bào)