MMJul, 2016

知识表示的 DLVHEX 系统：最新进展 (系统描述)

PDF
TL;DR这篇研究论文介绍了 DLVHEX 系统，它结合了回答集编程和任意外部输入的 HEX 语义。通过利用外部输入的特性，可以提高语言的效率和灵活性；通过技术上的改进，可以提高用户的便利性。该论文还介绍了 DLVHEX 在现实应用中已经成功实现的一些应用程序。
dlvhexanswer set programmingexternal sourcesefficiency improvementsreal-world applications
发现论文，激发创造
  • 在答案集程序中嵌入外部来源

    本文提出一种基于外部原子内联的 HEX 程序评估方法，并将其应用于扩展程序等形式化领域中查找强等价性，性能得到了显著提高。

    Aug, 2018

  • 利用外部资源的答案集编程进行元解释学习

    本文介绍了一种基于 ASP 和 HEX-formalism 的元解释学习技术，运用该技术可以学习逻辑程序，提高了算法的效率和准确性。

    Apr, 2018

  • 基于外部计算的答案集编程模型构建框架

    本文设计了一种新的逻辑程序评估方法，将非单调逻辑程序划分为可能重叠的小部分，通过交织外部评估和模型构建来处理它们，并结合中间结果。 该方法可应用于 HEX 程序等类似基于规则的形式化方法中，且在原有的试验基础上显著提高了程序评估的效率。

    Jul, 2015

  • 知识表示和推理的 DLV 系统

    该论文介绍了 DLV 系统，这是一种被广泛认为是分离逻辑编程的最先进实现的系统，并从多个方面进行了阐述，如 DLV 系统的核心语言定义，弱约束，计算复杂性分析，以及其在知识表示和推理，应用开发以及实验测试中的应用。

    Nov, 2002

  • 扩展 WASP 的外部接口

    本文提供了扩展基于 CDCL 的 ASP 求解器 WASP 的接口，既通用又外部，且可以成功地用于解决实际和合成问题的难例。

    Nov, 2018

  • 利用元解释在答案集编程中计算优先答案集

    本文研究了 Answer Set Programming 中的偏好处理方法，使用 DLV 提供了 Suitable meta-interpreters 处理语义，通过 weak constraint feature of DLV 实现了一个基于优化问题的 weakly preferred answer set approach, 同时提供了 advanced meta-interpreters 用于更高效计算，该方法显示了 ASP 和 DLV 的适用性，可用于新语言和知识表示形式的实验。

    Jan, 2002

  • 利用答案集程序设计的技术提升抽象论证系统

    本文通过实验比较了原有编码与新的 metasp 编码，提供了最近引入的基于解析的基础语义的新编码，结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。

    Aug, 2011

  • 基于启发式分解的答案集计算优化

    该研究提出了一种新的优化方法，基于树分解技术和启发式算法，可以将一个输入的逻辑程序转化为一个等价的程序以提高 ASP 系统的求解效率，并在实验中验证了其有效性。

    Dec, 2018

  • 消除 HEX-Programs 中无根据的集合检查

    该研究提出一种可识别并可以跳过程序验证的编程语言程序类，进而提高 HEX 程序的效率和应用价值。

    Jan, 2013

  • 在数据库和逻辑编程系统中尝试递归查询

    本文介绍了一个名为 DLV$^{DB}$ 的新系统，该系统旨在解决推理海量数据时存在的主存限制，外部数据库管理系统的互动不易等问题，并在比较逻辑推理和数据库的几个先前的系统（LDL ++，XSB，Smodels 和三个顶级商业 DBMS）的实验分析中获得了显着的效能优势。

    Apr, 2007