In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: 'enactment', 'deactment', 'activate', and 'deactivate'. The use of these operations are motivated, in particular for open systems. A formal semantics for these operations are provided. This formalization is aimed at serving as a basis for implementation of role dynamics in an agent programming language such as 3APL.

No abstract

Abstract. We provide a conceptual analysis of several kinds of deadlines, represented in Temporal Modal Defeasible Logic. The paper presents a typology of deadlines, based on the following parameters: deontic operator, maintenance or achievement, presence or absence of sanctions, and persistence after the deadline. The deadline types are illustrated by a set of examples.

In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of speech act theory and Searle's theory of the construction of social reality. We illustrate the use of our model by discussing an example of distributed access control policies. We show how the model captures the distinction between local and global authorities, and between local and global norm enforcement policies.

No abstract