基于ASP的多轮推理:通过增量基础实现的DLV2

💡 原文中文,约300字,阅读约需1分钟。
📝

内容提要

本研究提出了一种基于DLV2的新型增量推理器,旨在满足快速变化数据环境中的推理需求,显著提升了推理性能,适用于流推理和事件处理。

🎯

关键要点

  • 本研究提出了一种基于DLV2的新型增量推理器。
  • 该增量推理器旨在满足快速变化数据环境中的推理需求。
  • 新方法显著提升了推理性能。
  • 适用于流推理和事件处理等实际应用领域。
  • 解决了传统逻辑程序在快速变化数据环境下的多次推理需求。
  • 系统可以在重复执行时逐步处理内部基础过程,无需从头开始计算。
➡️

继续阅读