Abstract-Automated planning even in its simplest form, classical planning, is a computationally hard problem. With the increasing involvement of intelligent systems in everyday life there is a need for more and more advanced planning techniques able to solve planning problems in little (or real) time. However, planners designed to solve planning problems as fast as possible often provide solution plans of low quality. The quality of solution plans can be improved by their post-planning analysis by which redundant actions or optimizable subplans can be identified. In this paper, we present techniques for determining redundancy of actions in plans. Especially, we present techniques for efficient redundancy checking of pairs of inverse actions. These techniques are accompanied with necessary theoretical foundations and are also empirically evaluated using existing planning systems and standard planning benchmarks.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.