Many practical planning applications involve continuous quantities with non-linear constraints, which cannot be modeled using modern planners that construct a propositional representation. We introduce STRIPStream: an extension of the STRIPS language which supports infinite streams of objects and static predicates and provide two algorithms, which reduce the original problem to a sequence of finite-domain planning problems. The representation and algorithms are entirely domain independent. We demonstrate them on simple illustrative domains, and then on a high-dimensional, continuous robotic task and motion planning problem.
from cs.AI updates on arXiv.org http://ift.tt/2iJ8ZEk
via IFTTT
No comments:
Post a Comment