Compiling irrelevant objects to counters. Special case of creation planning Articles uri icon

publication date

  • April 2016

start page

  • 435

end page

  • 467

issue

  • 3

volume

  • 29

International Standard Serial Number (ISSN)

  • 0921-7126

Electronic International Standard Serial Number (EISSN)

  • 1875-8452

abstract

  • One of the claims of Automated Planning is the advantage of representing planning tasks in a high-level language where there is a correspondence between the real environment and the problem being modelled. However, under certain circumstances some representations can be inefficient because they contain objects with irrelevant identities. Instead of forcing the designer to envision efficient alternatives, we propose an automatic compilation that recognises such problems and translates them into an alternative representation. In this representation, objects with irrelevant names are aggregated and their properties are encoded as counters. This class of problems is of special interest in environments where objects are created by domain actions and the names assigned to these new objects are not relevant for solving the task.

keywords

  • automated planning; artificial intelligence; representation in ap; system; ff; complexity