?? 力反饋技術(shù)資料

?? 資源總數(shù)：1932
?? 源代碼：4914

?? 力反饋全部資料 (1932個)

基于機器學習的自動邏輯推理機。本程序用歸結(jié)反演策略實現(xiàn)了命題邏輯系統(tǒng)的自動推理。把要解決的問題作為一個要證明的命題，其目標公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應(yīng)用于聯(lián)合集，...

??