Modeling Hybrid Domains Using Process Description Language

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.

• Type: Conference
• Year: 2005
• Where: ASP
• Authors: Sandeep Chintabathina, Michael Gelfond, Richard Watson
• Keywords: Action Language, Artificial Intelligence, ASP 2005, Process Description Language, Real Domains