2014 | OriginalPaper | Chapter
Planning with Transaction Logic
Authors : Reza Basseda, Michael Kifer, Anthony J. Bonner
Published in: Web Reasoning and Rule Systems
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Automated planning has been the subject of intensive research and is at the core of several areas of AI, including intelligent agents and robotics. In this paper, we argue that Transaction Logic is a natural specification language for planning algorithms, which enables one to see further afield and thus discover better and more general solutions than using one-of-a-kind formalisms. Specifically, we take the well-known
${\textit{STRIPS}}$
planning strategy and show that Transaction Logic lets one specify the
${\textit{STRIPS}}$
planning algorithm easily and concisely, and to prove its completeness. Moreover, extensions to allow indirect effects and to support action ramifications come almost for free. Finally, the compact and clear logical formulation of the algorithm made possible by this logic is conducive to fruitful experimentation. To illustrate this, we show that a rather simple modification of the
${\textit{STRIPS}}$
planning strategy is also complete and yields speedups of orders of magnitude.