基于ASP的多轮推理:通过增量基础实现的DLV2
💡
原文中文,约300字,阅读约需1分钟。
📝
内容提要
本研究提出了一种基于DLV2的新型增量推理器,旨在满足快速变化数据环境中的推理需求,显著提升了推理性能,适用于流推理和事件处理。
🎯
关键要点
- 本研究提出了一种基于DLV2的新型增量推理器。
- 该增量推理器旨在满足快速变化数据环境中的推理需求。
- 新方法显著提升了推理性能。
- 适用于流推理和事件处理等实际应用领域。
- 解决了传统逻辑程序在快速变化数据环境下的多次推理需求。
- 系统可以在重复执行时逐步处理内部基础过程,无需从头开始计算。
➡️