Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution

摘要

We formalize actions and change in a housekeeping domain with multiple cleaning robots, and commonsense knowledge about this domain, in the action language
\nC+. Geometric reasoning is lifted to high-level representation by embedding motion planning in the domain description using external predicates. With such a
\nformalization of the domain, a plan can be computed using the causal reasoner CCALC for each robot to tidy some part of the house. We introduce a planning and
\nmonitoring algorithm for safe execution of these plans, so that it can recover from plan failures due to collision with movable objects whose presence and location are not known in advance or due to heavy objects that cannot be lifted alone. We illustrate the applicability of this algorithm with a simulation of a housekeeping domain.