公开(公告)号：CN119046431B

公开(公告)日：2025-05-02

申请号：CN202411158824.1

申请日：2024-08-22

Applicant: 哈尔滨工业大学

Inventor： 丁效 ,  石继豪 ,  何洋 ,  刘挺 ,  秦兵

IPC: G06F16/3329 ,  G06N5/022 ,  G06N5/04 ,  G06F40/30 ,  G06F18/22 ,  G06N3/04

Abstract: 本发明公开了一种基于一阶自然逻辑的多项选择问答系统，包括：预处理模块，用于将问题和候选答案转化为假设；一阶逻辑模块，用于利用一阶逻辑将假设分解为子假设；自然逻辑模块，用于利用自然逻辑从外部语料库改写前提，产生与原始前提传达相同含义的中间前提，并以预定义的最大推理深度λ作为停止标准，迭代生成前提到假设的推理路径；框架构建模块，用于结合一阶逻辑与自然逻辑，集成神经网络构建神经符号推理框架；结果输出模块，用于基于神经符号推理框架，计算中间前提和子假设之间的语义相似度，根据相似度得分输出得分最高的最终选择答案。本发明不仅缩短了推理路径，而且增强了动词短语的对齐。

公开(公告)号：CN119046431A

公开(公告)日：2024-11-29

申请号：CN202411158824.1

申请日：2024-08-22

Applicant: 哈尔滨工业大学

Inventor： 丁效 ,  石继豪 ,  何洋 ,  刘挺 ,  秦兵

IPC: G06F16/332 ,  G06N5/022 ,  G06N5/04 ,  G06F40/30 ,  G06F18/22 ,  G06N3/04

Abstract: 本发明公开了一种基于一阶自然逻辑的多项选择问答系统，包括：预处理模块，用于将问题和候选答案转化为假设；一阶逻辑模块，用于利用一阶逻辑将假设分解为子假设；自然逻辑模块，用于利用自然逻辑从外部语料库改写前提，产生与原始前提传达相同含义的中间前提，并以预定义的最大推理深度λ作为停止标准，迭代生成前提到假设的推理路径；框架构建模块，用于结合一阶逻辑与自然逻辑，集成神经网络构建神经符号推理框架；结果输出模块，用于基于神经符号推理框架，计算中间前提和子假设之间的语义相似度，根据相似度得分输出得分最高的最终选择答案。本发明不仅缩短了推理路径，而且增强了动词短语的对齐。