LogAnswer公司

LogAnswer——一个基于演绎的问答系统。(系统说明)。LogAnswer是一个开放领域的问答系统,它使用自动定理证明器来推断自然语言问题的正确答案。为此,LogAnswer操作一阶逻辑中的大公理集,表示从广泛的文本知识库获得的形式化语义网络。基于逻辑的方法允许语义和背景知识的形式化,这在推导答案中起着至关重要的作用。我们提出了一个功能LogAnswer原型,它包括用于逻辑答案推导的自动定理证明器和用于深层语言处理的环境。