Abstract
Constrasting the standard framework based on agent-to-agent direct communication, in this paper we focus on agent interaction with the environment. In particular, the environment is seen as populated by coordination artifacts [1], automatising coordination tasks and mediating agent interaction.
As a semantic framework for this context we propose operating instructions, which the agent reads and interprets to become aware of the allowed actions and perceptions at a given time, and the MAS infrastructure can exploit to enforce correct agent behaviours and detect wrong ones. This allows us to conceptually handle a number of crucial aspects related to agent interaction, including interaction protocols, timing properties — such as delays and timeouts —, and a notion of contract featuring violation and guarantees.
Formally, our framework is based on a process algebra featuring (i) explicit connection between action and its related perceptions, (ii) a time-based branch operator, (iii) violation and guarantee deadlock states, and (iv) association of mental properties to interactions.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286–293. ACM, New York (2004)
FIPA: FIPA communicative act library specification. Doc. XC00037H (2000), http://www.fipa.org
Pitt, J., Mamdani, E.: A protocol-based semantics for an agent communication language. In: IJCAI 1999, pp. 486–491 (1999)
Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: Proceedings of AAMAS 2003, pp. 528–535. ACM Press, New York (2003)
Singh, M.P.: A social semantics for agent communication languages. In: Dignum, F.P.M., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 31–45. Springer, Heidelberg (2000)
Parunak, V.D.: ‘Go To The Ant’: Engineering principles from natural agent systems. Annals of Operations Research 75, 69–101 (1997)
Omicini, A., Zambonelli, F.: Coordination for Internet application development. Journal of Autonomous Agents and Multi-Agent Systems 2, 251–269 (1999)
Nardi, B.A.: Context and Consciousness: Activity Theory and Human-Computer Interaction. MIT Press, Cambridge (1996)
Ricci, A., Omicini, A., Denti, E.: Activity Theory as a framework for MAS coordination. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 96–110. Springer, Heidelberg (2003)
Omicini, A., Ricci, A., Viroli, M., Cioffi, M., Rimassa, G.: Multi-agent infrastructures for objective and subjective coordination. Applied Artificial Intelligence 18, 815–831 (2004); Special Issue: Best papers from EUMAS 2003: The 1st European Workshop on Multi-agent Systems.
Khan, S.M., Lespérance, Y.: A model of rational agency for communicating agents. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 242–259. Springer, Heidelberg (2005)
Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 102–110. ACM, New York (2004)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Hennessy, M., Regan, T.: A dialogue game protocol for agent purchase negotiations. A Process Algebra for Timed Systems 117, 221–239 (1995)
Viroli, M., Ricci, A., Omicini, A.: A semantics for the interaction of agents with coordination artifacts. In: Cybernetics and Systems 2004, vol. 2, pp. 564–569 (2004); Workshop AT2AI 2004
Ricci, A., Viroli, M., Omicini, A.: Agent coordination context: From theory to practice. In: Cybernetics and Systems 2004. vol. 2, pp. 618–623. Austrian Society for Cybernetic Studies (2004); Workshop AT2AI (2004)
McBurney, P., Parsons, S.: Locutions for argumentation in agent interaction protocols. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 209–225. Springer, Heidelberg (2005)
Sato, M., Sakurai, T., Kameyama, Y., Igarashi, A.: Calculi of meta-variables. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol. 2803, pp. 484–497. Springer, Heidelberg (2003)
Glabbeek, R.v.: The linear time – branching time spectrum I. The semantics of concrete, sequential processes. In: Handbook of Process Algebra, pp. 3–100. North-Holland, Amsterdam (2001)
Baetene, J., Middleburg, C.: Process algebra with timing: Real time and discrete time. In: Handbook of Process Algebra, pp. 3–100. North-Holland, Amsterdam (2001)
Ricci, A., Viroli, M., Omicini, A.: Agent coordination context: From theory to practice. In: Trappl, R. (ed.) Cybernetics and Systems 2004, Vienna, Austria, vol. 2, pp. 618–623. Austrian Society for Cybernetic Studies (2004); Proceedings of 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), Vienna, Austria, April 13–16 (2004)
Smith, R.G.: The contract net protocol: High-level communication and control in a distributed problem solver. In: Proceedings of the 1st International Conference on Distributed Computing Systems, pp. 186–192. IEEE Computer Society, Washington D.C (1979)
Viroli, M., Omicini, A.: Coordination as a service: Ontological and formal foundation. In: Proceedings of FOCLASA 2002. ENTCS, vol. 68(3). Elsevier Science B.V., Amsterdam (2003)
Labrou, Y., Finin, T.: Semantics and conversation for an agent communication language. In: 15th International Joint Conference on Artificial Intelligence (1997)
Colombetti, M.: A commitment-based approach to agent speech acts and conversations. In: Workshop on Agent Languages and Conversation Policies (2000)
Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31, 40–47 (1998)
Pitt, J., Kamara, L., Artikis, A.: Interaction patterns and observable commitments in a multi-agent trading scenario. In: Internation Conference on Autonomous Agents, pp. 481–488. ACM Press, New York (2001)
Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. Journal of Logic Computation 13, 347–376 (2003)
McBurney, P., van Eijk, R.M., Parsons, S., Amgoud, L.: A dialogue game protocol for agent purchase negotiations. Journal of Autonomous Agents and Multi-Agent Systems 7, 235–273 (2003)
Omicini, A., Ricci, A., Viroli, M.: Formal specification and enactment of security policies through Agent Coordination Contexts. In: Proceedings of SecCo 2003. ENTCS, vol. 85(3). Elsevier Science B.V., Amsterdam (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Viroli, M., Ricci, A. (2005). Agent Interaction Semantics by Timed Operating Instructions. In: van Eijk, R.M., Huget, MP., Dignum, F. (eds) Agent Communication. AC 2004. Lecture Notes in Computer Science(), vol 3396. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32258-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-32258-0_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25015-9
Online ISBN: 978-3-540-32258-0
eBook Packages: Computer ScienceComputer Science (R0)