Abstract
In multi-agent systems, changes in an agent's mental state often reflect changes at the social level as well. Furthermore, most work on agent languages use structural operational semantics to formalise multi-agent systems. As multi-agent systems are complex systems, it is difficult to formalise all relevant aspects of such system as a single transition system, and even transition systems for a single agent can easily become cumbersome. In this paper, we propose a particular style of semantic rules that make it visually clearer how changes at one level of a multi-agent system require simultaneous changes in other levels of the system (where each component of each level is modelled as a separate transition system).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
