cc-Golog - An Action Language with Continuous Change. Grosskreutz, H. Logic Journal of IGPL, 11(2):179–221, 2003. 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
{"_id":"sHyiFwFkT5noucsrN","bibbaseid":"grosskreutz-ccgologanactionlanguagewithcontinuouschange-2003","authorIDs":[],"author_short":["Grosskreutz, H."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Grosskreutz"],"firstnames":["Henrik"],"suffixes":[]}],"year":"2003","keywords":"golog, reading list","pages":"179–221","bibtex":"@article{grosskreutz_cc-golog_2003,\n\ttitle = {cc-{Golog} - {An} {Action} {Language} with {Continuous} {Change}},\n\tvolume = {11},\n\tissn = {1367-0751},\n\turl = {http://jigpal.oxfordjournals.org/content/11/2/179.short},\n\tdoi = {10.1093/jigpal/11.2.179},\n\tabstract = {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.},\n\tnumber = {2},\n\tjournal = {Logic Journal of IGPL},\n\tauthor = {Grosskreutz, Henrik},\n\tyear = {2003},\n\tkeywords = {golog, reading list},\n\tpages = {179--221}\n}\n\n","author_short":["Grosskreutz, H."],"key":"grosskreutz_cc-golog_2003","id":"grosskreutz_cc-golog_2003","bibbaseid":"grosskreutz-ccgologanactionlanguagewithcontinuouschange-2003","role":"author","urls":{"Paper":"http://jigpal.oxfordjournals.org/content/11/2/179.short"},"keyword":["golog","reading list"],"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/tillhofmann","creationDate":"2019-12-09T14:42:18.101Z","downloads":0,"keywords":["golog","reading list"],"search_terms":["golog","action","language","continuous","change","grosskreutz"],"title":"cc-Golog - An Action Language with Continuous Change","year":2003,"dataSources":["9pYjFWPBodPyDyb7N"]}