一种基于语义解析和SMT求解的阅读理解题求解方法

摘要

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