A logic-based calculus of events
New Generation Computing
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
On the emergence of social conventions: modeling, analysis, and simulations
Artificial Intelligence - Special issue on economic principles of multi-agent systems
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
A capabilities-based model for adaptive organizations
Autonomous Agents and Multi-Agent Systems
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
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
Evaluating dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Formalising dynamic protocols for open agent systems
Proceedings of the 12th International Conference on Artificial Intelligence and Law
PreSage-MS: Metric Spaces in PreSage
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Role evolution in Open Multi-Agent Systems as an information source for trust
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Towards Dynamic Agent Interaction Support in Open Multiagent Systems
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Norm refinement and design through inductive learning
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Animation of open multi-agent systems
Proceedings of the 2011 Workshop on Agent-Directed Simulation
Role assignment in institutional clouds for rule-based enterprise management
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Interleaving multi-agent systems and social networks for organized adaptation
Computational & Mathematical Organization Theory
Coordination, conventions and the self-organisation of sustainable institutions
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
Software support for organised adaptation
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Trust-based role coordination in task-oriented multiagent systems
Knowledge-Based Systems
| 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 protocols for 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 protocol execution. To address this requirement, we present an infrastructure for 'dynamic' protocol specifications, that is, specifications that may be modified at run-time by 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 evaluate proposals for rule modification by modelling dynamic specifications as metric spaces. Furthermore, we constrain the enactment of proposals that do not meet the evaluation criteria. We illustrate our infrastructure by presenting a dynamic specification of a resource-sharing protocol, and an execution of this protocol in which the participating agents modify the protocol specification.