基于機(jī)器學(xué)習(xí)的自動(dòng)邏輯推理機(jī)。本程序用歸結(jié)反演策略實(shí)現(xiàn)了命題邏輯系統(tǒng)的自動(dòng)推理。把要解決的問(wèn)題作為一個(gè)要證明的命題，其目標(biāo)公式被否定并化成子句形，然后添加到命題公式集中去,把消解反演系統(tǒng)應(yīng)用于聯(lián)合集，并推導(dǎo)出一個(gè)空子句(NIL)，產(chǎn)生一個(gè)矛盾。
標(biāo)簽：
自動(dòng)
機(jī)器學(xué)習(xí)
推理機(jī)
程序
上傳時(shí)間：
2013-11-30
上傳用戶(hù)：GavinNeko
