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á bibliografia

Vydané v:	Proceedings - IEEE International Conference on Robotics and Automation s. 3764 - 3770
Hlavní autori:	Kortik, Sitar, Saranli, Uluc
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 01.05.2014
Predmet:	Cognition Encoding Legged locomotion Planning Rough surfaces Surface roughness
ISSN:	1050-4729
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!