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