An Action Language Based on Causal Explanation: Preliminary Report

Enrico Giunchiglia, Vladimir Lifschitz

Abstract: Action languages serve for describing changes that are caused by performing actions. We define a new action language C, based on the theory of causal explanation proposed recently by McCain and Turner, and illustrate its expressive power by applying it to a number of examples. The mathematical results presented in the paper relate C to the Baral-Gelfond theory of concurrent actions.