產(chǎn)生式系統(tǒng)在法律推理的應(yīng)用研究.pdf

1、論文從專家系統(tǒng)出發(fā)，研究人工智能產(chǎn)生式系統(tǒng)的方式模擬法條演繹推理、判例歸納推理和判例歸納學(xué)習(xí)的理論和方法，實(shí)現(xiàn)一個(gè)法律推理自動(dòng)判案的專家原型系統(tǒng)。
　　論文在目前計(jì)算機(jī)法律應(yīng)用中進(jìn)行法條檢索或案例歸納總結(jié)的基礎(chǔ)上，把人工智能方法和法律推理理論結(jié)合起來，提出了一種既符合我國法律規(guī)定及法律推理理論又切實(shí)可行的計(jì)算機(jī)法律推理方法。該方法改變了單獨(dú)使用演繹推理或歸納推理的傳統(tǒng)法律推理方式，結(jié)合司法實(shí)務(wù)，把演繹推理和歸納推理兩種推理方式結(jié)合

2、起來一起使用，演繹推理進(jìn)行法條的檢索和適用，歸納推理進(jìn)行判例的歸納和學(xué)習(xí)。該方法把法條看做一個(gè)謂詞邏輯，將其拆解為構(gòu)成要件和適用后果兩個(gè)部分，當(dāng)案件符合構(gòu)成要件時(shí)執(zhí)行該法條的適用后果部分，最后在判例知識(shí)庫中找到適用了相同法條規(guī)則的參考判例。
　　按照上述方法，論文設(shè)計(jì)和實(shí)現(xiàn)了一個(gè)人工智能法律推理的專家原型系統(tǒng)。系統(tǒng)把法典中的法條作為產(chǎn)生式法條規(guī)則庫，把案件事實(shí)表作為總數(shù)據(jù)庫，把判例表作為判例知識(shí)庫。系統(tǒng)采取Microsoft Vi