Abstract
This work views agent coordination from a purely behavioural viewpoint. We use the Temporal Logic of Actions (TLA) to formally specify the behaviour of individual agents as well as the behaviour of a coalition of agents by composing the behaviour of individual agents. We view a coalition of agents as being initiated by an agent wishing to delegate some of its tasks to others. We do not discuss the issues related to coalition formation here but rather focus on how agent coordination can be achieved through behaviour composition. We have built a generic and rigorous approach to formally specify such behaviour composition from the behaviour of individual agents. To validate our approach, we have successfully applied it to the blocks world and model checked the specifications using TLC - the TLA model checker.
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 callMore From: International Journal of Artificial Intelligence and Soft Computing
Disclaimer: 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.
