•  32
    There is a well-documented indication that several applications would benefit from the transparency afforded by argumentation to support decision-making where standard decision theory is not useful, e.g. in healthcare. However, to date, research on argumentation-based decision making has only been partially successful in realising its promise. In our view this is predominantly due to its lack of theoretical validation in the form of rationality properties and its disregard for the interplay betw…Read more
  •  25
    A Unified Logical Framework for Reasoning about Deontic Properties of Actions and States
    with Piotr Kulicki, Robert Trypuz, and Marek J. Sergot
    Logic and Logical Philosophy 1-35. forthcoming.
    This paper studies some normative relations that hold between actions, their preconditions and their effects, with particular attention to connecting what are often called ‘ought to be’ norms with ‘ought to do’ norms. We use a formal model based on a form of transition system called a ‘coloured labelled transition system’ (coloured LTS) introduced in a series of papers by Sergot and Craven. Those works have variously presented a formalism (an ‘action language’) nC+ for defining and computing wit…Read more
  •  24
    Agent strands in the action language n C +
    with Marek Sergot
    Journal of Applied Logic 6 (2): 172-191. 2008.
  •  42
    Distant Causation in C+
    with Marek Sergot
    Studia Logica 79 (1): 73-96. 2005.
    The action language C+ of Giunchiglia, Lee, Lifschitz, McCain and Turner is a high-level, logical formalism for the representation of domains involving action and change. However, one cannot directly express relationships which hold between states more than one time-step distant, or even say that one action determines another at the next time. We present C+timed, a generalization of C+ which removes these limitations. As for C+, translations to the language of causal theories are given. We also …Read more