Apr, 2012

关于析取 Datalog 程序的魔法集

PDF
TL;DR本文介绍了一种新的技术，通过利用查询绑定的传播并扩展魔法集（MS）优化技术来优化（部分）绑定查询，从而对分层否定性的分离 Datalog 程序进行优化，通过对具体应用进行实验，可以得到该方法带来了显著的计算收益。
发现论文，激发创造
  • 利用应用程序增强魔术集及其在本体论推理中的应用

    本文介绍了一种增强的魔法集技术来优化使用数据日志的查询答案，并通过消除子 sumed 规则和有效处理绑定传播丢失的情况进一步优化了重写的程序。

    Jul, 2019

  • 具有约束的边界分离查询优化

    本文介绍了一种用于优化带约束的析取推论数据库上的有界查询的技术。所提出的方法基于 Magic-Set 技术的扩展，适用于被整合在当前的自下而上（稳定）模型推理引擎中。它基于利用绑定传播技术的思想，该技术减小了回答查询相关数据的大小，从而减少了计算单个模型和考虑的模型数的复杂性。

    Jun, 2004

  • 概率编程中逻辑推理的魔力

    本论文提出了一种基于分布句式的逻辑推理方法，并结合前向推理和重要性抽样技术，采用魔法集和后向推理技术来实现高效的概率推理。

    Jul, 2011

  • 基于本体的数据访问：通过 Disjunctive Datalog、CSP 和 MMSNP 的研究

    本文研究了本体基础数据查询的各种类别，包括关系数据库查询与本体、描述逻辑或其他相关一阶逻辑和联结查询。研究结果包括三个方面，首先用不相交的 Datalog 片段来表达了本体中介查询的表达能力。其次，本体中介查询与约束满足问题（CSP）及其逻辑泛化 MMSNP 公式有密切联系。最后，利用这些联系得出了有关本体中介查询的新结果，如 i）本体中介查询的一阶重写和 Datalog 重写，ii）本体中介查询的 P / NP 二分法，以及 iii）本体中介查询的查询包容性问题。

    Jan, 2013

  • DPMS：基于 ADD 的符号化方法解决广义 MaxSAT 问题

    通过代数决策图和级联项目 - 加入树生成器，我们提出了动态规划最大可满足性（DPMS），一种解决广义 MaxSAT 问题的新方法。实证结果表明，DPMS 能够快速解决某些问题，由此开辟了未来更多研究的新方向。

    May, 2022

  • 面向答案集编程中猜测和检查程序的自动集成：元解释器和应用

    本文提出将无环扩展析取逻辑程序转化为分层正向扩展析取逻辑程序的方法并将研究应用于 ASP 中这一强大的工具，扩展了现有策略在编程范式中的应用，进一步提高了处理 NP 问题的方法。

    Jan, 2005

  • 不相交稳定模型的模块化方面

    研究答案集编程中的模块化问题，定义 DLP 函数和模块定理，介绍了 DLP 函数的分解方法和模块等价性概念。

    Jan, 2014

  • 认知规范的分割集定理

    本文介绍了扩展的分裂集定义及其在处理知识规范下的应用，扩展分裂集定理的应用，分层知识规范的表征，以及在某些知识逻辑程序子类的世界观计算中的一种算法方法。

    Mar, 2000

  • ASP 中超相干性问题的复杂度

    本文探讨了如何优化 Answer Set Programming（ASP）系统的 grounding 组件，提出了一种名为 DMS 的变体，适用于具有至少一个答案集的所有 ASP 程序，并证明了在不同情形下正确解决这个问题的复杂度，同时表明了所有相关的 ASP 推理任务都可以转化为超一致程序的任务。

    Dec, 2012

  • 带函数的非交 ASP: 可决定查询和有效计算

    该研究论文探讨了具有分层否定和函数的分离逻辑编程的可询问性，并介绍了一种有效的查询评估方法 —— 将魔法集技术扩展到该环境下，并证明了重写程序与原始程序等效。同时，证明了重写程序也是可评估的，这使得该类查询在实践中有用。

    Jul, 2010