神经-符号融合软件理论

定义

"神经-符号融合软件理论"是国家自然科学基金委员会（NSFC）在《面向人机物融合的智能化软件基础研究重大研究计划》中重点培育的基础理论，旨在通过逻辑推理与机器学习相互增强，打破深度学习模型的"黑盒"局限。

核心目标

• 构建高可信、可解释的泛在操作系统与Agent软件工程框架
• 为智能制造、具身智能、机器人集群等复杂场景提供理论基础
• 实现"逻辑演绎与数据归纳协同驱动"

应用场景

• 智能制造中的高可信系统
• 具身智能中的可解释决策
• 机器人集群中的协同控制

相关概念

• [[人机物融合]]
• [[工业智能体]]
• [[中国工业智能政策]]