本书通过将证据推理与计算模型进行融合，创建了一种可视化的证明方法，称为证据推理计算模型。该模型能够有效地处理不确定性信息，从而保障事实认定的规范化，提高事实认定的效率和准确性。但是在研究过程中，证据推理计算模型仍然存在着证据解释的模式化、推理逻辑的可视化以及事实概率的计算化等问题。为解决这些问题，我们以证据解释论、推理逻辑论和事实概率论等理论为基础，提出了证据解释的核心句体系、推理逻辑的模型结构和证据推理的计算方法等路径。设计了提炼案件信息、建立推理模型以及证据推理的赋值与计算等方法。最后通过真实案例对证据推理计算模型进行了演示和验证。