Details

Autor(en) / Beteiligte

• Aker, E.
• Patoglu, V.
• Erdem, E.

Titel

Collaborative housekeeping robotics using Answer Set Programming

Ist Teil von

• 2013 21st Signal Processing and Communications Applications Conference (SIU), 2013, p.1-4

Ort / Verlag

IEEE

Erscheinungsjahr

2013

Link zum Volltext

• IEEE_Xplore

Quelle

IEEE Xplore Digital Library

Beschreibungen/Notizen

• 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.