Linear planning logic: An efficient language and theorem prover for robotic task planning

In this paper, we introduce a novel logic language and theorem prover for robotic task planning. Our language, which we call Linear Planning Logic (LPL), is a fragment of linear logic whose resource-conscious semantics are well suited for reasoning with dynamic state, while its structure admits effi...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - IEEE International Conference on Robotics and Automation s. 3764 - 3770
Hlavní autoři:	Kortik, Sitar, Saranli, Uluc
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 01.05.2014
Témata:	Cognition Encoding Legged locomotion Planning Rough surfaces Surface roughness
ISSN:	1050-4729
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!