A logic-based calculus of events
New Generation Computing
A deontic logic representation of contractual obligations
Deontic logic in computer science
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
KAoS: toward an industrial-strength open agent architecture
Software agents
Time and norms: a formalisation in the event-calculus
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The Dynamic Selection of Coordination Mechanisms
Autonomous Agents and Multi-Agent Systems
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Permissions and obligations in hierarchical normative systems
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Adaptive decision-making frameworks for dynamic multi-agent organizational change
Autonomous Agents and Multi-Agent Systems
Organizational self-design in semi-dynamic environments
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
From abstract to concrete norms in agent institutions
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Alternative Dispute Resolution in Virtual Organizations
Engineering Societies in the Agents World VIII
Dynamic protocols for open agent systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
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
Hi-index | 0.00 |
A defining characteristic of Open Computational Societies is the unpredictable behaviour of their participants, resulting from their operational and architectural heterogeneity. This has led to the development of computational frameworks that facilitate the declaration of agent specifications in terms of normative relations. The frameworks offer modelling, simulation and validation, but typically have not supported dynamic modification of the specification at runtime by the agents themselves. This omission can be a limitation in certain scenarios, where agents might be capable of adaptation when faced with unexpected stimuli, but the specifications under which they operate did not allow for it. In this paper we extend an existing normative computational framework to facilitate well-defined dynamic normative modification of a specification by the agents themselves, given a well-defined meta-specification. We complement the framework with a mathematical model of the 'specification space'. We argue that the introduced dynamism preserves several of the advantages of static normative frameworks while allowing for more flexible, highly autonomous systems, simpler specification authoring and generic protocol reuse.