买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉星凡星启(成都)科技有限公司申请的专利基于答案集编程与语言模型下的任务推理方法、装置、设备以及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121257752B 。

龙图腾网通过国家知识产权局官网在2026-03-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511814361.4，技术领域涉及：G06N5/04；该发明授权基于答案集编程与语言模型下的任务推理方法、装置、设备以及介质是由谭铭玺;应鹏飞设计研发完成，并于2025-12-04向国家知识产权局提交的专利申请。

本基于答案集编程与语言模型下的任务推理方法、装置、设备以及介质在说明书摘要公布了：本发明公开了基于答案集编程与语言模型下的任务推理方法、装置、设备以及介质，包括：获取目标语言推理任务、对应的任务数据集以及对应的领域知识库；基于预设大语言模型和目标推理任务的类型，输出对应的结构谓词，并对结构谓词进行校验；将任务数据集、领域知识库以及校验后的结构谓词进行处理，得到答案集编程的规则集以及谓词集合，其中处理包括编码以及一致性校验；加载答案集编程的规则集以及谓词集合，并基于稳定模型语义执行逻辑推理，得到目标语言推理任务的推理结论。本发明属于问答任务推理领域。本发明可以基于答案集编程实现问答任务的更准确推理。

本发明授权基于答案集编程与语言模型下的任务推理方法、装置、设备以及介质在权利要求书中公布了：1.基于答案集编程与语言模型下的任务推理方法，其特征在于，包括： 获取目标语言推理任务、对应的任务数据集以及对应的领域知识库，其中语言推理任务的类型包括定性推理任务、数学推理任务以及本体查询任务，所述任务数据集包括事实数据以及场景约束参数； 基于预设大语言模型和目标推理任务的类型，输出对应的结构谓词，并对结构谓词进行校验，结构谓词的数量大于或等于1，包括：若目标语言推理任务的类型为定性推理任务，则所述预设大语言模型输出的结构谓词为结论谓词或观察谓词；若目标语言推理任务的类型为数学推理任务，则所述预设大语言模型输出的结构谓词为函数谓词；若目标语言推理任务的类型为本体查询任务，则所述预设大语言模型输出的结构谓词为原子谓词，对结构谓词进行校验，包括：判断各结构谓词中所含参数是否满足数量预定义，若任一不满足，则对预设大语言模型进行微调，并重新输出结构谓词；若均满足，则根据目标语言推理任务的类型，确定不可遗漏参数，并判断该不可遗漏参数是否在对应的结构谓词中，若任一不存在，则对预设大语言模型进行微调，并重新输出结构谓词；若均存在，则剔除重复的结构谓词后完成校验； 将所述任务数据集、所述领域知识库以及校验后的结构谓词进行处理，得到答案集编程的规则集以及谓词集合，其中处理包括编码以及一致性校验，包括：将任务数据集编码为答案集编程下的事实、将领域知识库中的因果关系编码为答案集编程下的逻辑规则，以及将校验后的结构谓词作为查询目标；基于答案集编程的求解器，判断事实与逻辑规则是否至少存在一个稳定模型；若至少存在一个，则以事实与逻辑规则融合后的所有规则，作为答案集编程的规则集；若不存在，则预设优先级顺序对事实与逻辑规则融合后的规则进行排序，并以预设位次之前的规则作为答案集编程的规则集； 加载答案集编程的规则集以及谓词集合，并基于稳定模型语义执行逻辑推理，得到目标语言推理任务的推理结论，其中，根据目标语言推理任务的类型，确定答案集编程的求解器，其中求解器包括clingo或sCASP；基于求解器，确定是否存在至少一个稳定模型；若仅存在一个稳定模型，则直接输出稳定模型语义，并作为目标语言推理任务的推理结论；若存在多个稳定模型，则基于预设大语言模型进行语义融合，并将融合后的稳定模型语义，作为目标语言推理任务的推理结论。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人星凡星启(成都)科技有限公司，其通讯地址为：610023 四川省成都市锦江区工业园区三色路238号1栋2单元36层1号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。