Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution

Warning The system is temporarily closed to updates for reporting purpose.

Erdem, Esra and Aker, Erdi and Patoğlu, Volkan (2012) Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution. Intelligent Service Robotics, 5 (4). pp. 275-291. ISSN 1861-2776 (Print) 1861-2784 (Online)

Full text not available from this repository. (Request a copy)

Abstract

Answer set programming (ASP) is a knowledge representation and reasoning paradigm with high-level expressive logic-based formalism, and efficient solvers; it is applied to solve hard problems in various domains, such as systems biology, wire routing, and space shuttle control. In this paper, we present an application of ASP to housekeeping robotics. We show how the following problems are addressed using computational methods/tools of ASP: (1) embedding commonsense knowledge automatically extracted from the commonsense knowledge base ConceptNet, into high-level representation, and (2) embedding (continuous) geometric reasoning and temporal reasoning about durations of actions, into (discrete) high-level reasoning. We introduce a planning and monitoring algorithm for safe execution of plans, so that robots 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. Some of the recoveries require collaboration of robots. We illustrate the applicability of ASP on several housekeeping robotics problems, and report on the computational efficiency in terms of CPU time and memory.
Item Type: Article
Uncontrolled Keywords: Knowledge representation · Reasoning · Housekeeping robotics · Answer set programming · Commonsense knowledge
Divisions: Faculty of Engineering and Natural Sciences > Academic programs > Mechatronics
Faculty of Engineering and Natural Sciences > Academic programs > Computer Science & Eng.
Faculty of Engineering and Natural Sciences
Depositing User: Volkan Patoğlu
Date Deposited: 19 Nov 2012 11:51
Last Modified: 31 Jul 2019 15:06
URI: https://research.sabanciuniv.edu/id/eprint/20359

Actions (login required)

View Item
View Item