通过ASP学习勇敢的假设基础论证框架

💡 原文中文,约1900字,阅读约需5分钟。
📝

内容提要

本文介绍了基于假设的论证框架的学习方法和应用,包括新的框架和算法,基于答案集规划的ABA学习方法,以及使用归纳逻辑编程方法学习论证框架的可接受语义。研究还提出了基于实例的推理方法和降低计算成本的方式。实证评估证明了这些方法的有效性。

🎯

关键要点

  • 本文介绍了基于假设的论证框架的学习方法和应用。
  • 提出了一种基于稳定扩展下勇敢推理的新框架和算法。
  • 研究结果表明,该方法在学习可反驳知识方面优于现有的ILP系统。
  • 提出了基于实例的推理方法和降低计算成本的方式。
  • 实证评估证明了这些方法的有效性。
  • 利用给定的背景知识从正负样例中生成基于假设的辩证框架。
  • 提出了一种使用答案集规划来实现ABA学习的新方法。
  • 介绍了一个新颖的框架,使用归纳逻辑编程方法学习可接受语义。
  • 通过实证评估,证明了该框架胜过现有的论证求解器。
  • 提出了一种基于实例的方法来推理非平坦的ABA,降低计算成本。
➡️

继续阅读