Output details
11 - Computer Science and Informatics
Imperial College London
Article title
Agent strands in the action language nC+.
Type
D - Journal article
Title of journal
Journal of Applied Logic
Article number
-
Volume number
6
Issue number
2
First page of article
172
ISSN of journal
1570-8683
Year of publication
2008
URL
-
Number of additional authors
1
Additional information
<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.
Interdisciplinary
-
Cross-referral requested
-
Research group
A - Logic and Artificial Intelligence
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
