Bridging the Gap between High-Level Reasoning and Low-Level Control. Caldiran, O., Haspalamutgil, K., Ok, A., Palaz, C., Erdem, E., & Patoglu, V. In International Conference on Logic Programming and Nonmonotonic Reasoning, 2009.
abstract   bibtex   
We present a formal framework where a nonmonotonic formalism (the action description language CCalc is used to provide robots with high-level reasoning, such as planning, in the style of cognitive robotics. In particular, we introduce a novel method that bridges the high-level discrete action planning and the low-level continuous behavior by trajectory planning. We show the applicability of this framework on two LEGO Mindstorms NXT robots, in an action domain that involves concurrent execution of actions that cannot be serialized.
@InProceedings{Caldiran2009a,
	booktitle = {International Conference on Logic Programming and Nonmonotonic Reasoning},
	author = {Ozan Caldiran and Kadir Haspalamutgil and Abdullah Ok and Can Palaz and Esra Erdem and Volkan Patoglu},
	title = {{Bridging the Gap between High-Level Reasoning and Low-Level Control}},
	year = {2009},
	abstract ={We present a formal framework where a nonmonotonic formalism (the action description language CCalc is used to provide robots with high-level reasoning, such as planning, in the style of cognitive robotics. In
particular, we introduce a novel method that bridges the high-level discrete action planning and the low-level continuous behavior by trajectory planning. We show the applicability of this framework on two LEGO Mindstorms NXT
robots, in an action domain that involves concurrent execution of actions that cannot be serialized.}
}

Downloads: 0