Output details
11 - Computer Science and Informatics
Imperial College London
Agent strands in the action language nC+.
<22>nC+ is an extended form of the action language C+. The semantics is a new form of labelled transition system with `colourings' for normative aspects of actions, and `strands' for picking out an actions of individual agents. Paper shows how to formalise e.g. different kinds of norm compliance and violation, different notions of responsibility. Subsequent generalisation has produced a new logic integrating transition based aspects of action with 'sees to it that' modalities for individual and collective agency. An implementation iCCcalc with model checker mcLUCA for the action logic is available at www3.imperial.ac.uk/computing/research/naag/iccalc.