实体 ASP programs

ASP programs

PulseAugur coverage of ASP programs — every cluster mentioning ASP programs across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_324571 · Oct 27 · 04:00

新的人工智能时序逻辑形式化解释已开发

研究人员开发了一种为有限迹上的线性时序逻辑（LTLf）生成形式化解释的新方法，该系统用于人工智能中指定和验证时序行为。该方法通过关注锁定和解锁带时间索引的事件，直接刻画了溯因（AXps）和对比（CXps）解释。该方法被证明等同于现有的基于分类器的表述，并通过ASP程序提供了高效的实现，在真实事件日志上证明了其有效性。