知识网络构建方法及装置的制造方法
【技术领域】
[0001] 本发明涉及几何学领域，具体而言，涉及一种知识网络构建方法及装置。
【背景技术】
[0002] 平面几何指按照欧几里得的《几何原本》构造的几何学。也称欧几里得几何。平 面几何研究的是平面上的直线和二次曲线如圆锥曲线一椭圆、双曲线、抛物线等的几何结 构和度量性质，如面积、长度、角度、位置关系等。
[0003] 几何在人们的生活、工作中应用较广，基于其重要性，专门形成了几何学。随着技 术的发展，现今，已经开发出了可以自动完成几何求解的系统，如几何证明系统等，发明人 经研究发现，现今的几何求解系统无法直接展现各求解结论所采用的知识网络架构，如，无 法体现各求解结论分别使用的求解规则和求解规则的名称，以及各结论分别根据的条件 等，无法形成知识网络，不能满足实际需求。
【发明内容】
[0004] 有鉴于此，本发明实施例的目的在于提供一知识网络构建方法及装置，以改善现 有技术中的几何求解系统无法直接展现各求解结论所采用的知识网络架构，无法形成知识 网络，不能满足实际需求的问题。
[0005] 为了实现上述目的，本发明实施例采用的技术方案如下：
[0006] 第一方面，本发明实施例提供了一知识网络构建方法，应用于知识网络构建装置， 所述装置中预先存储有求解规则数据库，所述求解规则数据库中的求解规则包括平面几何 的推理规则、公理、定义和定理，以及代数的基本定理和规则，所述方法包括：
[0007] 所述知识网络构建装置获得待求解几何问题中的每个已知条件和需得到的每个 结论；
[0008] 根据所述已知条件，从所述求解规则数据库中调用求解规则对所述待求解几何问 题进行求解，直至得到所述待求解几何问题需得到的所有结论，根据从所述已知条件到所 述待求解几何问题需得到的所有结论的求解路径对各所述结论的格式进行定义，得到获得 各所述结论分别使用的求解规则和所述求解规则的名称，以及各所述结论分别根据的条 件。
[0009] 第二方面，本发明实施例提供了一种知识网络构建装置，包括：
[0010] 预存单元，用于预先存储求解规则数据库，所述求解规则数据库中的求解规则包 括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则；
[0011] 信息获得单元，用于获得待求解几何问题中的每个已知条件和需得到的每个结 论；
[0012] 结论求解及格式定义单元，用于根据所述已知条件，从所述求解规则数据库中调 用求解规则对所述待求解几何问题进行求解，直至得到所述待求解几何问题需得到的所有 结论，根据从所述已知条件到所述待求解几何问题需得到的所有结论的求解路径对各所述 结论的格式进行定义，得到获得各所述结论分别使用的求解规则和所述求解规则的名称， 以及各所述结论分别根据的条件。
[0013] 本发明实施例中所提供的知识网络构建方法及装置，会分别列出待求解几何问题 中的每个已知条件和需得到的每个结论，并会根据求解路径对得到的各结论进行定义，体 现获得各结论分别使用的求解规则和求解规则的名称，以及各结论分别根据的条件，可以 通过定义的结论清晰地展现求解结论所采用的知识网络架构，根据各结论分别采用的知识 网络架构，可以完成知识网络构建，使得用户可以清晰、全面、灵活地掌握多种求解路径，符 合实际需求。
[0014] 为使本发明的上述目的、特征和优点能更明显易懂，下文特举较佳实施例，并配合 所附附图，作详细说明如下。
【附图说明】
[0015] 为了更清楚地说明本发明实施例的技术方案，下面将对实施例中所需要使用的附 图作简单地介绍，应当理解，以下附图仅示出了本发明的某些实施例，因此不应被看作是对 范围的限定，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这 些附图获得其他相关的附图。
[0016] 图1示出了本发明实施例1所提供的一种知识网络构建流程示意图；
[0017] 图2示出了本发明实施例1所提供的另一种知识网络构建流程示意图；
[0018] 图3示出了本发明实施例1所提供的一种待求解几何问题求解流程示意图；
[0019] 图4示出了本发明实施例2所提供的一种装置结构示意图；
[0020] 图5示出了本发明实施例2所提供的另一种装置结构示意图；；
[0021] 图6示出了本发明实施例2所提供的一种结论求解及格式定义单元的结构示意 图；
[0022] 图7示出了本发明实施例2所提供的另一种装置结构示意图；
[0023] 图8示出了本发明实施例所提供的一种待求解几何问题的原图；
[0024] 图9示出了本发明实施例所提供的一种待求解几何问题辅助线添加示意图；
[0025] 图10示出了本发明实施例所提供的另一种待求解几何问题辅助线添加示意图；
[0026] 图11示出了本发明实施例所提供的另一种待求解几何问题辅助线添加示意图；
[0027] 图12示出了本发明实施例所提供的一种知识网络示意图；
[0028] 图13示出了本发明实施例所提供的一种待求解几何问题添加辅助线、辅助点后 的不意图；
[0029] 图14示出了本发明实施例2所提供的一种知识网络构建装置的应用场景示意图。
【具体实施方式】
[0030] 下面将结合本发明实施例中附图，对本发明实施例中的技术方案进行清楚、完整 地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。通常在 此处附图中描述和示出的本发明实施例的组件可以以各种不同的配置来布置和设计。因 此，以下对在附图中提供的本发明的实施例的详细描述并非旨在限制要求保护的本发明的 范围，而是仅仅表示本发明的选定实施例。基于本发明的实施例，本领域技术人员在没有做 出创造性劳动的前提下所获得的所有其他实施例，都属于本发明保护的范围。
[0031] 实施例1
[0032] 如图1所示，本发明实施例提供了一种知识网络构建方法，应用于知识网络构建 装置，所述装置中预先存储有求解规则数据库，所述求解规则数据库中的求解规则包括平 面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则，所述方法包括：
[0033] 步骤SlOO :所述知识网络构建装置获得待求解几何问题中的每个已知条件和需 得到的每个结论；
[0034] 优选所述知识网络构建装置获得待求解几何问题中的所有已知条件，以及所述待 求解几何问题需得到的所有结论；
[0035] 当所述待求解几何问题中的已知条件或/和所述待求解几何问题需得到的结论 为多个时，将获得的多个所述已知条件或/和结论进行拆分，优选拆分为主谓宾形式，得到 所述待求解几何问题中的每个已知条件和需得到的每个结论；从而将自然语言描述的已知 条件和结论拆分成单句。
[0036] 步骤SlOl :根据所述已知条件，从所述求解规则数据库中调用求解规则对所述待 求解几何问题进行求解，直至得到所述待求解几何问题需得到的所有结论，根据从所述已 知条件到所述待求解几何问题需得到的所有结论的求解路径对各所述结论的格式进行定 义，得到获得各所述结论分别使用的求解规则和所述求解规则的名称，以及各所述结论分 别根据的条件。
[0037] 于本实施例中，求解路径指从已知条件出发，通过调用与待求解几何问题相关的 公理、定义、定理、推论规则、代数的基本定理和规则等，到达结论的一条路径。
[0038] 其中，平面几何的公理、定义和定理、代数的基本定理和规则可参考教科书中的内 容。根据已知条件，通过推理规则对上述公理、定义和定理、代数的基本定理和规则进行应 用，可以获得结论，在实施时，可预先定义基于平面几何的各公理、定义和定理、代数的基本 定理和规则的推理规则，推理规则的获取可进行预先设置，例如：根据目前已知的知识，建 立几何推理的推理规则库，定义各推理规则与平面几何的各公理、定义和定理、代数的基本 定理和规则的关联性；又例如：应用互联网，进行几何推理的大数据收集，通过数据收集， 建立、更新推理规则库。
[0039] 考虑到几何问题求解过程中，会经常涉及辅助线、辅助点的添加，本发明实施例 中，优选所述方法还包括：
[0040] 添加辅助线或/和辅助点；
[0041] 步骤SlOl中根据所述已知条件，从所述求解规则数据库中调用求解规则对所述 待求解几何问题进行求解，包括：
[0042] 根据所述已知条件和添加的所述辅助线或/和辅助点，从所述求解规则数据库中 调用求解规则对所述待求解几何问题进行求解；
[0043] 得到获得各所述结论分别使用的求解规则和所述求解规则的名称，以及各所述结 论分别根据的条件和辅助线或/和辅助点。
[0044] 根据所述已知条件，从所述求解规则数据库中调用求解规则对所述待求解几何问 题进行求解，直至得到所述待求解几何问题需得到的所有结论的方式有很多，如图2所示， 于本实施例中，优选通过以下方式实现：
[0045] 步骤S200 :从所述求解规则数据库中调用与所述已知条件和添加的所述辅助线 或/和辅助点相关的所有求解规则；
[0046] 为了确保求解的快速、准确，可预先在求解规则数据库中建立各条件、辅助线、辅 助点、结论与求解规则的对应关系，亦可应用互联网，进行大数据收集，通过数据收集，建 立、更新各条件、辅助线、辅助点、结论与求解规则的对应关系。
[0047] 步骤S201 :根据与所述已知条件和添加的所述辅助线或/和辅助点相