认知不确定性框架的范畴形式化

认知不确定性源于对系统状态的不完整知识。存在多种用于定量衡量此类不确定性的数学框架，常称为不精确概率理论。鼓励 Opdan 的工作，我们引入一种一般范畴论定义的认知计算框架，作为建模和研究几个哲学认识论概念之间矛盾与协同的基础。我们进一步发展了一种基于范畴论的丰富过程，用于更改计算方法，并用以研究现有实例之间的关系，如可能性理论和确定性因子。最后，我们引入一种基于更改丰富性的一般性贝叶斯信念更新方法，并证明了贝叶斯更新和可能性条件化作为例子。