Authors
Hande Alemdar, Okan Can Arslan, Farshad Arvin, George Broughton, Dominik Dvoracek, Babür Erdem, OĞUZ GÖDELEK, Bilal Yağız Güderer, Mustafa Yavuz Kara, Erhan Ege Keyvan, Tomas Krajnik, Fatemeh Rekabi, Tomas Roucek, EROL ŞAHİN, Thomas Schmickl, Martin Stefanec, Muhammed Suleman, Ali Emre Turgut, Jiri Ulrich, Kristi Zampachu
Publication date
2022/8/28
Description
In this paper, we propose an exponential multiplicative fragment of linear logic to encode and solve planning problems efficiently in STRIPS domain, that we call the Linear Planning Logic (LPL). Linear logic is a resource aware logic treating resources as single use assumptions, therefore enabling encoding and reasoning of domains with dynamic state. One of the most important examples of dynamic state domains is robotic task planning, since informational or physical states of a robot include non-monotonic c...
Scholar articles
H Alemdar, OC Arslan, F Arvin, G Broughton… - 2022