Bringing action language C+ to normative contexts: preliminary report
Dario García-Gasulla, Juan Carlos Nieves Sánchez · RECERCAT (Consorci de Serveis Universitaris de Catalunya) · 2010
C+ is an action language for specifying and reasoning about the e ects of actions and the persistence of facts over time. Based on it. we present CN+, an operational enhanced form of C+ designed for representing complex normative systems and integrate them easily into the semantics of the causal theory of actions. The proposed system contains a particular formalization of norms using a life-cycle approach to capture the whole normative meaning of a complex normative framework. We discuss this approach and illustrate it with examples.