The integrated modeling of multi-agent systems and their environment
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
RoboCup 2000: Robot Soccer World Cup IV
RoboCup 2000: Robot Soccer World Cup IV
Analysis and Design of Multiagent Systems Using MAS-Common KADS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
| Hi-index | 0.00 |
Nowadays agent-oriented software engineering methodologies emphasize the importance of the environment in which a multiagent system (MAS) operate. Meanwhile, they do not propose any diagram to represent the environment and its effects on the MAS. So, we propose two diagrams that can be introduced in agent-oriented methodologies: an environment diagram representing environment evolution over time, and an agent diagram showing the MAS organization according to the agents' roles and their relationships. Furthermore, many model checking techniques were defined to validate whether a MAS will solve the problem for which it is designed. However, these techniques do not consider the environment in their checking procedure. We propose a Situation Event Logic, an extension of modal logic, in which modal operators have a well defined scope over a set of situations. This logic is used to represent and infer knowledge from the environment and agent diagrams.