Aug, 2022

关于不确定概率和抽象论证的研究注释

TL;DR本文提出了一种形式化方法来允许在抽象论证中对信念程度和置信度进行标记,并在 Sato 的分布语义基础上进行概率查询的概率论证方法,并在考虑不确定的概率时进行实践探讨。