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

权利要求书

1.一种基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述方法先使用语义解析工具对阅读理解题进行语义解析，然后根据语义解析结果生成表示阅读理解题文本信息的一阶逻辑公式φ；再生成候选答案所对应的一阶逻辑公式最后，该方法对取非并与φ进行合取而得到公式并调用SMT求解器去求解的可满足性；若是不可满足的，那么所对应的候选答案就是该方法所求解出来的阅读理解题的答案,

该方法包括以下步骤：

S1.输入阅读理解题文本，使用SEMPRE语义解析工具对阅读理解题文本进行解析，获取阅读理解题文本中单词的词元、词性以及词与词之间的依赖关系；

S2.对单词的词元和词性执行判断来获得谓词符号以及常元；

S3.根据谓词符号及其相关参数来构造原子公式；

S4.根据文本中的句子之间的连接关系来构造复杂公式；

S5.在复杂公式中添加量词以获得完整的一阶逻辑公式

S6.引入四个假设来生成额外的一阶逻辑公式

S7.对进行合取来得到新的公式φ；

S8.对阅读理解题中的问句进行语义解析并求解出答案。

2.根据权利要求1所述基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述对单词的词元和词性进行判断包括：

若单词为动词、形容词或者普通名词，将该单词声明为一阶逻辑语言中的谓词符号；

若单词为专有名词或者特指名词，将该单词声明为一阶逻辑语言中的常元，其中特指名词是指由定冠词“the”、形容词“this”或者形容词“that”形容的名词；

若单词为代词，则将该代词声明为一阶逻辑语言中的常元。

3.根据权利要求1所述基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述构造复杂公式的过程为，假设句子A对应的原子公式为句子B对应的原子公式为ψ，构造复杂公式规则如下：

构造蕴含式：当句子A与句子B以句式“If A then B”出现，则对和ψ构造蕴含式，

构造合取式：当句子A与句子B由连词“and”连接或者句子A与句子B之间没有连词，则对和ψ进行合取；

构造析取式：当句子A与句子B由连词“or”连接，则对和ψ进行析取。

4.根据权利要求1所述基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述添加量词包括：

当句子中的单词由“all”、“every”形容时，添加全称量词来对单词进行量化；

当句子中的单词由“some”、“a”、“not all”形容时，添加存在量词来对单词进行量化。

5.根据权利要求1所述基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述四个假设包括唯一名称假设、封闭世界假设、封闭原因假设和唯一答案假设。

6.根据权利要求1所述基于语义解析和SMT求解的阅读理解题求解方法，其特征在于，所述对阅读理解题中的问句进行语义解析并求解出答案的过程为，对问句进行语义解析并来生成候选答案对应的一阶逻辑公式γ；随后对γ取非，获得一阶逻辑公式再将其与φ进行合取，获得一阶逻辑公式最后调用Z3求解是否是可满足的；若是不可满足的，那么γ对应的候选答案就是求解出来的答案。