Handbook of theoretical computer science (vol. B)
Reasoning about knowledge
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Prometheus: a methodology for developing intelligent agents
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Autonomous Agents and Multi-Agent Systems
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Impact: A Platform for Collaborating Agents
IEEE Intelligent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
| Hi-index | 0.00 |
We present an abstract declarative semantics for multi-agent systems based on the idea of stable set, and argue that it can be suitably employed to describe, and to some extent verify, the dynamics of complex systems of autonomous and heterogeneous interacting agents. We view agents as black-boxes, whose semantics is abstractly understood as an input-output transformation from the agents' observations about their environment, to the actions they perform. Stable sets (of actions) characterise multi-agent systems able to reach an equilibrium point. Our semantics via stable sets takes into account the possibility that agents may fail. We illustrate how stability can characterise multi-agent systems by means of examples. We also draw considerations about how stable sets can be effectively approximated.