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

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

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