Schema-based conversation modeling for agent-oriented manufacturing systems

Abstract In agent-oriented manufacturing systems, an efficient and flexible computational conversation model can enable more effective and robust communication, cooperation, and negotiation among agents. This paper therefore describes a schema-based agent conversation model for intelligent agent-oriented manufacturing systems. Conversation schemata are constructed by (1) identifying agent types and their interactions; (2) capturing and formalizing interaction constraints; (3) verifying schemata using colored petri net (CPN) (to prevent deadlock and livelock of conversations); (4) translating the schemata into production rule sets and Java thread classes; (5) identifying inter-schema relationships and building class hierarchies of schemata; (6) constructing conversation managers (CMs) to control and coordinate the schema thread-based dynamic execution. An application example in distributed production planning, implemented in the Java environment, shows the effectiveness of the method.

[1]  H. V. Parunak Chapter 10 – Manufacturing Experience with the Contract Net , 1987 .

[2]  Jeffrey M. Bradshaw,et al.  KAoS: toward an industrial-strength open agent architecture , 1997 .

[3]  Jay M. Tenenbaum,et al.  An intelligent agent framework for enterprise integration , 1991, IEEE Trans. Syst. Man Cybern..

[4]  Timothy W. Finin,et al.  A semantics approach for KQML—a general purpose communication language for software agents , 1994, CIKM '94.

[5]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[6]  David R. Traum,et al.  Discourse Obligations in Dialogue Processing , 1994, ACL.

[7]  Weiming Shen,et al.  A Schema-Based Approach to Specifying Conversation Policies , 2000, Issues in Agent Communication.

[8]  Reid G. Smith,et al.  The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver , 1980, IEEE Transactions on Computers.

[9]  Luc Bongaerts,et al.  Reference architecture for holonic manufacturing systems: PROSA , 1998 .

[10]  Michael Wooldridge,et al.  Production Sequencing as Negotiation , 1996, PAAM.

[11]  Shu-Cherng Fang,et al.  A fuzzy due-date bargainer for the make-to-order manufacturing systems , 1998, IEEE Trans. Syst. Man Cybern. Part C.

[12]  T.C.E. Cheng,et al.  Survey of scheduling research involving due date determination decisions , 1989 .

[13]  Nicholas R. Jennings,et al.  How Agents Do It in Stream Logic Programming , 1995, ICMAS.

[14]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[15]  Anshu Mehra,et al.  An integrated development environment for distributed multi-agent applications , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[16]  Tapio Heikkilä,et al.  Software development for holonic manufacturing systems , 1998 .

[17]  Douglas H. Norrie,et al.  Multi-agent Mediator architecture for distributed manufacturing , 1996, J. Intell. Manuf..

[18]  Toshinori Suzuki,et al.  A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets , 1990, IEEE Trans. Software Eng..

[19]  Afsaneh Haddadi,et al.  Communication and Cooperation in Agent Systems: A Pragmatic Theory , 1996 .

[20]  Afsaneh Haddadi,et al.  Communication and Cooperation in Agent Systems , 1995, Lecture Notes in Computer Science.

[21]  Luc Bongaerts,et al.  IMS Test Case 5: Holonic Manufacturing Systems , 1994 .

[22]  Monica S. Lam,et al.  Jade: a high-level, machine-independent language for parallel programming , 1993, Computer.

[23]  Frank von Martial Coordinating Plans of Autonomous Agents , 1992, Lecture Notes in Computer Science.

[24]  Yoav Shoham Agent-Oriented Programming , 1993, Artif. Intell..

[25]  Mark S. Fox,et al.  Coordinating multiple agents in the supply chain , 1996, Proceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises.

[26]  Douglas H. Norrie,et al.  Intelligent agent systems for manufacturing applications , 1993, J. Intell. Manuf..

[27]  Mark R. Cutkosky,et al.  PACT: an experiment in integrating concurrent engineering systems , 1993, Computer.