An interaction framework for multiagent systems

A multiagent system is a system that is composed of multiple autonomous agents. Autonomous agents are given the right and the responsibility to make decisions based on their perceptions and goals. Agents are also constrained by their capabilities, the environment and the system with which they reside. An agent within the system may need to coordinate with another agent in the system. This coordination may allow the agent to give updates from sensor readings, communicate updated map information or allow the agent to work on a cooperative task such as lifting an object. To coordinate agents must be able to communicate with one another. To communicate agents must have a communication medium. The medium is the conduit through which the information flows. Additionally there must be a set of rules to govern which agent talks at what time. This set of rules is called a communication protocol. To effectively and efficiently communicate all agents participating in the communication must be using compatible protocols. Robotic agents can be placed in diverse environment and there are multiple avenues for communication failure. Current multiagent systems use fixed communication protocols to allow agents to interact with one another. Using fixed protocols in an error prone environment can lead to a high rate of system failure. To address these issues, I propose that a formal framework for interaction be defined. The framework should allow agents to choose new interaction protocols when the current protocol they are using fails. A formal framework allows automated tools to reason over the possible choices of interaction protocols. The tools can enumerate the protocols that will allow the agent to achieve its desired goal.

[1]  Andrzej Bargiela,et al.  An approach to rollback recovery of collaborating mobile agents , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[2]  Doo-Soon Park,et al.  FRASystem: fault tolerant system using agents in distributed computing systems , 2011, Cluster Computing.

[3]  Hector J. Levesque,et al.  On Acting Together , 1990, AAAI.

[4]  David Garlan,et al.  Rainbow: architecture-based self-adaptation with reusable infrastructure , 2004 .

[5]  W. Bodmer Principles of Scientific Management , 1993, FASEB journal : official publication of the Federation of American Societies for Experimental Biology.

[6]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[7]  Scott A. DeLoach,et al.  THE MASE METHODOLOGY , 2006 .

[8]  Kazuhiro Kuwabara,et al.  AgenTalk: describing multiagent coordination protocols with inheritance , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.

[9]  Jorge J. Gómez-Sanz,et al.  FAML: A Generic Metamodel for MAS Development , 2009, IEEE Transactions on Software Engineering.

[10]  Robbert van Renesse,et al.  Horus: a flexible group communication system , 1996, CACM.

[11]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[12]  Philip R. Cohen,et al.  STAPLE: An agent programming language based on the joint intention theory , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[13]  Marco Platzner,et al.  Towards Adaptive Networking for Embedded Devices based on Reconfigurable Hardware , 2010, ERSA.

[14]  Mark E. Stickel A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler , 1986, CADE.

[15]  Gary T. Leavens,et al.  A Simple and Practical Approach to Unit Testing: The JML and JUnit Way , 2002, ECOOP.

[16]  John Mylopoulos,et al.  An Architecture for Requirements-Driven Self-reconfiguration , 2009, CAiSE.

[17]  Idit Keidar,et al.  Distributed computing column 42: game theory and fault tolerance in distributed computing , 2011, SIGACT News.

[18]  Gerard J. Holzmann,et al.  Automating software feature verification , 2000, Bell Labs Technical Journal.

[19]  Gauthier Picard,et al.  ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering , 2002, ESAW.

[20]  Yijun Yu,et al.  An automated approach to monitoring and diagnosing requirements , 2007, ASE.

[21]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[22]  Tieniu Tan,et al.  Multi-agent visual surveillance of dynamic scenes , 1998, Image Vis. Comput..

[23]  Michael Winikoff,et al.  Goals in agent systems: a unifying framework , 2008, AAMAS.

[24]  Scott H. Clearwater,et al.  A Multi-Agent System for Controlling Building Environments , 1995, ICMAS.

[25]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[26]  Scott A. DeLoach,et al.  Analysis and Design using MaSE and agentTool , 2001 .

[27]  Philippe Massonet,et al.  GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[28]  José Meseguer,et al.  The Maude LTL Model Checker and Its Implementation , 2003, SPIN.

[29]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[30]  Scott A. DeLoach,et al.  A Goal Model for Adaptive Complex Systems , 2009 .

[31]  Michael Winikoff,et al.  Hermes: Designing Goal-Oriented Agent Interactions , 2005, AOSE.

[32]  Gerald Gazdar,et al.  Natural Language Processing in PROLOG: An Introduction to Computational Linguistics , 1989 .

[33]  Claude E. Shannon,et al.  The mathematical theory of communication , 1950 .

[34]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[35]  Tucker R. Balch,et al.  Communication in reactive multiagent robotic systems , 1995, Auton. Robots.

[36]  Samir Aknine,et al.  Dynamic Protocol Selection in Open and Heterogeneous Systems , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[37]  José C. Cunha,et al.  A coordination language for collective agent based systems: GroupLog , 2000, SAC '00.

[38]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[39]  Michael Winikoff,et al.  Implementing commitment-based interactions , 2007, AAMAS '07.

[40]  Philip R. Cohen,et al.  Representing and executing protocols as joint actions , 2002, AAMAS '02.

[41]  Ilkka Tuomi,et al.  Data is more than knowledge: implications of the reversed knowledge hierarchy for knowledge management and organizational memory , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[42]  Roy H. Campbell,et al.  Cerberus: a context-aware security scheme for smart spaces , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

