Producing Enactable Protocols in Artificial Agent Societies
This paper draws upon our previous work [7, 16] in which we proposed the organisation of services around the concept of artificial agent societies and presented a framework for representing roles and protocols using LTSs. The agent would apply for a role in the society, which would result in its participation in a number of protocols. We advocated the use of the games-based metaphor for describing the protocols and presented a framework for assessing the admission of the agent to the society on the basis of its competence. In this work we look at the subsequent question: what information should the agent receive upon entry?. We can not provide it with the full protocol because of security and overload issues. Therefore, we choose to only provide the actions pertinent to the protocols that the role the agent applied for participates in the society. We employ branching bisimulation for producing a protocol equivalent to the original one with all actions not involving the role translated into silent (τ) actions. However, this approach sometimes results in non-enactable protocols. In this case, we need to repair the protocol by adding the role in question as a recipient to certain protocol messages that were causing the problems. We present three different approaches for repairing protocols, depending on the number of messages from the original protocol they modify. The modified protocol is adopted as the final one and the agent is given the role automaton that is derived from the branching bisimulation process.
KeywordsAgent Society Label Transition System Original Protocol Local View Silent Action
Unable to display preview. Download preview PDF.
- 1.Bouaziz, W.: Une Ontologie de Protocoles pour la Coordination de Systèmes Distribués. In: Journées Francophones sur les Ontologies (JFO), Sousse, Tunisie, 18/10/07-20/10/07. pp. 231–246. Centre de Publication Universitaire (October 2007)Google Scholar
- 6.Goradia, V., Mowry, B., Kang, P., Panjwani, M., Lowe, D., Somogyi, A., Magruder, P., Wagner, T., McNeil, D., Yang, C., Arms, W., Sirbu, M., Tygar, D.: Netbill 1994 prototype. TR 1994-11, Information Networking Institute, Carnegie Mellon University (1994)Google Scholar
- 7.Kloukinas, C., Lekeas, G., Stathis, K.: From agent game protocols to implementable roles. In: EUMAS 2008, Sixth European Workshop on Multi-Agent Systems, Bath, UK, pp. 1–15 (December 2008)Google Scholar
- 9.McCarthy, J., Hayes, P.J.: Some philosophical problems from the standpoint of artificial intelligence, pp. 26–45 (1987)Google Scholar
- 15.Stathis, K.: Game–based development of interactive systems. Ph.D. thesis, Department of Computing, Imperial College London (November 1996)Google Scholar