arXiv:2206.12934v4 Announce Type: replace-cross 摘要：在本文中，我们提出了概率类型自然演绎演算TPTND，它旨在推理和推导概率计算过程的信任性质，这些过程类似于当前AI应用的基础。TPTND中的推导被解释为从给定的分类分布中提取n个可能复杂的输出样本，并以一定的频率进行。我们将这些输出的信任形式化为假设检验的形式，检验此类频率与预期概率之间的距离。演算的主要优势在于使其能够验证这种信任性质。我们展示了我们推理的项的计算语义，然后给出了TPTND的形式化语义，其中通过引入规则和消去规则定义了逻辑运算符以及一个信任运算符。我们阐述了结构和元理论性质，特别是关注在何种项演化和逻辑规则应用下，可以保持这种信任性质的概念。