In this paper we present a new version of action language H which is more expressive and powerful than its previous version. We enhanced the syntax to include triggers which allows us to reason about natural actions. The new version is capable of modeling a variety of domains, demonstrating that it is a good language for knowledge representation. We present the syntax and semantics of the language and show how it can be used to model the behavior of a bouncing ball.
|Title of host publication||Correct Reasoning|
|Subtitle of host publication||Essays on Logic-Based AI in Honor of Vladimir Lifschitz|
|Editors||Erdem Esra, Lee Joohyung, Lierler Yuliya, Pearce David|
|Number of pages||16|
|State||Published - 2012|
|Name||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|