申请/专利权人:科大讯飞股份有限公司
申请日:2023-12-29
公开(公告)日:2024-04-05
公开(公告)号:CN117831049A
主分类号:G06V30/41
分类号:G06V30/41;G06N5/045
优先权:
专利状态码:在审-实质审查的生效
法律状态:2024.04.23#实质审查的生效;2024.04.05#公开
摘要:本申请实施例公开了一种平面几何证明题解答方法、装置、设备及存储介质,将目标平面几何证明题转换为神经符号表达后,基于神经符号表达进行至少一步处理,得到目标平面几何证明题需要求证的目标;其中,在基于神经符号表达进行至少两步处理的情况下,在进行一步推理后,后续任一步的推理过程仅基于奖励值最大的推理路径上的所有几何条件包括神经符号表达以及推理路径上产生的推理结果进行推理,不再遍历所有推理路径上的几何条件,从而降低整个推理过程的数据量,进而提高平面几何证明题的自动解答效率。
主权项:1.一种平面几何证明题解答方法,其特征在于,包括:将目标平面几何证明题转换为神经符号表达;基于所述神经符号表达进行m步推理,得到所述目标平面几何证明题需要求证的目标;其中,在m大于1的情况下,第i步的推理过程为:获得第i-1步推理得到的多个推理结果中各个推理结果对应的推理路径的奖励值;确定当前用于推理的所有几何条件;所述当前用于推理的所有几何条件包含:所述神经符号表达,以及奖励值最大的推理路径上推理产生的推理结果;基于所述当前用于推理的所有几何条件进行第i步的推理;1i≤m。
全文数据:
权利要求:
百度查询: 科大讯飞股份有限公司 平面几何证明题解答方法、装置、设备及存储介质
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。