Implementing responsibility for states and events

SYNTHESE …, 1997

Modal action operators are combined with a deontic logic and a conditional logic, and applied to the analysis of some simple organisational structures. The characterisation of the notion of responsibility, and of the conditions under which an organisation recognises that an agent has fulfilled the responsibilities assigned to him, are the main focus of interest. It is argued that, in this context, distinctions should be articulated between direct and indirect action, and between successful and not necessarily successful action. The general line of approach taken here to the modal logic of action follows the tradition established by Kanger and Pörn.

2010

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

2002

Abstract Policies are widely used in many systems and applications. Recently, it has been recognized that a" yes/no" response to every scenario is just not enough for many modern systems and applications. Many policies require certain conditions to be satisfied and actions to be performed before or after a decision is made. To address this need, this paper introduces the notions of provisions and obligations.

2011

Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships. However, current formalizations of commitments incorporate conditions expressed as propositions, but disregard (1) temporal regulations and (2) an agent's control over such regulations. Thus, they cannot handle realistic application scenarios where time and control are often central because of domain conventions or other requirements.

Lecture Notes in Computer Science, 2014

Time plays an important role in norms. In this paper we start from our previously proposed classification of obligations, and point out some shortcomings of Event Calculus (EC) to represent obligations. We propose an extension of EC that avoids such shortcomings and we show how to use it to model the various types of obligations.

2010

Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it becomes possible to pin down a specific interpretation of responsibility with a well specified semantics and a convenient and intuitive logic for expression.

2005

The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation.

1996

In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In this paper we outline the framework and refine it by adding further levels of detail to develop a formal model of the Contract Net Protocol. The model serves to make precise both the operations of nodes in the contract net, and the state of the net at various points during the protocol.

Artificial Intelligence and Law, 1999

Social commitments have long been recognized as an important concept for multiagent systems. We propose a rich formulation of social commitments that motivates an architecture for multiagent systems, which we dub spheres of commitment. We identify the key operations on commitments and multiagent systems. We distinguish between explicit and implicit commitments. Multiagent systems, viewed as spheres of commitment (SoComs), provide

2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops, 2012

The ODP Enterprise Language is used to describe the organizational objectives and policies that apply to the system to be specified. It also captures constraints associated with the environment in which the system is to be used. Because the enterprise specification is concerned more with organizational issues than technical details of the system, there is considerable emphasis in the language design on obligations and norms, rather than on the declaration of some single rigidly required behaviour. This leads to a requirement for specification techniques that encompass a wide range of behaviour and then identify which behaviour should occur and how exceptions are to be handled; this is more challenging than computational specification, where the specification is essentially a recognizer for correct behaviour and does not define what is to happen if there are violations.