Hybrid conditional planning using answer set programming

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

Yalçıner, İbrahim Faruk and Nouman, Ahmed and Patoğlu, Volkan and Erdem, Esra (2017) Hybrid conditional planning using answer set programming. Theory and Practice of Logic Programming . ISSN 1471-0684 (Print) 1475-3081 (Online) Published Online First http://dx.doi.org/10.1017/S1471068417000321

[thumbnail of This is a RoMEO green journal -- author can archive pre-print (ie pre-refereeing)] PDF (This is a RoMEO green journal -- author can archive pre-print (ie pre-refereeing))
iclp2017_hcp_asp_tplp_v27_arXiv.pdf

Download (1MB)

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.
Item Type: Article
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: 09 Sep 2017 20:20
Last Modified: 09 Sep 2017 20:20
URI: https://research.sabanciuniv.edu/id/eprint/33860

Actions (login required)

View Item
View Item