华院计算技术(上海)股份有限公司张亮获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉华院计算技术(上海)股份有限公司申请的专利一种仿人类思考智能求解平面几何题的方法和程序产品获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121212373B 。
龙图腾网通过国家知识产权局官网在2026-02-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511767150.X，技术领域涉及：G06N5/04；该发明授权一种仿人类思考智能求解平面几何题的方法和程序产品是由张亮;徐清设计研发完成，并于2025-11-27向国家知识产权局提交的专利申请。
本一种仿人类思考智能求解平面几何题的方法和程序产品在说明书摘要公布了：本发明提供一种仿人类思考智能求解平面几何题的方法和程序产品，涉及智能符号推理技术领域。其中，仿人类思考智能求解平面几何题的方法包括：使用谓词加参数形式的语句表达题目中的几何关系，以此对命题进行直译，并建立图结构，维护推理步骤和过程结果；交替进行几何推导与代数演算，直到得出目标结论；其中，几何推导为代数关系提供新的等式；代数演算化简边长关系，进一步提供几何定理的前提条件；最后回溯推理路径，生成证明过程。本发明提供代数推导和几何推导的交互方法，推理过程严格遵守几何定理及代数运算法则，保证所得结果的正确性。
本发明授权一种仿人类思考智能求解平面几何题的方法和程序产品在权利要求书中公布了：1.一种仿人类思考智能求解平面几何题的方法，其特征在于，包括以下步骤： S1、构建几何命题陈述规则，具体步骤包括： S11、使用谓词加参数形式的语句表达题目中的几何关系；其中，谓词表达几何关系的类型，参数表达存在该几何关系的几何体； S12、使用latex格式的参数表达无理数； S2、对题目进行直译，建立图结构；具体步骤包括： S21、按题目的表达顺序进行直译，得到初始条件和目标结论； S22、使用初始条件和目标结论建立图结构；所述图结构以推导步骤为基础进行分层，记录每一层的推导条件、结果，以及每一次推导过程； S3、几何推导与代数演算：此二者交替进行，直到得出目标结论；具体步骤包括： S31、几何推导：在图结构中，使用当前已知的条件与几何定理的前提条件进行匹配，并将匹配所得结果加入图结构中； S32、代数演算：构建树形关系图，记录当前已知的边长数量关系，并通过代数计算求得新的边长数量关系，以此更新树形关系图； S4、生成证明过程：回溯步骤S3推导得出目标结论的路径，生成证明过程。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华院计算技术(上海)股份有限公司，其通讯地址为：201210 上海市浦东新区中科路1750号1幢23层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励