stream reasoning | BriefGPT

关键词stream reasoning

搜索结果 - 8

基于 Datalog 的流推理语言的正式比较（扩展版）
通过比较 LARS 程序及 LDSR 语言的表达能力，本文找出了各自的限制条件并确定了它们可以相互表达的片段。
PDF2 years ago
MM基于强化学习的流推理缓存策略管理
本文提出了一种基于冲突驱动约束学习（CDCL）的方法，通过智能管理学习到的约束条件来有效地更新流推理算法的遗留解决方案，研究了强化学习在连续评估先前计算的约束条件的实用性，并在真实世界的重构问题上取得了显着的性能提升，为流推理场景提供了新的
PDF4 years ago
MM针对逻辑程序的定制简化超级自然推理体系的增量维护
介绍了使用优化的过程生成一系列单调增长的命题程序的新策略，这些命题程序可以更新和重复使用，因此结合后续输入会降低更新成本，特别是在后期迭代中，并报道了 OPT 的实现和性能，是 TPLP 的待考虑论文。
PDF4 years ago
MM具有超量化的增量式答案集编程
本文提出一种增量接地方法，用于回答设置中的推理任务的重复执行。该方法使得逻辑程序的实例化在一系列相互类似的输入上重复接地时的速度得到提高。我们同时呈现了该方法的理论基础，说明了重复评估策略，并报告了我们的实验结果。
PDF5 years ago
使用 Laser 的表达性流推理
Laser 是一种新的 reasoner，它支持扩展 Answer Set Programming（ASP）的 LARS 逻辑的实用、非平凡片段，并实现了一种新颖的评估过程，从而使表达式带注解，以避免在多个时间点重复计算，进而实现对大流的表
PDF7 years ago
基于流推理的 CCN 路由器缓存策略控制
本文研究基于内容为中心的网络，提出了一种路由器架构，采用基于规则的流推理技术进行智能管理，用于解决缓存策略问题，实现本地缓存经常请求的内容并在内容请求模式变化时自动切换缓存策略，实验表明，该缓存代理器可以显著提高性能表现。
PDF8 years ago
响应式多上下文系统：动态环境中的异构推理
本文介绍了一种名为 “反应性多语境系统” 的框架，它能够支持异构知识源和数据流的连续推理，解决了异构知识可能导致的一致性问题，并允许使用优化的计算语义以避免潜在的非确定性。同时考察了与 rMCSs 相关的各种推理问题的计算复杂度，并探讨了其
PDF8 years ago
MM面向流推理的答案集编程
通过使用 ASP 技术，本研究在解决物联网、传感器技术、连续数据流、流推理等领域中的关键问题。
PDF11 years ago