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...

Full description

Bibliographic Details

Published in:	Proceedings - IEEE International Conference on Robotics and Automation pp. 3764 - 3770
Main Authors:	Kortik, Sitar, Saranli, Uluc
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2014
Subjects:	Cognition Encoding Legged locomotion Planning Rough surfaces Surface roughness
ISSN:	1050-4729
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!