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.

Item Type:Papers in Conference Proceedings
ID Code:18174
Deposited By:Esra Erdem
Deposited On:07 Jan 2012 22:56
Last Modified:16 Dec 2020 11:58

Available Versions of this Item

Repository Staff Only: item control page