The action language C+ of Giunchiglia, Lee, Lifschitz, McCain, and Turner is a formalism for specifying and reasoning about the effects of actions and the persistence ('inertia') of facts over time. An 'action description' in C+ defines a labelled transition system of a certain kind. nC+ (formerly known as (C+)++) is an extended form of C+ designed for representing normative and institutional aspects of (human or computer) societies. The deontic component of nC+ provides a means of specifying the permitted (acceptable, legal) states of a transition system and its permitted (acceptable, legal) transitions. We present this component of nC+, motivating its details with reference to some small illustrative examples.
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.