权利要求的保护范围为准。
【主权项】
1.一种交互式问题求解方法，其特征在于，应用于交互式问题求解系统，所述系统包括服务器和用户终端，所述服务器中预先存储有待求解几何问题库和求解规则数据库，所述求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则，所述方法包括: 所述服务器获得所述用户终端发送的用户在所述待求解几何问题库中选择的待求解几何问题； 将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端; 获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论； 判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果是，则将所述用户选择的结论作为新增已知条件添加至所述待求解几何问题的已知条件中。2.根据权利要求1所述的交互式问题求解方法，其特征在于，所述方法还包括: 将包括所述新增已知条件的所述待求解几何问题的每个已知条件、与包括所述新增已知条件的所述待求解几何问题的每个已知条件相关的所有求解规则，以及根据求解规则对所述包括所述新增已知条件的所述待求解几何问题的已知条件进行单步推理可直接得到的所有结论发送至所述用户终端； 再次获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论，所述用户此次选择的已知条件中包括至少一个所述新增已知条件； 判断根据再次获得的所述用户选择的已知条件和求解规则，是否能直接得到再次获得的所述用户选择的结论，如果是，则将再次获得的所述用户选择的所述结论作为新增已知条件添加至所述待求解几何问题的已知条件中； 直至根据所述用户终端发送的所述用户选择的已知条件、求解规则和结论能够直接得出所述待求解几何问题所需得出的结论。3.根据权利要求1所述的交互式问题求解方法，其特征在于，所述服务器中还预先存储有所述待求解几何问题中可选择添加的辅助点和/或辅助线，以及添加各所述辅助点和/或辅助线后分别对应的图，所述方法还包括: 将所述用户在所述待求解几何问题库中选择的所述待求解几何问题的题干和原图，以及所述待求解几何问题中可选择添加的辅助点和/或辅助线发送至所述用户终端； 所述方法还包括: 获得所述用户终端发送的用户选择添加的辅助点和/或辅助线； 将添加所述用户选择添加的所述辅助点和/或辅助线后的图发送至所述用户终端； 所述将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端，包括: 将所述待求解几何问题的每个已知条件、与所述已知条件和添加的所述辅助线或/和辅助点相关的所有求解规则，以及根据求解规则对各所述已知条件及添加的所述辅助线或/和辅助点进行单步推理可直接得到的所有结论发送至所述用户终端。4.根据权利要求1所述的交互式问题求解方法，其特征在于，所述判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，还包括: 如果否，则重新将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据所述求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端。5.一种交互式问题求解服务器，其特征在于，应用于交互式问题求解系统，所述系统包括用户终端和所述服务器，所述服务器包括: 预存单元，用于预先存储待求解几何问题库和求解规则数据库，所述求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则；第一信息获得单元，用于获得所述用户终端发送的用户在所述待求解几何问题库中选择的待求解几何问题； 第一信息发送单元，用于将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端； 第二信息获得单元，用于获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论； 第一判断单元，用于判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果是，则将所述用户选择的结论作为新增已知条件添加至所述待求解几何问题的已知条件中。6.根据权利要求5所述的交互式问题求解服务器，其特征在于，还包括: 第二信息发送单元，用于将包括所述新增已知条件的所述待求解几何问题的每个已知条件、与包括所述新增已知条件的所述待求解几何问题的每个已知条件相关的所有求解规贝1J，以及根据求解规则对所述包括所述新增已知条件的所述待求解几何问题的已知条件进行单步推理可直接得到的所有结论发送至所述用户终端； 第三信息获得单元，用于再次获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论，所述用户此次选择的已知条件中包括至少一个所述新增已知条件； 第二判断单元，用于判断根据再次获得的所述用户选择的已知条件和求解规则，是否能直接得到再次获得的所述用户选择的结论，如果是，则将再次获得的所述用户选择的所述结论作为新增已知条件添加至所述待求解几何问题的已知条件中； 直至根据所述用户终端发送的所述用户选择的已知条件、求解规则和结论能够直接得出所述待求解几何问题所需得出的结论。7.根据权利要求5所述的交互式问题求解服务器，其特征在于，所述预存单元，还用于预先存储所述待求解几何问题中可选择添加的辅助点和/或辅助线，以及添加各所述辅助点和/或辅助线后分别对应的图； 所述服务器还包括: 第三信息发送单元，用于将所述用户在所述待求解几何问题库中选择的所述待求解几何问题的题干和原图，以及所述待求解几何问题中可选择添加的辅助点和/或辅助线发送至所述用户终端； 所述服务器还包括: 第四信息获得单元，用于获得所述用户终端发送的用户选择添加的辅助点和/或辅助线； 第四信息发送单元，用于将添加所述用户选择添加的所述辅助点和/或辅助线后的图发送至所述用户终端； 所述第一信息发送单元，用于将所述待求解几何问题的每个已知条件、与所述已知条件和添加的所述辅助线或/和辅助点相关的所有求解规则，以及根据求解规则对各所述已知条件及添加的所述辅助线或/和辅助点进行单步推理可直接得到的所有结论发送至所述用户终端。8.根据权利要求5所述的交互式问题求解服务器，其特征在于，所述第一判断单元，还用于判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果否，则重新将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据所述求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端。9.一种交互式问题求解系统，其特征在于，包括服务器和用户终端，所述服务器中预先存储有待求解几何问题库和求解规则数据库，所述求解规则数据库中的求解规则包括平面几何的推理规则、公理、定义和定理，以及代数的基本定理和规则； 所述用户终端，用于获得并显示所述服务器发送的信息，获得用户在显示的信息中选择的内容，将用户选择的内容发送至所述服务器，所述用户选择的内容包括待求解几何问题、已知条件、求解规则和结论； 所述服务器，用于获得所述用户终端发送的用户在所述待求解几何问题库中选择的待求解几何问题；将所述待求解几何问题的每个已知条件、与所述已知条件相关的所有求解规则，以及根据求解规则对各所述已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论；判断根据所述用户选择的已知条件和求解规则，是否能直接得到所述用户选择的结论，如果是，则将所述用户选择的结论作为新增已知条件添加至所述待求解几何问题的已知条件中。10.根据权利要求9所述的交互式问题求解系统，其特征在于，所述服务器还用于，将包括所述新增已知条件的所述待求解几何问题的每个已知条件、与包括所述新增已知条件的所述待求解几何问题的每个已知条件相关的所有求解规则，以及根据求解规则对所述包括所述新增已知条件的所述待求解几何问题的已知条件进行单步推理可直接得到的所有结论发送至所述用户终端；再次获得所述用户终端发送的所述用户选择的已知条件、求解规则和结论，所述用户此次选择的已知条件中包括至少一个所述新增已知条件；判断根据再次获得的所述用户选择的已知条件和求解规则，是否能直接得到再次获得的所述用户选择的结论，如果是，则将再次获得的所述用户选择的所述结论作为新增已知条件添加至所述待求解几何问题的已知条件中；直至根据所述用户终端发送的所述用户选择的已知条件、求解规则和结论能够直接得出所述待求解几何问题所需得出的结论。
【专利摘要】本发明实施例提供了一种交互式问题求解方法及服务器及系统，改善了现有技术中用户需手写答题，便捷性有待提高的问题。该交互式问题求解方法，包括：获得用户选择的待求解几何问题；将待求解几何问题的每个已知条件、与已知条件相关的所有求解规则，以及对各已知条件进行单步推理可直接得到的所有结论发送至用户终端；获得用户终端发送的用户选择的已知条件、求解规则和结论；判断根据用户选择的已知条件和求解规则，是否能直接得到用户选择的结论，如果是，则将选择的结论作为新增已知条件添加至待求解几何问题的已知条件中。使用该交互式问题求解方法，用户可以在平台上进行智能点选答题，使用方便、互动体验好，符合实际需求，易于推广应用。
【IPC分类】G06F17/30
【公开号】CN105302875
【申请号】CN201510648990
【发明人】符红光, 钟秀琴, 胥亮
【申请人】电子科技大学
【公开日】2016年2月3日
【申请日】2015年10月9日