[发明专利]一种基于语义解析和SMT求解的阅读理解题求解方法

摘要

本发明提出一种基于语义解析和SMT求解的阅读理解题求解方法。该方法首先对阅读理解题进行语义解析，继而生成与阅读理解题对应的一阶逻辑公式，再引入四个假设——唯一名称假设、封闭世界假设、封闭原因假设和唯一答案假设来生成额外的一阶逻辑公式。这两部分一阶逻辑公式构成了表达阅读理解题所包含信息的知识库。再根据阅读理解题中的问句来生成候选答案对应的一阶逻辑公式。最后，该方法使用SMT求解器来验证知识库是否蕴涵候选答案对应的一阶逻辑公式，继而求出答案。相比已有的使用神经网络模型和词向量来表达文本的方式，本发明能更好地建立起阅读理解题中所描述的事件之间的关系，从而赋予了阅读理解系统更强的表达能力和推理能力。

主权项

1.一种基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述方法先使用语义解析工具对阅读理解题进行语义解析，然后根据语义解析结果生成表示阅读理解题文本信息的一阶逻辑公式φ；再生成候选答案所对应的一阶逻辑公式最后，该方法对取非并与φ进行合取而得到公式并调用SMT求解器去求解的可满足性；若是不可满足的，那么所对应的候选答案就是该方法所求解出来的阅读理解题的答案。该方法包括以下步骤：S1.输入阅读理解题文本，使用SEMPRE语义解析工具对阅读理解题文本进行解析，获取阅读理解题文本中单词的词元、词性以及词与词之间的依赖关系；S2.对单词的词元和词性执行判断来获得谓词符号以及常元；S3.根据谓词符号及其相关参数来构造原子公式；S4.根据文本中的句子之间的连接关系来构造复杂公式；S5.在复杂公式中添加量词以获得完整的一阶逻辑公式S6.引入四个假设来生成额外的一阶逻辑公式S7.对进行合取来得到新的公式φ；S8.对阅读理解题中的问句进行语义解析并求解出答案。