Skip to main content
×
Home
    • Aa
    • Aa

Hybrid conditional planning using answer set programming

  • IBRAHIM FARUK YALCINER (a1), AHMED NOUMAN (a1), VOLKAN PATOGLU (a1) and ESRA ERDEM (a1)
Abstract
Abstract

We introduce a parallel offline algorithm for computing hybrid conditional plans, called HCP-ASP, oriented towards robotics applications. HCP-ASP relies on modeling actuation actions and sensing actions in an expressive nonmonotonic language of answer set programming (ASP), and computation of the branches of a conditional plan in parallel using an ASP solver. In particular, thanks to external atoms, continuous feasibility checks (like collision checks) are embedded into formal representations of actuation actions and sensing actions in ASP; and thus each branch of a hybrid conditional plan describes a feasible execution of actions to reach their goals. Utilizing nonmonotonic constructs and nondeterministic choices, partial knowledge about states and nondeterministic effects of sensing actions can be explicitly formalized in ASP; and thus each branch of a conditional plan can be computed by an ASP solver without necessitating a conformant planner and an ordering of sensing actions in advance. We apply our method in a service robotics domain and report experimental evaluations. Furthermore, we present performance comparisons with other compilation based conditional planners on standardized benchmark domains.

Copyright
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Type Description Title
PDF
Supplementary Materials

Yalciner et al supplementary material
Online Appendix

 PDF (774 KB)
774 KB

Metrics

Full text views

Total number of HTML views: 1
Total number of PDF views: 1 *
Loading metrics...

Abstract views

Total abstract views: 25 *
Loading metrics...

* Views captured on Cambridge Core between 22nd August 2017 - 22nd September 2017. This data will be updated every 24 hours.