書單推薦 新書推薦 |
證據(jù)推理的計算模型研究 趙航 本書通過將證據(jù)推理與計算模型進行融合,創(chuàng)建了一種可視化的證明方法,稱為證據(jù)推理計算模型。該模型能夠有效地處理不確定性信息,從而保障事實認定的規(guī)范化,提高事實認定的效率和準確性。但是在研究過程中,證據(jù)推理計算模型仍然存在著證據(jù)解釋的模式化、推理邏輯的可視化以及事實概率的計算化等問題。為解決這些問題,我們以證據(jù)解釋論、推理邏輯論和事實概率論等理論為基礎,提出了證據(jù)解釋的核心句體系、推理邏輯的模型結(jié)構和證據(jù)推理的計算方法等路徑。設計了提煉案件信息、建立推理模型以及證據(jù)推理的賦值與計算等方法。最后通過真實案例對證據(jù)推理計算模型進行了演示和驗證。
我要評論
|