DocumentCode :
3740448
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
Volume :
2
fYear :
2015
Firstpage :
300
Lastpage :
307
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"
Publisher :
ieee
Conference_Titel :
Web Intelligence and Intelligent Agent Technology (WI-IAT), 2015 IEEE / WIC / ACM International Conference on
Type :
conf
DOI :
10.1109/WI-IAT.2015.52
Filename :
7397375
Link To Document :
بازگشت