Answer Set Programming for Reasoning with Semantic Knowledge in Collaborative Housekeeping Robotics. Aker, E., Patoglu, V., & Erdem, E. In IFAC Symposiums on Robot Control (SYROCO 2012), 2012. abstract bibtex 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.
@InProceedings{Aker2012b,
booktitle = {IFAC Symposiums on Robot Control (SYROCO 2012)},
author = {Erdi Aker and Volkan Patoglu and Esra Erdem},
title = {Answer Set Programming for Reasoning with Semantic Knowledge in Collaborative Housekeeping Robotics},
year = {2012},
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.}
}
Downloads: 0
{"_id":{"_str":"534213c8ecd21cdc0700005c"},"__v":6,"authorIDs":["5456f0758b01c81930000081","5456f7f58b01c819300000d0","GfdWunh44HLYRuQza","MP9bAvF8pCmjxySF9","ZCfxQcqrqpovnLFJe"],"author_short":["Aker, E.","Patoglu, V.","Erdem, E."],"bibbaseid":"aker-patoglu-erdem-answersetprogrammingforreasoningwithsemanticknowledgeincollaborativehousekeepingrobotics-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","booktitle":"IFAC Symposiums on Robot Control (SYROCO 2012)","author":[{"firstnames":["Erdi"],"propositions":[],"lastnames":["Aker"],"suffixes":[]},{"firstnames":["Volkan"],"propositions":[],"lastnames":["Patoglu"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]}],"title":"Answer Set Programming for Reasoning with Semantic Knowledge in Collaborative Housekeeping Robotics","year":"2012","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.","bibtex":"@InProceedings{Aker2012b,\n\tbooktitle = {IFAC Symposiums on Robot Control (SYROCO 2012)},\n\tauthor = {Erdi Aker and Volkan Patoglu and Esra Erdem},\n\ttitle = {Answer Set Programming for Reasoning with Semantic Knowledge in Collaborative Housekeeping Robotics},\n\tyear = {2012},\n\tabstract = {Answer Set Programming (ASP) is a knowledge representation and reasoning paradigm with\nhigh-level expressive logic-based formalism, and efficient solvers; it is applied to solve hard problems in\nvarious domains, such as, systems biology, wire routing, space shuttle control. In this paper, we present\nan application of ASP to housekeeping robotics, by showing how the following problems are addressed\nusing computational methods/tools of ASP: 1) embedding commonsense knowledge automatically\nextracted from the commonsense knowledge base ConceptNet, into high-level representation, 2)\nembedding (continuous) geometric reasoning and temporal reasoning about durations of actions, into\n(discrete) high-level reasoning. We illustrate the applicability of ASP on several housekeeping robotics\nproblems, and report on the computational efficiency in terms of CPU time and memory.}\n}\n\n\n","author_short":["Aker, E.","Patoglu, V.","Erdem, E."],"key":"Aker2012b","id":"Aker2012b","bibbaseid":"aker-patoglu-erdem-answersetprogrammingforreasoningwithsemanticknowledgeincollaborativehousekeepingrobotics-2012","role":"author","urls":{},"downloads":0,"html":"","metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"hmi.sabanciuniv.edu/patoglu_bib.bib","downloads":0,"keywords":[],"search_terms":["answer","set","programming","reasoning","semantic","knowledge","collaborative","housekeeping","robotics","aker","patoglu","erdem"],"title":"Answer Set Programming for Reasoning with Semantic Knowledge in Collaborative Housekeeping Robotics","year":2012,"dataSources":["g2mDMKihSyQjpNZsS"]}