LogAnswer（日志应答） swMATH ID: 21369 软件作者： 乌尔里希，富尔巴赫；英戈·格里克纳；赫尔曼·赫尔比格；比约恩·佩尔泽 描述： LogAnswer–基于演绎的问答系统。（系统描述）。LogAnswer是一个开放域的问答系统，它使用自动定理证明器来推断自然语言问题的正确答案。为此，LogAnswer基于一阶逻辑中的一个大型公理集进行操作，表示从广泛的文本知识库中获得的形式化语义网络。基于逻辑的方法允许语义和背景知识的形式化，它们在派生答案中起着至关重要的作用。我们提出了函数LogAnswer原型，它由用于逻辑答案推导的自动定理证明器以及用于深度语言处理的环境组成。 主页： http://www.loganswer.de/ 相关软件： E-KRHper公司；WordNet（文字网）；阿贝拉；马拉雷亚；MTT公司；TPTP公司；短吻鳄 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 LogAnswer–基于演绎的问答系统。（系统描述）。 兹比尔1165.68456乌尔里希·富巴赫；英戈·格莱克纳；赫尔曼·赫尔比格；比约恩·佩尔泽 2008 全部的 前5名7位作者引用 1 亚历山德罗·阿曼多 1 彼得·鲍姆加特纳 1 Gilles Dowek 1 乌尔里希·富巴赫 1 英戈·格莱克纳 1 赫尔曼·赫尔比格 1 比约恩·佩尔泽 连载1篇 1 计算机科学课堂讲稿 在2个字段中引用 2 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的引文