cc-Golog - An Action Language with Continuous Change. Grosskreutz, H. Logic Journal of IGPL, 11(2):179–221, 2003.
cc-Golog - An Action Language with Continuous Change [link]Paper  doi  abstract   bibtex   
High-level robot controllers often need to specify event-driven behavior and they operate low-level processes which change the world in a continuous fashion. While non logic-based control languages have existed for some time to address these issues, this is not the case for logic-based languages. To remedy the situation, we show how to incorporate continuous change and event-driven behavior into the action language GOLOG. Besides proposing a suitable semantics for the new language, which we call cc-Golog, we show how a robot architecture where a high-level controller communicates via messages with low-level routines can be modeled naturally in this new dialect. Finally, we demonstrate how on-line execution and off-line projection can be combined in this language.
@article{grosskreutz_cc-golog_2003,
	title = {cc-{Golog} - {An} {Action} {Language} with {Continuous} {Change}},
	volume = {11},
	issn = {1367-0751},
	url = {http://jigpal.oxfordjournals.org/content/11/2/179.short},
	doi = {10.1093/jigpal/11.2.179},
	abstract = {High-level robot controllers often need to specify event-driven behavior and they operate low-level processes which change the world in a continuous fashion. While non logic-based control languages have existed for some time to address these issues, this is not the case for logic-based languages. To remedy the situation, we show how to incorporate continuous change and event-driven behavior into the action language GOLOG. Besides proposing a suitable semantics for the new language, which we call cc-Golog, we show how a robot architecture where a high-level controller communicates via messages with low-level routines can be modeled naturally in this new dialect. Finally, we demonstrate how on-line execution and off-line projection can be combined in this language.},
	number = {2},
	journal = {Logic Journal of IGPL},
	author = {Grosskreutz, Henrik},
	year = {2003},
	keywords = {golog, reading list},
	pages = {179--221}
}

Downloads: 0