Housekeeping with multiple autonomous robots: representation, reasoning, and execution

Aker, Erdi (2013) Housekeeping with multiple autonomous robots: representation, reasoning, and execution. [Thesis]

[thumbnail of ErdiAker_440214.pdf] PDF
ErdiAker_440214.pdf

Download (1MB)

Abstract

We consider a housekeeping domain with static or movable objects, where the goal is for multiple autonomous robots to tidy a house collaboratively in a given amount of time. This domain is challenging in the following ways: commonsense knowledge (e.g., expected locations of objects in the house) is required for intelligent behavior of robots; geometric constraints are required to find feasible plans (e.g., to avoid collisions); in case of plan failure while execution (e.g., due to a collision with movable objects whose presence and location are not known in advance or due to heavy objects that cannot be lifted by a single robot), recovery is required depending on the cause of failure; and collaboration of robots is required to complete some tasks (e.g., carrying heavy objects). We introduce a formal planning, execution and monitoring framework to address the challenges of this domain, by embedding knowledge representation and automated reasoning in each level of decision-making (that consists of discrete task planning, continuous motion planning, and plan execution), in such a way as to tightly integrate these levels. At the high-level, we represent not only actions and change but also commonsense knowledge in a logicbased formalism. Geometric reasoning is lifted to the high-level by embedding motion planning in the domain description. Then a discrete plan is computed for each robot using an automated reasoner. At the mid-level, if a continuous trajectory cannot be computed by a motion planner because the discrete plan is not feasible at the continuous-level, then a different plan is computed by the automated reasoner subject to some (temporal) conditions represented as formulas. At the low-level, if the plan execution fails, then a new continuous trajectory is computed by a motion planner at the mid-level or a new discrete plan is computed using an automated reasoner at the high-level. We illustrate the applicability of this formal framework with a simulation of a housekeeping domain.
Item Type: Thesis
Uncontrolled Keywords: Domestic service robot. -- Answer set programming. -- Commonsense knowledge. -- Robotics. -- Artificial intelligence. -- Robotik. -- Yapay zeka. -- Ev içi hizmet robotu. -- Çözüm kümesi programlama. --Sağduyusal bilgi.
Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800-8360 Electronics > TK7885-7895 Computer engineering. Computer hardware
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: IC-Cataloging
Date Deposited: 30 Dec 2016 16:07
Last Modified: 26 Apr 2022 10:07
URI: https://research.sabanciuniv.edu/id/eprint/31020

Actions (login required)

View Item
View Item