[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
research-article

Research directions in agent communication

Published: 03 April 2013 Publication History

Abstract

Increasingly, software engineering involves open systems consisting of autonomous and heterogeneous participants or agents who carry out loosely coupled interactions. Accordingly, understanding and specifying communications among agents is a key concern. A focus on ways to formalize meaning distinguishes agent communication from traditional distributed computing: meaning provides a basis for flexible interactions and compliance checking.
Over the years, a number of approaches have emerged with some essential and some irrelevant distinctions drawn among them. As agent abstractions gain increasing traction in the software engineering of open systems, it is important to resolve the irrelevant and highlight the essential distinctions, so that future research can be focused in the most productive directions.
This article is an outcome of extensive discussions among agent communication researchers, aimed at taking stock of the field and at developing, criticizing, and refining their positions on specific approaches and future challenges. This article serves some important purposes, including identifying (1) points of broad consensus; (2) points where substantive differences remain; and (3) interesting directions of future work.

References

[1]
Aldewereld, H. 2007. Autonomy vs. conformity: An institutional perspective on norms and protocols. Ph.D. thesis, Universiteit Utrecht.
[2]
Aldewereld, H., Vazquez-Salceda, J., Dignum, F., and Meyer, J.-J. C. 2006. Verifying norm compliancy of protocols. In Coordination, Organisation, Institutions and Norms in Agent Systems I, Lecture Notes in Artificial Intelligence, vol. 3913, Springer, 222--236.
[3]
Amgoud, L., Belabbes, S., and Prade, H. 2006. A formal general setting for dialogue protocols. In Proceedings of the 12th International Conference on Artificial Intelligence: Methodology, Systems, Applications. Lecture Notes in Artificial Intelligence, vol. 4183, Springer, 13--23.
[4]
Amgoud, L., Maudet, N., and Parsons, S. 2000. Modelling dialogues using argumentation. In Proceedings of the 4th International Conference on Multi-Agent Systems (ICMAS). E. Dur-fee, Ed., IEEE Press, 31--38.
[5]
Artikis, A. and Sergot, M. 2010. Executable specification of open multi-agent systems. Logic J. IGPL 18, 1, 31--65.
[6]
Artikis, A., Sergot, M., and Pitt, J. 2007. An executable specification of a formal argumentation protocol. Artif. Intell. 171, 10--15, 776--804.
[7]
Atkinson, K., Bench-Capon, T., and McBurney, P. 2005. A dialogue game protocol for multi-agent argument for proposals over action. Auton. Agents Multi-Agent Syst. 11, 2, 153--171.
[8]
Austin, J. L. 1962. How to Do Things With Words. Oxford University Press.
[9]
Bellifemine, F., Poggi, A., and Rimassa, G. 1999. JADE—A FIPA-compliant agent frame-work. In Proceedings of the 4th International Conference on Practical Application of Intelligent Agents and Multi-Agent Technology. Vol. 99, 97--108.
[10]
Bentahar, J., Mbarki, M., Meyer, J.-J. C., and Moulin, B. 2009a. Strategic agent communication: An argumentation-driven approach. In Declarative Agent Languages and Technologies VI, Lecture Notes in Artificial Intelligence, vol. 5397, Springer, 233--250.
[11]
Bentahar, J., Meyer, J.-J. C., and Wan, W. 2009b. Model checking communicative agent-based systems. Knowl.-Based Syst. 22, 3, 142--159.
[12]
Bentahar, J., Moulin, B., Meyer, J.-J. C., and Chaib-draa, B. 2004. A computational model for conversation policies for agent communication. In Computational Logic in Multi-Agent Systems, J. A. Leite and P. Torroni, Eds., Lecture Notes in Artificial Intelligence, vol. 3487, Springer, 146--165.
[13]
Bing, J. 1998. Managing copyright in a digital environment. In The Impact of Electronic Publishing on the Academic Community, I. Butterworth, Ed., Portland Press, 52--62.
[14]
Black, E. and Atkinson, K. 2009. Dialogues that account for different perspectives in collaborative argumentation. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). 867--874.
[15]
Breiter, P. and Sadek, M. D. 1996. A rational agent as a kernel of a cooperative dialogue system: Implementing a logical theory of interaction. In Proceedings of the ECAI Workshop on Agent Theories, Architectures, and Languages. Springer, 261--276.
[16]
Chopra, A. K., Dalpiaz, F., Giorgini, P., and Mylopoulos, J. 2010. Reasoning about agents and protocols via goals and commitments. In Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10). 457--464.
[17]
Chopra, A. K. and Singh, M. P. 2004. Nonmonotonic commitment machines. In Agent Communication, F. Dignum, Ed., Lecture Notes in Artificial Intelligence, vol. 2922, Springer, 183--200.
[18]
Chopra, A. K. and Singh, M. P. 2009. Multiagent commitment alignment. In Proceedings of the 8th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS'09). 937--944.
[19]
Chopra, A. K. and Singh, M. P. 2010. Elements of a business-level architecture for multiagent systems. In Proceedings of the 7th International Workshop on Programming Multiagent Systems (ProMAS'09). Lecture Notes in Artificial Intelligence, vol. 5919, Springer, 15--30.
[20]
Chopra, A. K. and Singh, M. P. 2011. Colaba: Collaborative design of cross-organizational business processes. In Proceedings of the International Workshop on Requirements Engineering for Systems, Services, and Systems of Systems (RES4). IEEE, 36--43.
[21]
Cohen, P. R. and Levesque, H. J. 1990. Persistence, intentions and commitment. In Intentions in Communication. MIT Press, Cambridge, MA, 33--69.
[22]
Colombetti, M. 2000. A commitment-based approach to agent speech acts and conversations. In Proceedings of the Workshop on Agent Languages and Communication Policies. 21--29.
[23]
Dalpiaz, F., Chopra, A. K., Giorgini, P., and Mylopoulos, J. 2010. Adaptation in open systems: Giving interaction its rightful place. In Proceedings of the 29th International Conference on Conceptual Modeling. Lecture Notes in Computer Science, vol. 6412, Springer, 31--45.
[24]
Daniel, F., Casati, F., D'Andrea, V., Mulo, E., Zdun, U., Dustdar, S., Strauch, S., Schumm, D., Leymann, F., Sebahi, S., Marchi, F. D., and Hacid, M.-S. 2009. Business compliance governance in service-oriented architectures. In Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications. 113--120.
[25]
Desai, N., Chopra, A. K., Arrott, M., Specht, B., and Singh, M. P. 2007. Engineering foreign exchange processes via commitment protocols. In Proceedings of the 4th IEEE International Conference on Services Computing. IEEE Computer Society Press, Los Alamitos, CA, 514--521.
[26]
Desai, N., Chopra, A. K., and Singh, M. P. 2009. Amoeba: A methodology for modeling and evolution of cross-organizational business processes. ACM Trans. Softw. Engin. Methodol. 19, 2, 6:1--6:45.
[27]
Dignum, F., Ed. 2004. Advances in agent communication. Lecture Notes in Artificial Intelligence, vol. 2922, Springer.
[28]
Dignum, F., Dunin-Keplicz, B., and Verbrugge, R. 2001. Creating collective intention through dialogue. Logic J. IGPL 9, 2, 305--319.
[29]
Dignum, F. and Greaves, M., Eds. 2000. Issues in Agent Communication. Lecture Notes in Artificial Intelligence, vol. 1916, Springer.
[30]
Dignum, V. and Dignum, F. 2001. Modeling agent societies: Co-ordination frameworks and institutions. In Progress in Artificial Intelligence: Proceedings of the Portuguese Conference on Artificial Intelligence (EPIA'01), A. Jorge and P. Brazdil, Eds. Lecture Notes in Artificial Intelligence, vol. 2258, Springer, 191--204.
[31]
Finin, T., Labrou, Y., and Mayfield, J. 1997. KQML as an agent communication language. In Software Agents, J. M. Bradshaw, Ed. AAAI Press/The MIT Press, Chapter 14, 291--316.
[32]
for Intelligent Physical Agents. 2002. Fipa communicative act library specification. http://www.fipa. org/specs/fipa00037/index.html.
[33]
Fornara, N. and Colombetti, M. 2002. Operational specification of a commitment-based agent communication language. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems (AAMAS'02), C. Castelfranchi and W. L. Johnson, Eds. ACM Press, New York, 535--542.
[34]
Fornara, N. and Colombetti, M. 2003. Defining interaction protocols using a commitment-based agent communication language. In Proceedings of the 2nd International Joint Conference on Autonomous Agents and MultiAgent Systems. 520--527.
[35]
Fornara, N. and Colombetti, M. 2009. Specifying artificial institutions in the event calculus. In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, V. Dignum, Ed. IGI Global, Chapter 14, 335--366.
[36]
Fornara, N. and Colombetti, M. 2010. Ontology and time evolution of obligations and prohibitions using semantic web technology. In Declarative Agent Languages and Technologies VII, M. Baldoni, J. Bentahar, J. Lloyd, and M. van Riemsdijk, Eds. Lecture Notes in Computer Science, vol. 5948. Springer, 101--118.
[37]
Fornara, N., Vigano, F., and Colombetti, M. 2007. Agent communication and artificial institutions. Auton. Agents Multi-Agent Syst. 14, 2, 121--142.
[38]
Foster, I. 2001. The anatomy of the grid: Enabling scalable virtual organizations. In Proceedings of the European Conference on Parallel Processing (Euro-Par'01), R. Sakellariou, J. Keane, J. Gurd, and L. Freeman, Eds., Lecture Notes in Computer Science, vol. 2150, Springer, 1--4.
[39]
Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., and Steenkiste, P. 2004. Rainbow: Architecture-Based self-adaptation with reusable infrastructure. IEEE Comput. 37, 10, 46--54.
[40]
Gerard, S. N. and Singh, M. P. 2012. Formalizing and verifying protocol refinements. http://www.csc. ncsu.edu/faculty/mpsingh/papers.
[41]
Grice, P. 1957. Meaning. Philos. Rev. 66, 3, 377--388.
[42]
Hardwick, M. and Bolton, R. 1997. The industrial virtual enterprise. Comm. ACM 40, 9, 59--60.
[43]
Hormazabal, N., Cardoso, H. L., de la Rosa, J. L., and Oliveira, E. 2009. An approach for virtual organizations' dissolution. In Proceedings of the AAMAS Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN'09). A. Artikis and W. Vascon-celos, Eds., 93--108.
[44]
Johnson, M. W., McBurney, P., and Parsons., S. 2003. When are two protocols the same? In Communication in Multi-Agent Systems: Agent Communication Languages and Conversation Policies. M.-P. Huget, Ed., Lecture Notes in Artificial Intelligence, vol. 2650, Springer, 253--268.
[45]
Jones, A. and Parent, X. 2004. Conventional signalling acts and conversation. In Advances in Agent Communication, F. Dignum, Ed., Lecture Notes in Artificial Intelligence, vol. 2922, Springer, 1--17.
[46]
Jones, A. and Parent, X. 2007. A convention-based approach to agent communication languages. Group Decis. Negot. 16, 101--141.
[47]
Kanger, S. 1972. Law and logic. Theoria 38, 105--132.
[48]
Khosravifar, B., Bentahar, J., Moazin, A., and Thiran, P. 2010. On the reputation of agent-based web services. In Proceedings of the 24th AAAI Conference on Artificial Intelligence (AAAI'10). AAAI Press, 1352--1357.
[49]
Mallya, A. U. and Singh, M. P. 2007. An algebra for commitment protocols. Auton. Agents Multi-Agent Syst. 14, 2, 143--163.
[50]
Mbarki, M., Bentahar, J., and Moulin, B. 2007. Specification and complexity of strategic-based reasoning using argumentation. In Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'07). Lecture Notes in Computer Science, vol. 4766, Springer, 142--160.
[51]
McBurney, P. and Parsons, S. 2001. Representing epistemic uncertainty by means of dialectical argumentation. Ann. Math. Artif. Intell. 32, 1-4, 125--169.
[52]
McBurney, P. and Parsons, S. 2002. Games that agents play: A formal framework for dialogues between autonomous agents. J. Logic Lang. Inf. 11, 3, 315--334.
[53]
McBurney, P. and Parsons, S. 2003. Dialogue game protocols. In Communication in Multiagent Systems: Agent Communication Languages and Conversation Policies. M.-P. Huget, Ed., Lecture Notes in Artificial Intelligence, vol. 2650, Springer, 269--283.
[54]
McBurney, P. and Parsons, S. 2009. Dialogue games for agent argumentation. In Argumentation in Artificial Intelligence, I. Rahwan and G. Simari, Eds., Springer, 261--280.
[55]
McBurney, P., Parsons, S., and Wooldridge, M. 2002. Desiderata for agent argumentation protocols. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02). ACM Press, New York, 402--409.
[56]
McGinnis, J., Robertson, D., and Walton, C. 2006. Protocol synthesis with dialogue structure theory. In Argumentation in Multi-Agent Systems, Lecture Notes in Artificial Intelligence, vol. 4049, Springer, 199--216.
[57]
Miller, T. and McBurney, P. 2007. Using constraints and process algebra for specification of firstclass agent interaction protocols. In Engineering Societies in the Agents World VII, Lecture Notes in Artificial Intelligence, vol. 4457, Springer, 245--264.
[58]
Pitt, J., Kamara, L., Sergot, M., and Artikis, A. 2006. Voting in multi-agent systems. Comput. J. 49, 2, 156--170.
[59]
Pitt, J. and Mamdani, E. 1999. Some remarks on the semantics of FIPA's agent communication language. Auton. Agents Multi-Agent Syst. 2, 4, 333--356.
[60]
Pörn, I. 1977. Action theory and social science: Some formal models. In Number 120 in Synthese Library. D. Reidel Publishing Company.
[61]
Prakken, H. 2005. Coherence and flexibility in dialogue games for argumentation. J. Logic Comput. 15, 6, 1009--1040.
[62]
Rahwan, I., Ramchurn, S. D., Jennings, N. R., McBurney, P., Parsons, S., and Sonenberg, E. 2003. Argumentation-Based negotiation. Knowl. Engin. Rev. 18, 4, 343--375.
[63]
Reed, C. 1998. Dialogue frames in agent communications. In Proceedings of the 3rd International Conference on Multi-Agent Systems (ICMAS'98). Y. Demazeau, Ed., IEEE Press, 246--253.
[64]
Rosenschein, J. and Zlotkin, G. 1994. Rules of Encounter: Designing Conventions for Automated Negotiation among Computers. The MIT Press.
[65]
Sbisa, M. 2007. How to read Austin. Pragmat. 17, 3, 461--473.
[66]
Searcy, W. and Nowicki, S. 2005. The Evolution of Animal Communication: Reliability and Deception in Signalling Systems. Princeton University Press, Princeton, NJ.
[67]
Searle, J. R. 1969. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press.
[68]
Searle, J. R. 1995. The Construction of Social Reality. Free Press, New York.
[69]
Siena, A., Armellin, G., Mameli, G., Mylopoulos, J., Perini, A., and Susi, A. 2010. Establishing regulatory compliance for information system requirements: An experience report from the health care domain. In Proceedings of the 29th International Conference on Conceptual Modeling. Lecture Notes in Computer Science, vol. 6412, Springer, 90--103.
[70]
Sierra, C. 2004. Agent-Mediated electronic commerce. Auton. Agents Multi-Agent Syst. 9, 3, 285--301.
[71]
Singh, M. P. 1991. Social and psychological commitments in multiagent systems. In Proceedings of the AAAI Fall Symposium on Knowledge and Action at Social and Organizational Levels. 104--106. http://www.csc.ncsu.edu/faculty/mpsingh/papers.
[72]
Singh, M. P. 1998. Agent communication languages: Rethinking the principles. IEEE Comput. 31, 12, 40--47.
[73]
Singh, M. P. 1999. An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artif. Intell. Law 7, 1, 97--113.
[74]
Singh, M. P. 2000. A social semantics for agent communication languages. In Proceedings of the 1999 IJCAI Workshop on Agent Communication Languages. Lecture Notes in Artificial Intelligence, vol. 1916, Springer, 31--45.
[75]
Singh, M. P. 2002. The pragmatic web. IEEE Internet Comput. 6, 3, 4--5.
[76]
Singh, M. P. 2008. Semantical considerations on dialectical and practical commitments. In Proceedings of the 23rd Conference on Artificial Intelligence (AAAI). AAAI Press, 176--181.
[77]
Skene, J., Raimondi, F., and Emmerich, W. 2009. Service-Level agreements for electronic services. IEEE Trans. Softw. Engin. 36, 2, 288--304.
[78]
Tang, Y., Norman, T. J., and Parsons, S. 2009. A model for integrating dialogue and the execution of joint plans. In Proceedings of the International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09). 883--890.
[79]
Tang, Y. and Parsons, S. 2005. Argumentation-based dialogues for deliberation. In Proceedings of the 4th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'05). ACM Press, New York, 552--559.
[80]
Telang, P. R. and Singh, M. P. 2010. Abstracting and applying business modeling patterns from RosettaNet. In Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC). Lecture Notes in Computer Science, vol. 6470, Springer, 426--440.
[81]
Vanderveken, D. 2005. Logic, Thought and Action. Logic, Epistemology and the Unity of Science. Springer.
[82]
Vazquez-Salceda, J., Aldewereld, H., and Dignum, F. 2005a. Norms in multiagent systems: From theory to practice. Int. J. Comput. Syst. Sci. Engin. 20, 4, 225--236.
[83]
Vazquez-Salceda, J., Dignum, V., and Dignum, F. 2005b. Organizing multiagent systems. Journal of Autonomous Agents and Multi-Agent Systems 11, 3, 307--360.
[84]
Vazquez-Salceda, J., Aldewereld, H., Grossi, D., and Dignum, F. 2008. From human regulations to regulated software agents' behavior. J. Artif. Intell. Law 16, 73--87.
[85]
Walton, D. N. and Krabbe, E. C. W. 1995. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, Albany, NY.
[86]
Winograd, T. and Flores, F. 1986. Understanding Computers and Cognition: A New Foundation for Design. Ablex Publishing, Norwood, NJ.
[87]
Yolum, P. 2007. Design time analysis of multiagent protocols. Data Knowl. Engin. J. 63, 1, 137--154.
[88]
Yolum, P. and Singh, M. P. 2002. Flexible protocol specification and execution: Applying event calculus planning using commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and MultiAgent Systems. ACM Press, New York, 527--534.
[89]
Yolum, P. and Singh, M. P. 2004. Reasoning about commitment in the event calculus: An approach for specifying and executing protocols. Ann. Math. Artif. Intell. 42, 1--3, 227--253.
[90]
Zhang, J. and Cheng, B. H. C. 2006. Model-Based development of dynamically adaptive software. In Proceedings of the 28th International Conference on Software Engineering (ICSE'06). 371--380.

Cited By

View all
  • (2023)Kiko: Programming Agents to Enact Interaction ModelsProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598758(1154-1163)Online publication date: 30-May-2023
  • (2023)Maintenance commitmentsArtificial Intelligence10.1016/j.artint.2023.103993324:COnline publication date: 1-Nov-2023
  • (2018)Architecture and interaction protocol for pedagogical-empathic agents in 3D virtual learning environmentsMultimedia Tools and Applications10.1007/s11042-018-5942-477:20(27661-27684)Online publication date: 1-Oct-2018
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Transactions on Intelligent Systems and Technology
ACM Transactions on Intelligent Systems and Technology  Volume 4, Issue 2
Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
March 2013
339 pages
ISSN:2157-6904
EISSN:2157-6912
DOI:10.1145/2438653
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 April 2013
Accepted: 01 March 2011
Revised: 01 December 2010
Received: 01 August 2010
Published in TIST Volume 4, Issue 2

Permissions

Request permissions for this article.

Check for updates

Author Tag

  1. Communication

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)16
  • Downloads (Last 6 weeks)3
Reflects downloads up to 01 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2023)Kiko: Programming Agents to Enact Interaction ModelsProceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems10.5555/3545946.3598758(1154-1163)Online publication date: 30-May-2023
  • (2023)Maintenance commitmentsArtificial Intelligence10.1016/j.artint.2023.103993324:COnline publication date: 1-Nov-2023
  • (2018)Architecture and interaction protocol for pedagogical-empathic agents in 3D virtual learning environmentsMultimedia Tools and Applications10.1007/s11042-018-5942-477:20(27661-27684)Online publication date: 1-Oct-2018
  • (2017)Emergence of human languageProceedings of the Symposium on Modeling and Simulation of Complexity in Intelligent, Adaptive and Autonomous Systems10.5555/3108414.3108419(1-9)Online publication date: 23-Apr-2017
  • (2017)Analysis of Cyber Interactive Behaviors Using Artificial Community and Computational ExperimentsIEEE Transactions on Systems, Man, and Cybernetics: Systems10.1109/TSMC.2016.261513047:6(995-1006)Online publication date: Jun-2017
  • (2016)Engineering Commitment-based Business Protocols with the 2CL MethodologyProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937108(1259-1260)Online publication date: 9-May-2016
  • (2016)CustardProceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems10.5555/2936924.2937085(1096-1105)Online publication date: 9-May-2016
  • (2016)From Social Machines to Social ProtocolsProceedings of the 25th International Conference on World Wide Web10.1145/2872427.2883018(903-914)Online publication date: 11-Apr-2016
  • (2016)A Framework for Dataset Benchmarking and Its Application to a New Movie Rating DatasetACM Transactions on Intelligent Systems and Technology10.1145/27515657:3(1-28)Online publication date: 11-Feb-2016
  • (2016)A Novel Classification Framework for Evaluating Individual and Aggregate Diversity in Top-N RecommendationsACM Transactions on Intelligent Systems and Technology10.1145/27004917:3(1-21)Online publication date: 1-Feb-2016
  • Show More Cited By

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media