In this paper, I will discuss the work I am currently doing as a Ph.D. student at the University of Potsdam, under the tutoring of T. Schaub. I'm currently looking into action description in ASP. More precisely, my goal is to explore how to represent actions with durations in ASP, in different contexts. Right now, I'm focused on Multi-Agent Path Finding (MAPF), looking at how to represent speeds for different agents and contexts. Before tackling duration, I wanted to explore and compare different representations of action taking in ASP. For this, I started comparing different simple encodings tackling the MAPF problem. Even in simple code, choices and assumptions have been made in their creations. The objective of my work is to present the consequences of those design decisions in terms of performance and knowledge representation. As far as I know, there is no current research on this topic. Besides that, I'm also exploring different ways to represent duration and to solve related problems. I planed to compare them the same way I described before. I also want this to help me find innovative and effective ways to solve problems with duration.
翻译:在本文中,我将讨论我目前作为波茨坦大学的博士生,在T. Schaub的辅导下所做的工作。我目前正在研究ASP中的行动描述。更准确地说,我的目标是探索如何在不同背景下代表ASP中的持续行动。现在,我的重点是多机构路径发现(MAPF),研究如何代表不同代理人和背景的速度。在处理持续时间之前,我想探讨和比较在ASP中采取的不同行动说明。为此,我开始比较处理MAPF问题的各种简单的编码。即使在简单的代码中,也已经做了一些选择和假设。我的工作目标是从业绩和知识代表的角度介绍这些设计决定的后果。据我所知,目前没有关于这个主题的研究。此外,我还正在探索不同的方式来代表持续时间和解决相关问题。我计划用我之前描述的方法来比较这些问题。我还打算用这些方法来比较这些问题。我还想用这些方法来帮助我找到解决持续时间问题的创新和有效的方法。