Abstract
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. n C + is an extended form of C + designed for representing normative and institutional aspects of (human or computer) societies. The deontic component of n C + 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 n C + , motivating its details with reference to some small illustrative examples, and elaborate the formalism by allowing scope for norms governing individual agents. We describe the various kinds of investigation possible on the semantic structures which n C + defines.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
