Abstraction for ASP Planning

摘要

Humans are capable of abstracting away irrelevant details or distinguishing the common properties when studying problems. This is especially noticeable for planning problems, as humans are able to disregard certain parts of the domain and focus on the key elements important for finding a plan. Recently, the notion of abstraction has been introduced for Answer Set Programming (ASP), a knowledge representation and reasoning paradigm widely used in problem solving, with the potential to understand the key elements of a program that play a role in finding a solution. This paper highlights the potential use of such an abstraction in getting to the essence of planning problems, expressed in ASP, by disregarding irrelevant details and computing abstract plans.