基于Belnap类型内涵一阶逻辑的概率神经符号AGI机器人扩展

论文提出为基于Belnap类型内涵一阶逻辑（IFOL_B）的神经符号系统加入概率计算，用于处理当前未知命题。作者结合Nilsson概率结构与Shannon最大熵方法，并区分保持知识库与演绎结果的全局对称变换，以及面向实时具体决策的局部变换；概率密度函数KI由神经网络计算。