• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>AI communications >An application of automated reasoning in natural language question answering
【24h】

An application of automated reasoning in natural language question answering

机译：自动推理在自然语言问答中的应用

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The LogAnswer system is an application of automated reasoning to the field of open domain question answering. In order to find answers to natural language questions regarding arbitrary topics, the system integrates an automated theorem prover in a framework of natural language processing tools. The latter serve to construct an extensive knowledge base automatically from given textual sources, while the automated theorem prover makes it possible to derive answers by deductive reasoning. In the paper, we discuss the requirements to the prover that arise in this application, especially concerning efficiency and robustness. The proposed solution rests on incremental reasoning, relaxation of the query (if no proof of the full query is found), and other techniques. In order to improve the robustness of the approach to gaps of the background knowledge, the results of deductive processing are combined with shallow linguistic features by machine learning.
机译：LogAnswer系统是自动推理在开放域问题解答领域中的应用。为了找到有关任意主题的自然语言问题的答案，系统在自然语言处理工具的框架中集成了自动定理证明器。后者用于根据给定的文本源自动构建广泛的知识库，而自动定理证明程序则可以通过演绎推理得出答案。在本文中，我们讨论了在此应用中对证明者的要求，特别是在效率和鲁棒性方面。提出的解决方案基于增量推理，查询放宽（如果未找到完整查询的证据）和其他技术。为了提高背景知识方法的鲁棒性，通过机器学习将演绎处理的结果与浅层语言特征相结合。

著录项

  • 来源
    《AI communications》 |2010年第3期|p.241-265|共25页
  • 作者

    Ulrich Furbach; Ingo Gloeckner; Bjoern Pelzer;

  • 作者单位

    Artificial Intelligence Research Group, University of Koblenz-Landau, Universitaets str. 1, 56070 Koblenz, Germany;

    rnIntelligent Information and Communication, Systems Group (IICS), University of Hagen, 59084 Hagen, Germany;

    rnArtificial Intelligence Research Group, University of Koblenz-Landau, Universitaets str. 1, 56070 Koblenz, Germany;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    question answering; theorem prover;

    机译：问题回答定理证明者;

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号