Title :
Automated Agent Behavior Construction for Protocol-Based Multiagent Systems
Author :
G?nay;Yang Liu;Jie Zhang;Partha Dutta
Author_Institution :
Sch. of Comput. Eng., Nanyang Technol. Univ., Singapore, Singapore
Abstract :
In this paper we study automated construction of an agent´s behavior for a protocol-based multiagent system, where the exact behaviors of the other agents are unknown. This uncertainty makes it challenging to develop an optimal agent behavior that complies with the system protocol, while ensuring achievement of the agent´s temporal goals. To solve this problem, we develop an automated method that uses graph search and model checking techniques to construct the optimal agent behavior with respect to a labeled transition systems model of a protocol and linear temporal logic specification of the agent´s goals. We show that our algorithm is sound, complete and optimal. We also conducted computational experiments to evaluate the scalability of our method.
Keywords :
"Protocols","Soil","Multi-agent systems","Robot kinematics","Uncertainty","Model checking"
Conference_Titel :
Web Intelligence and Intelligent Agent Technology (WI-IAT), 2015 IEEE / WIC / ACM International Conference on
DOI :
10.1109/WI-IAT.2015.52