On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Floor control for multimedia conferencing and collaboration
Multimedia Systems
On the emergence of social conventions: modeling, analysis, and simulations
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Adaptive decision-making frameworks for dynamic multi-agent organizational change
Autonomous Agents and Multi-Agent Systems
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The Computer Journal
Modeling centralized organization of organizational change
Computational & Mathematical Organization Theory
An executable specification of a formal argumentation protocol
Artificial Intelligence
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Dynamic specifications in norm-governed open computational societies
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Using case-based reasoning in autonomic electronic institutions
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Artificial Intelligence
Hi-index | 0.00 |
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member's internal state, are often classified as 'open'. The specification of open agent systems of this sort is largely seen as a design-time activity. Moreover, there is no support for run-time specification modification. Due to environmental, social, or other conditions, however, it is often required to revise the specification during the system execution. To address this requirement, we present an infrastructure for 'dynamic' specifications, that is, specifications that may be modified at run-time by the agents. The infrastructure consists of well-defined procedures for proposing a modification of the 'rules of the game' as well as decision-making over and enactment of proposed modifications. We employ the action language C+ to formalise dynamic specifications, and the 'Causal Calculator' implementation of C+ to execute the specifications. We illustrate our infrastructure by presenting a dynamic specification of a resource-sharing protocol.