Computational conflicts: conflict modeling for distributed intelligent systems
Computational conflicts: conflict modeling for distributed intelligent systems
Conflicting agents: conflict management in multi-agent systems
Conflicting agents: conflict management in multi-agent systems
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Towards A Role-Based Framework for DistributedSystems Management
Journal of Network and Systems Management
Autonomous Agents and Multi-Agent Systems
The Ponder Policy Specification Language
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Capturing agent autonomy in roles and XML
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Agent Autonomy
Agents And Computational Autonomy: Potential, Risks, And Solutions (Lecture Notes in Computer Science)
Towards requirement analysis pattern for learning agents
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
A novel approach to programming: agent based software engineering
KES'06 Proceedings of the 10th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
| Hi-index | 0.00 |
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of autonomy, and while autonomy has been identified as an enabler for new computing paradigms such as grid computing, (web-)service-oriented computing or ubiquitous computing, autonomy as a software property is still miles away from implementation. Because of the legal responsibility of designers or users for the actions of autonomous software, the implementation of autonomy will require rigorous modelling and verification, so as to ensure maximum dependability. We take a first step in this direction by introducing a formal language ASL (Autonomy Specification Language) that allows for a precise specification of the activities to be carried out by a set of agents, the deontic constraints imposed on these activities, and the implications of activity execution on particular constraints (i.e., constraint dynamics). Agent autonomy is implicit in an ASL specification as the degrees of freedom left to the agents for the execution of activities.