We define and study a high-level language for describing actions that extends the language A introduced by Gelfond and Lifschitz. The new language, AR_0, allows us to describe actions with indirect effects (ramifications) and simple forms of nondeterminism. A translation from AR_0 into a formalism based on circumscription in proved to be sound and complete.

PS

In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR), 341-350, 1994.

@InProceedings{kar94, title={Actions with Indirect Effects (preliminary report)}, author={G. Neelakantan Kartha and Vladimir Lifschitz}, booktitle={Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR)}, pages={341-350}, url="http://www.cs.utexas.edu/users/ai-lab/?kar94", year={1994} }