公开(公告)号：CN106960064A

公开(公告)日：2017-07-18

申请号：CN201710313504.2

申请日：2017-05-05

Applicant: 电子科技大学

Inventor： 钟秀琴 ,  符红光 ,  胥亮

IPC: G06F17/30 ,  G06N5/04 ,  G06T11/20

Abstract: 本发明涉及一种基于自学习的几何辅助线添加方法，首先建立辅助线知识库：其次进行关系状态空间编码，与原有状态空间进行比较，查看状态空间是否相似，如果相似则选择辅助线，进行求解，求解成功更新状态空间，整个流程结束；否则，利用蒙特卡洛搜索树+剪枝的方法作为价值网络对辅助线知识库中产生的辅助线进行排序，选择合适的辅助线进行添加，然后进行求解，求解成功，更新状态空间，若不成功，从排序的辅助线知识库中重新选择辅助线，添加后重新进行解题。本发明提到的自动添加辅助线的方法，使得自动添加辅助线的成功率大大增加，并且显著提高了效率。

公开(公告)号：CN105302875A

公开(公告)日：2016-02-03

申请号：CN201510648990.4

申请日：2015-10-09

Applicant: 电子科技大学

Inventor： 符红光 ,  钟秀琴 ,  胥亮

IPC: G06F17/30

CPC classification number: G06F16/338 ,  G06F16/3334

Abstract: 本发明实施例提供了一种交互式问题求解方法及服务器及系统，改善了现有技术中用户需手写答题，便捷性有待提高的问题。该交互式问题求解方法，包括：获得用户选择的待求解几何问题；将待求解几何问题的每个已知条件、与已知条件相关的所有求解规则，以及对各已知条件进行单步推理可直接得到的所有结论发送至用户终端；获得用户终端发送的用户选择的已知条件、求解规则和结论；判断根据用户选择的已知条件和求解规则，是否能直接得到用户选择的结论，如果是，则将选择的结论作为新增已知条件添加至待求解几何问题的已知条件中。使用该交互式问题求解方法，用户可以在平台上进行智能点选答题，使用方便、互动体验好，符合实际需求，易于推广应用。

公开(公告)号：CN103279458B

公开(公告)日：2015-11-25

申请号：CN201310056191.9

申请日：2013-02-22

Applicant: 电子科技大学

Inventor： 符红光 ,  刘忠 ,  钟秀琴

IPC: G06F17/27 ,  G06F17/30

Abstract: 本发明公开了一种领域本体的构建及实例化方法，其特征在于：选定领域，通过Wikipedia获取该领域的核心术语和核心术语之间的关系；将核心术语之间的关系与WordNet查询方式进行比较筛选，确定它们之间的对应模式，通过该对应模式确定所要构建的领域本体的本体关系；通过核心术语和本体关系来构建该领域的领域本体；确定所选定的领域的属性，将该属性添加到领域本体中；将所选定的领域的例题作为领域本体的个体进行实例化；再将实例化的领域本体存入AG数据库；本方法依赖全人类共享的Wikipedia与WordNet资源来构建本体，适合于大多数的特定领域本体的构建，且构建速度相当快捷；本发明还将领域本体实例化，使得构建的领域本体可读性强，易于维护，使用更方便。

公开(公告)号：CN103116574A

公开(公告)日：2013-05-22

申请号：CN201310056194.2

申请日：2013-02-22

Applicant: 电子科技大学

Inventor： 钟秀琴 ,  刘忠 ,  符红光

IPC: G06F17/27

Abstract: 本发明公开了一种从自然语言文本挖掘领域过程本体的方法，包括以下步骤：A、创建过程本体模型；B、将创建的过程本体模型实例化；C、将上述过程本体模型以及实例化的过程本体模型采用RDF三元组进行表示并存储到AG知识库。本发明还公开了一种基于上述过程本体模型的智能搜索方法，根据上述过程本体模型以及接收到的文本数据进行语义搜索。通过本发明提供的从自然语言文本挖掘领域过程本体的方法可以构建出可自动更新的动态的过程本体模型，并将构建的过程本体模型存储到AG知识库中，便于进行语义搜索。