11:18
官方账号arXiv cs.AI@Christoph Weinhuber, Maximilian Prokop, Giuseppe De Giacomo, Moshe Y. Vardi
推荐理由：这篇论文把LTL规约转成LTLf+，以后处理无限迹目标就能用有限自动机的成熟工具了，而且复杂度不涨。
LTLf+
共 1 条相关 AI 资讯
8月4日
11:18
本文提出首个从线性时序逻辑LTL到LTLf+的翻译方法，LTLf+是一种保留LTL表达能力的无限迹逻辑，但推理可基于有限字上的有限自动机。作者先将LTL公式归一化为Manna-Pnueli层次中的语法反应性片段，再对该片段各组件给出线性翻译。该翻译使LTLf+的有限自动机技术可用于AI中的LTL问题，且从LTL经LTLf+到自动机的整体复杂度保持双重指数，无额外渐近代价。