Housekeeping with multiple autonomous robots: representation, reasoning and execution
Aker, Erdi and Erdoğan, Ahmetcan and Erdem, Esra and Patoğlu, Volkan (2011) Housekeeping with multiple autonomous robots: representation, reasoning and execution. In: Tenth International Symposium on Logical Formalization on Commonsense Reasoning (Commonsense 2011), San Francisco, CA, USA
This is the latest version of this item.
Full text not available from this repository.
Official URL: http://commonsensereasoning.org/2011/papers/Aker.pdf
We formalize actions and change in a housekeeping domain with multiple cleaning robots, and commonsense knowledge about this domain, in the action language C+. Geometric reasoning is lifted to high-level representation by embedding motion planning in the domain description using external predicates. With such a formalization 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 monitoring 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.
Available Versions of this Item
Repository Staff Only: item control page