交互式问题求解方法及服务器及系统的制作方法
【技术领域】
[0001]本发明涉及几何学领域，具体而言，涉及一种交互式问题求解方法及服务器及系统。
【背景技术】
[0002]平面几何指按照欧几里得的《几何原本》构造的几何学。也称欧几里得几何。平面几何研究的是平面上的直线和二次曲线如圆锥曲线一椭圆、双曲线、抛物线等的几何结构和度量性质，如面积、长度、角度、位置关系等。
[0003]几何在人们的生活、工作中应用较广，基于其重要性，专门形成了几何学。发明人经研究发现，现有技术中，用户主要是通过手写答题，十分不便，互动体验有待提高。
【发明内容】
[0004]有鉴于此，本发明实施例的目的在于提供一交互式问题求解方法及服务器及系统，以改善现有技术中主要是通过手写答题，十分不便，互动体验有待提高的问题。
[0005]为了实现上述目的，本发明实施例采用的技术方案如下:
[0006]第一方面，本发明实施例提供了一交互式问题求解方法，应用于交互式问题求解系统，所述系统包括服务器和用户终端，所述服务器中预先存储有待求解几何问题库和求解规则数据库，所述求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则，所述方法包括:
[0007]所述服务器获得所述用户终端发送的用户在所述待求解几何问题库中选择的待求解几何问题；
[0008]将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；
[0009]获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论；
[0010]判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果是，则将所述用户选择的结论作为新增已知条件添加至所述待求解几何问题的已知条件中。
[0011]结合第一方面，本发明实施例提供了第一方面的第一种可能的实施方式，其中，所述方法还包括:
[0012]将包括所述新增已知条件的所述待求解几何问题的每个已知条件、与包括所述新增已知条件的所述待求解几何问题的每个已知条件相关的所有求解规则，以及根据求解规则对所述包括所述新增已知条件的所述待求解几何问题的已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；
[0013]再次获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论，所述用户此次选择的已知条件中包括至少一个所述新增已知条件；
[0014]判断根据再次获得的所述用户选择的已知条件和求解规则，是否能直接得到再次获得的所述用户选择的结论，如果是，则将再次获得的所述用户选择的所述结论作为新增已知条件添加至所述待求解几何问题的已知条件中；
[0015]直至根据所述用户终端发送的所述用户选择的已知条件、求解规则和结论能够直接得出所述待求解几何问题所需得出的结论。
[0016]结合第一方面，本发明实施例提供了第一方面的第二种可能的实施方式，其中，所述服务器中还预先存储有所述待求解几何问题中可选择添加的辅助点和/或辅助线，以及添加各所述辅助点和/或辅助线后分别对应的图，所述方法还包括:
[0017]将所述用户在所述待求解几何问题库中选择的所述待求解几何问题的题干和原图，以及所述待求解几何问题中可选择添加的辅助点和/或辅助线发送至所述用户终端；
[0018]所述方法还包括:
[0019]获得所述用户终端发送的用户选择添加的辅助点和/或辅助线；
[0020]将添加所述用户选择添加的所述辅助点和/或辅助线后的图发送至所述用户终端;
[0021]所述将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规贝1J，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端，包括:
[0022]将所述待求解几何问题的每个已知条件、与所述已知条件和添加的所述辅助线或/和辅助点相关的所有求解规则，以及根据求解规则对各所述已知条件及添加的所述辅助线或/和辅助点进行单步推理可直接得到的所有结论发送至所述用户终端。
[0023]结合第一方面，本发明实施例提供了第一方面的第三种可能的实施方式，其中，所述判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，还包括:
[0024]如果否，则重新将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据所述求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端。
[0025]第二方面，本发明实施例提供了一种交互式问题求解服务器，应用于交互式问题求解系统，所述系统包括用户终端和所述服务器，所述服务器包括:
[0026]预存单元，用于预先存储待求解几何问题库和求解规则数据库，所述求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则；
[0027]第一信息获得单元，用于获得所述用户终端发送的用户在所述待求解几何问题库中选择的待求解几何问题；
[0028]第一信息发送单元，用于将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；
[0029]第二信息获得单元，用于获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论；
[0030]第一判断单元，用于判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果是，则将所述用户选择的结论作为新增已知条件添加至所述待求解几何问题的已知条件中。
[0031]结合第二方面，本发明实施例提供了第二方面的第一种可能的实施方式，其中，还包括:
[0032]第二信息发送单元，用于将包括所述新增已知条件的所述待求解几何问题的每个已知条件、与包括所述新增已知条件的所述待求解几何问题的每个已知条件相关的所有求解规则，以及根据求解规则对所述包括所述新增已知条件的所述待求解几何问题的已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；
[0033]第三信息获得单元，用于再次获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论，所述用户此次选择的已知条件中包括至少一个所述新增已知条件；
[0034]第二判断单元，用于判断根据再次获得的所述用户选择的已知条件和求解规则，是否能直接得到再次获得的所述用户选择的结论，如果是，则将再次获得的所述用户选择的所述结论作为新增已知条件添加至所述待求解几何问题的已知条件中；
[0035]直至根据所述用户终端发送的所述用户选择的已知条件、求解规则和结论能够直接得出所述待求解几何问题所需得出的结论。
[0036]结合第二方面，本发明实施例提供了第二方面的第二种可能的实施方式，其中，所述预存单元，还用于预先存储所述待求解几何问题中可选择添加的辅助点和/或辅助线，以及添加各所述辅助点和/或辅助线后分别对应的图；
[0037]所述服务器还包括:
[0038]第三信息发送单元，用于将所述用户在所述待求解几何问题库中选择的所述待求解几何问题的题干和原图，以及所述待求解几何问题中可选择添加的辅助点和/或辅助线发送至所述用户终端；
[0039]所述服务器还包括:
[0040]第四信息获得单元，用于获得所述用户终端发送的用户选择添加的辅助点和/或辅助线；
[0041]第四信息发送单元，用于将添加所述用户选择添加的所述辅助点和/或辅助线后的图发送至所述用户终端；
[0042]所述第一信息发送单元，用于将所述待求解几何问题的每个已知条件、与所述已知条件和添加的所述辅助线或/和辅助点相关的所有求解规则，以及根据求解规则对各所述已知条件及添加的所述辅助线或/和辅助点进行单步推理可直接得到的所有结论发送至所述用户终端。
[0043]结合第二方面，本发明实施例提供了第二方面的第三种可能的实施方式，其中，所述第一判断单元，还用于判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果否，则重新将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据所述求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端。
[0044]第三方面，本发明实施例提供了一种交互式问题求解系统，包括服务器和用户终端，所述服务器中预先存储有待求解几何问题库和求解规则数据库，所述求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则；
[0045]所述用户终端，用于获得并显示所述服务器发送的信息，获得用户在显示的信息中选择的内容，将用户选择的内容发送至所述服务器，所述用户选择的内容包括待求解几何问题、已知条件、求解规则和结论；
[0046]所述服务器，用于获得所述用户终端发送的用户在所述待求解几何问题库中选择的待求解几何问题；将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论；判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果是，则将所述用户选择的结论