一种基于大模型及符号逻辑的长距离推理方法及相关设备

本发明公开了一种基于大模型及符号逻辑的长距离推理方法及相关设备，本方案首先在数据层面搭建一个知识库和事实数据库，所述知识库包含稳定概念型知识、规则等；接着以输入的问题作为推理发起的触发器，由大模型对输入的问题进行语义理解并进行推理步骤自动规划，形成若干个推理子目标；针对每个子目标通过检索技术，检索出最相关的规则或知识；同时，与数据库交互，提取出相关事实数据；由大模型根据子任务的推理目标、事实数据和规则进行短距离演绎推理，返回推理结果；最后返回的推理结果(Inference)在进行检查后将加入到下一步，并开始下一个子目标的推理。本方案能够提升大模型长距离推理的可靠性及可解释性。