ABSTRACT
Timed coordination is an important issue in the developement of multi-agent systems. However, introducing a formalism for modelling time and achieving coordination while respecting the autonomy of the agents is still a challenge. This paper describes a formalism for a timed coordination mechanism which conciliates the "free thinking" of an agent.
- R. Alur. Timed automata. In N. Halbwachs and D. Peled, editors, CAV, volume 1633 of Lecture Notes in Computer Science, pages 8--22. Springer, 1999. Google ScholarDigital Library
- F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14(3):329--366, 2004. Google ScholarDigital Library
- L. Astefanoaei and F. S. de Boer. Model-checking agent refinement. In L. Padgham, D. C. Parkes, J. Müller, and S. Parsons, editors, AAMAS (2), pages 705--712. IFAAMAS, 2008. Google ScholarDigital Library
- G. Boella, J. Broersen, and L. van der Torre. Reasoning about constitutive norms, counts-as conditionals, institutions, deadlines and violations. In T. D. Bui, T. V. Ho, and Q.-T. Ha, editors, PRIMA, volume 5357 of Lecture Notes in Computer Science, pages 86--97. Springer, 2008. Google ScholarDigital Library
- M. Dastani, D. Grossi, J.-J. C. Meyer, and N. Tinnemeier. Normative multi-agent programs and their logics. In KRAMAS'08: Proceedings of the Workshop on Knowledge Representation for Agents and Multi-Agent Systems, 2008.Google Scholar
Index Terms
- On coordination, autonomy and time
Recommendations
An Open Architecture for Holonic Cooperation and Autonomy
DEXA '00: Proceedings of the 11th International Workshop on Database and Expert Systems ApplicationsThe paper examines some issues relating to an open architecture for holon cooperation and autonomy. We identify the requirements of a holonic system architecture and discuss the merits of our approach in comparison with classic agent-based models. A ...
Plan-Coordination Mechanisms and the Price of Autonomy
Computational Logic in Multi-Agent SystemsTask-based planning problems for multi-agent systems require multiple agents to find a joint plan for a constrained set of tasks. Typically, each agent receives a subset of tasks to complete. Due to task interdependencies, such task allocations induce ...
Emergent Responsible Autonomy in Multi-Agent Systems
AAMAS '23: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent SystemsAutonomous agents operating in multi-agent environments, face the dilemma of responsibility where they must choose between actions that are individually beneficial versus those that are considered responsible and ethical. Current approaches address this ...
Comments