PulseAugur
中
实时 07:38:43
实体 SROIQ Description Logic

SROIQ Description Logic

PulseAugur coverage of SROIQ Description Logic — every cluster mentioning SROIQ Description Logic across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_233418 ·

    新框架 PIE-APT 支持在时间知识图上进行溯因规划

    研究人员推出 PIE-APT，一个用于时间动态知识图 (TDKG) 溯因规划的新框架。该系统在开放世界环境中运行，并解决了现有动作形式化中固有的可判定性问题和枝节问题等挑战。PIE-APT 采用统一方法，包含 PIE-Abducer 和 PIE-APT 两个模块，它们原生支持 SROIQ 描述逻辑和 OWL，用于建模状态转换和动作。该框架使用增量推理器来维持可判定性，并通过在 OWL 中表示动作来绕过枝节问题。它还通过综合缺失的前提（…