MMApr, 2007

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

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

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

    Nov, 2002

  • 基于 I-DLV 的流推理系统 I-DLV-sr

    基于逻辑的数据流推理系统，利用 Apache Flink 和 I^2-DLV 系统的框架实现了紧密微调的交互。

    Aug, 2021

  • Prolog 中高效的描述逻辑推理：DLog 系统

    本文描述了 DLog—— 一种基于分辨率的描述逻辑推理系统。DLog 将描述逻辑公理转换为 Prolog 程序，并使用标准的 Prolog 执行有效地回答实例检索查询，是全 SHIQ 语言的 ABox 推理引擎。DLog 的方法使得个体能够储存在数据库中而不必放在内存中，这提高了可扩展性并有助于在现有信息源的基础上直接使用描述逻辑本体。

    Apr, 2009

  • 大规模场景中预计算 Datalog 评估计划

    本文介绍一种用于优化 Datalog 查询的索引技术，通过确定最佳索引方案及 Datalog 规则的适当排列来降低内存消耗并优化查询效率，结果表明在不损失效率的情况下，内存使用显著减少。

    Jul, 2019

  • 大数据推理和高级分析的扩展

    BigDatalog 是 Datalog 的扩展，旨在实现在 Apache Spark 和多核系统上的性能和可扩展性，其图分析性能优于 GraphX，通过实现技术（例如半朴素极限和魔术集）解决了在递归中使用数量、总和和极值等问题。

    Jul, 2018

  • Vadalog 系统：基于 Datalog 的知识图谱推理

    本文介绍了 Vadalog 系统，这是使用 Datalog 进行复杂逻辑推论任务的系统，采用侵略性终止控制策略实现了 Warded Datalog+/-，并提供了全面的实验评估。

    Jul, 2018

  • 评估具有数据库问答功能的 LLM 智能体中推理和行动的整合

    本研究介绍了一个新的长格式数据库问答数据集，旨在评估大型语言模型（LLMs）与 SQL 解释器的互动。研究发现即使对于最先进的 GPT-4 模型，这个任务也存在巨大挑战。我们提出并评估了两种互动策略，并对互动过程中的各个阶段进行了细致分析。一个重要发现是确定了两个主要瓶颈，即规划能力和生成多个 SQL 查询能力。为了解决准确评估答案质量的挑战，我们引入了一个多代理评估框架，模拟学术同行评审过程，增强了我们评估的精确性和可靠性。该框架使我们能够更加细致地了解当前 LLMs 在复杂检索和推理任务中的优点和局限性。

    Nov, 2023

  • 应用约束逻辑编程于 SQL 语义分析

    使用约束逻辑编程 (CL) 对 SQL 查询进行建模，通过关注语义属性来对数据无关的抽象层进行建模，以发现可能存在的错误。该方法使用不同的约束域，这些约束域映射到 SQL 类型，并提出它们协作以提高准确性，最终我们获得一个包括 SQL 和 Datalog 的演绎系统并在课堂上实现它，和其他方法相比，表现出巨大的优势和差异，并展示其性能数据。

    Jul, 2019

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

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

    Jun, 2004

  • 使用线性时间微积分理论模拟动态系统

    本文研究在一个规范上执行广泛的推断任务的可行性，通过将 IDP3 扩展到与动态规范相关的领域中使用的多种推断技术。

    May, 2014