答案集编程中带时长动作的形式化

在本文中，我将讨论我目前在波茨坦大学（University of Potsdam）作为博士生、在 T. Schaub 指导下所做的工作。我目前正在研究 ASP 中的动作描述。更确切地说，我的目标是探索在不同上下文中如何在 ASP 中表示带时长的动作。目前，我专注于多智能体路径寻找（Multi-Agent Path Finding, MAPF），研究如何为不同智能体和上下文表示速度。在处理时长之前，我想探索并比较 ASP 中不同的动作执行表示方式。为此，我开始比较处理 MAPF 问题的不同简单编码。即使在简单代码中，其创建过程也做出了各种选择和假设。我的工作目标是从性能和知识表示的角度呈现这些设计决策的后果。据我所知，目前尚无关于该主题的研究。除此之外，我也在探索表示时长的不同方式并解决相关问题。我计划以先前描述的方式对它们进行比较。我也希望这能帮助我找到创新且有效的方式来解决带时长的问题。