BriefGPT - AI 论文速递
·
DatalogMTL中的不一致性处理
💡
原文中文，约300字，阅读约需1分钟。
📝
内容提要
本文首次定义了DatalogMTL中不一致性处理的冲突与修复概念，并分析了查询蕴含的复杂性，为不一致性处理提供了新见解。
🎯
关键要点
-
本文首次定义了DatalogMTL中不一致性处理的冲突与修复概念。
-
研究了因时间间隔关联的事实而产生的矛盾。
-
分析了冲突和修复的相关概念及其不一致性容忍语义的属性。
-
探讨了生成单个冲突/修复及基于修复的语义下的查询蕴含的复杂性。
-
该研究为不一致性处理提供了新的见解和方法。
🏷️
标签
➡️
