概率推理

研究团队提出基于Belnap类型化内涵一阶逻辑的概率神经符号AGI框架，通过概率计算增强机器人的认知能力，实现神经网络学习与符号推理的深度融合。

研究者提出一种基于格论的非智能预言机框架，通过输出自洽的可信集而非单一概率值，解决AI预测被学习后自我改变的根本矛盾。