便利回答涉及对定量信息推理的问题

摘要

本发明涉及便利回答涉及对定量信息推理的问题。提供了便利应答涉及数学计算的问题的系统、计算机实现的方法和/或计算机程序产品。在一个实施例中，计算机实现的方法包括：由可操作地耦合到处理器的系统，将自然语言查询转换为第一逻辑表示，将外在知识转换为与自然语言查询相关的第二逻辑表示；由该系统将第一逻辑表示和第二逻辑表示转换成第三逻辑表示，以及由该系统基于对第三逻辑表示的处理来生成对自然语言查询的应答。