Belnap逻辑

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