[43]  John Mylopoulos,et al.  Reasoning about agents and protocols via goals and commitments , 2010, AAMAS.

[44]  Pierre Sens,et al.  Towards Adaptive Fault-Tolerance For Distributed Multi-Agent Systems , 2001 .

[45]  Dorothy E. Leidner,et al.  Review: Knowledge Management and Knowledge Management Systems: Conceptual Foundations and Research Issues , 2001, MIS Q..

[46]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[47]  Scott A. DeLoach,et al.  Automatic Verification of Multiagent Conversations , 2000 .

[48]  Franco Zambonelli,et al.  A Study of Some Multi-agent Meta-models , 2004, AOSE.

[49]  Michael Winikoff,et al.  Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.

[50]  Michael Wooldridge,et al.  Model checking multi-agent systems with MABLE , 2002, AAMAS '02.

[51]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[52]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[53]  D. Stenmark Information vs. knowledge: the role of intranets in knowledge management , 2002, Proceedings of the 35th Annual Hawaii International Conference on System Sciences.

[54]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[55]  Amal El Fallah Seghrouchni,et al.  Open protocol design for complex interactions in multi-agent systems , 2002, AAMAS '02.

[56]  Philippe Roussel,et al.  The birth of Prolog , 1993, HOPL-II.

[57]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[58]  J. Fitzmaurice Economy and Society , 1998 .

[59]  Scott A. DeLoach,et al.  Omacs: A Framework for Adaptive, Complex Systems , 2009, Handbook of Research on Multi-Agent Systems.

[60]  Xiang Fu,et al.  WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.

[61]  Scott A. DeLoach,et al.  Engineering Organization-Based Multiagent Systems , 2005, SELMAS.

[62]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[63]  Sara Baase A gift of fire , 2003 .

[64]  André Schiper,et al.  Appia vs. Cactus: comparing protocol composition frameworks , 2003, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings..

[65]  Kenneth L. McMillan,et al.  Symbolic model checking: an approach to the state explosion problem , 1992 .

[66]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.

[67]  K. Miller Organizational Communication: Approaches and Processes , 2002 .

[68]  Victor R. Lesser,et al.  Communication decisions in multi-agent cooperation: model and experiments , 2001, AGENTS '01.

[69]  Chris Mellish,et al.  Natural Language Processing in Pop-11: An Introduction to Computational Linguistics , 1989 .

[70]  Roy Friedman,et al.  The Maestro Group Manager: A Structuring Tool For Applications With Multiple Quality of Service Requirements , 1997 .

[71]  Scott A. DeLoach,et al.  O-MaSE: A Customizable Approach to Developing Multiagent Development Processes , 2007, AOSE.

[72]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[73]  Bernhard Rumpe,et al.  Domain specific modeling , 2005, Software & Systems Modeling.

[74]  I. Nonaka,et al.  The Knowledge Creating Company , 2008 .

[75]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[76]  Joseph R. Cavallaro,et al.  Robotic fault detection and fault tolerance: A survey , 1994 .

[77]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[78]  Dell Hymes,et al.  Foundations of Sociolinguistics: An Ethnographic Approach , 1980 .

[79]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[80]  Pim Kars The application of Promela and Spin in the BOS project , 1996, The Spin Verification System.

[81]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[82]  Yasuyuki Tahara,et al.  IOM/T: an interaction description language for multi-agent systems , 2005, AAMAS '05.

[83]  Scott A. DeLoach,et al.  The O-MASE Methodology , 2014, Handbook on Agent-Oriented Design Processes.

[84]  Matthew B. Dwyer,et al.  Bogor: an extensible and highly-modular software model checking framework , 2003, ESEC/FSE-11.

[85]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[86]  John Mylopoulos,et al.  Adaptation in Open Systems: Giving Interaction Its Rightful Place , 2010, ER.

[87]  Massimo Cossentino,et al.  From Requirements to Code with PASSI Methodology , 2005 .

[88]  Sarah Trenholm,et al.  Interpersonal Communication -6/E. , 2010 .

[89]  Anna Perini,et al.  Operational semantics of goal models in adaptive agents , 2009, AAMAS.

[90]  Alan D. Smith,et al.  Information management of automatic data capture: an overview of technical developments , 2002, Inf. Manag. Comput. Secur..

[91]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[92]  Cyrille Artho,et al.  Cache-Based Model Checking of Networked Applications: From Linear to Branching Time , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

[93]  Lin Wang,et al.  A Fault-Tolerant Multi-agent Development Framework , 2004, ISPA.

[94]  Philip R. Cohen,et al.  Towards a fault-tolerant multi-agent system architecture , 2000, AGENTS '00.

[95]  Sergio Mena,et al.  Protocol Composition Frameworks A Header-Driven Model , 2005, Fourth IEEE International Symposium on Network Computing and Applications.

[96]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[97]  Stephanie Rosenthal,et al.  An effective personal mobile robot agent through symbiotic human-robot interaction , 2010, AAMAS.

[98]  Munindar P. Singh,et al.  Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols , 2004, Annals of Mathematics and Artificial Intelligence.

[99]  Frank R. Abate,et al.  The new Oxford American dictionary , 2001 .

[100]  Gerhard Weiss,et al.  Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .