In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain values that are in constant change. In this paper we introduce an action language for modeling such hybrid domains called the process description language. We discuss the syntax and semantics of the language, model an example using this language, and give a provenly correct translation into answer set programming.
|Number of pages||15|
|Journal||CEUR Workshop Proceedings|
|State||Published - 2005|
|Event||3rd International Workshop on Answer Set Programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 - Bath, United Kingdom|
Duration: Jul 27 2005 → Jul 29 2005