Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics

Aker, Erdi and Patoğlu, Volkan and Erdem, Esra (2012) Answer set programming for reasoning with semantic knowledge in collaborative housekeeping robotics. In: 10th IFAC Symposiums on Robot Control (SYROCO 2012), Valamar Lacroma Dubrovnik, Dubrovnik, Croatia

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, space shuttle control. In this paper, we present an application of ASP to housekeeping robotics, by showing 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, 2) embedding (continuous) geometric reasoning and temporal reasoning about durations of actions, into (discrete) high-level reasoning. 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: Papers in Conference Proceedings
Uncontrolled Keywords: Modeling and identification; Multi cooperative robot control
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 12:35
Last Modified: 26 Apr 2022 09:08
URI: https://research.sabanciuniv.edu/id/eprint/20353

Actions (login required)

View Item
View Item