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