Abstract
AbstractOver the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different environments including humans, robots are required a higher level of autonomy for efficient deliberation. Task planning is a key element of deliberation. It combines elementary operations into a structured plan to satisfy a prescribed goal, given specifications on the robot and the environment. In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning. Logic programming offers several advantages compared to other approaches, including greater expressivity and interpretability which may aid in the development of safe and reliable robots. We analyze different planners and their suitability for specific robotic applications, based on expressivity in domain representation, computational efficiency and software implementation. In this way, we support the robotic designer in choosing the best tool for his application.
Funder
Horizon 2020 Framework Programme
Università degli Studi di Verona
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference263 articles.
1. Abadi M, Manna Z (1989) Temporal logic programming. J Symb Comput 8(3):277–295
2. Abels D, Jordi J, Ostrowski M, Schaub T, Toletti A, Wanko P (2019) Train scheduling with hybrid asp. In: International conference on logic programming and nonmonotonic reasoning, Springer, pp 3–17
3. Adrian WT, Alviano M, Calimeri F, Cuteri B, Dodaro C, Faber W, Fuscà D, Leone N, Manna M, Perri S et al (2018) The asp system DLV: advancements and applications. KI-Künstliche Intelligenz 32(2):177–179
4. Aeronautiques C, Howe A, Knoblock C, McDermott ID, Ram A, Veloso M, Weld D, SRI DW, Barrett A, Christianson D et al (1998) Pddl| the planning domain definition language. Technical Report, Tech Rep
5. Aguado F, Cabalar P, Diéguez M, Pérez G, Vidal C (2013) Temporal equilibrium logic: a survey. J Appl Non-Class Log 23(1–2):2–24
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献