Electronic International Standard Serial Number (EISSN)
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.
automated planning; artificial intelligence; representation in ap; system; ff; complexity