This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems
January/February 2003 (vol. 15 no. 1)
pp. 103-117

Abstract—A theoretical grounding is provided for a Cooperating Knowledge-Based Systems (CKBS) model which is based upon agents, cooperation blocks, and cooperation block hierarchies. Our model describes the requirements for task decomposition, negotiation, cooperation and coordination, fault tolerance, and recoverability, these requirements in turn defining a holonic system. The behavioral properties of our model are described using state transition diagrams and properties of correctness and termination are proven.

[1] S. Balasubramanian and D. Norrie, “A Multiagent Architecture for Concurrent Eng.,” Concurrent Engineering: Research and Applications, vol. 4, pp. 7-16, 1996.
[2] R.P. Bonasso, R.J. Firby, E. Gat, D. Kortenkamp, D. Miller, and M. Slack, “Experiences with an Architecture for Intelligent Reactive Agents,” J. Experimental and Theoretical Artificial Intelligence, vol. 9, pp. 237-256, 1997.
[3] M.E. Bratman, Intentions, Plans and Practical Reason. Harvard Univ. Press, 1987.
[4] M.E. Bratman, “Plans and Resource Bounded Practical Reasoning,” Computational Intelligence, vol. 4, pp. 349-355, 1998.
[5] J. Christensen, “Holonic Manufacturing Systems,” technical report, Rockwell Automation, 1998, ftp://hms@ifwpd7.ifw.uni-hannover.de/hms-wps/ wp1-seng/html/t1d11f.htm, May 1999.
[6] C.J. Date, An Introduction to Database Systems. Addison-Wesley, 1995.
[7] Proc. Second Int'l Working Conf. Cooperating Knowledge-Based Systems. S.M. Deen, ed., 1994.
[8] S.M. Deen, “An Architectural Framework for CKBS Applications,” IEEE Trans. Knowledge and Data Eng., vol. 8, pp. 663-671, 1996.
[9] S.M. Deen, “A Database Perspective to a Cooperation Environment,” Proc. Int'l Workshop Cooperative Information Agents, P. Kanzia and M. Klusch, eds., pp. 19-41, 1997.
[10] S.M. Deen, “A Fault Tolerant Cooperative Distributed System,” IEEE Database and Expert Systems Applications Workshop, R. Wagner, ed., 1998.
[11] S.M. Deen and C.A. Johnson, “Towards a Theoretical Foundation for Cooperating Knowledge Based Systems,” Proc. 11th Int'l Symp. Methodologies for Intelligent Systems, June 1999.
[12] S.M. Deen, “A Computational Model for a Cooperating Agent System,” technical report, DAKE Group, Computer Science Dept., Keele Univ., 1999.
[13] FIPA: Foundation of Intelligent Physical Agents.,http:/www.fipa.org, May 1999.
[14] M. Fisher, “Specifying and Executing Protocols for Cooperative Action,” Proc. Second Int'l Working conf. Cooperating Knowledge-Based Systems, pp. 295-306, 1994.
[15] M. Fletcher, “A Critique of Holonic Manufacturing Systems: Architectural Requirements and Standards,” technical report, DAKE Group, Computer Science Dept., Keele Univ., 1998.
[16] “Holonic Systems Architecture,” M. Fletcher ed., technical report, DAKE Group, Computer Science Dept., Keele Univ., 1998.
[17] “Function Blocks for Industrial Process-Measurement and Control Systems, Part 1: Architecture,” technical report, Int'l Electrotechnical Commission, 1997. ftp://ftp.ab.com/stds/iec/tc65wg6/document pt1cd2.doc, May 1999.
[18] N. Fujita, “Negotiation Scheme for Motion Planning,” technical report, Toshiba Corp., 1998.
[19] A. Haddadi, “A Hybrid Architecture for Multiagent Systems,” Proc. Cooperating Knowledge-Based Systems-SIG, S.M Deen, ed., pp. 13-26, 1993.
[20] A. Haddadi, Communication and Cooperation in Agent Systems—A Pragmatic Theory. Springer, 1996.
[21] H. Haugeneder, “IMAGINE: A Framework for Building Multiagent Systems,” Proc. Second Int'l Working conf. Cooperating Knowledge-Based Systems, pp. 31-64, 1994.
[22] The IMS (Intelligent Manufacturing Systems) is an international program with the participation of major industries, universities, and research institutes from six regions: Australia, Japan, EFTA countries, EU countries, Canada, and USA. It is intended as a ten year precompetitive research program from about 1994. It has several projects, one of which is the Holonic Manufacturing Systems (HMS) program for high-variety low-volume manufacturing in a largely unmanned environment.
[23] D. Jarvis, “Quality Control Holonic Manufacturing Systems,” technical report, CSIRO, Australia, 1998.
[24] N.R. Jennings, “The ARCHON Project and its Applications,” Proc. Second Int'l Working Conf. Cooperating Knowledge-Based Systems, pp. 13-30, 1994.
[25] N.R. Jennings, “Controlling Cooperative Problem Solving in Industrial Multiagent Systems Using Joint Intentions,” Artificial Intelligence, vol. 74, pp. 195-240, 1995.
[26] A. Lux and D.D. Steiner, “Understanding Cooperation—An Agent's Perspectives,” Readings in Agents, M.N. Huhns and M.P. Singh, eds., pp 471-480, Morgan Kaufmann, 1997.
[27] F.P. Maturana, “MetaMorph: An Adaptive Multiagent Architecture for Advanced Manufacturing Systems,” doctorial dissertation, Dept. of Mechanical Eng., Univ. of Calgary, Canada, 1997.
[28] J.P. Mueller, “A Conceptual Model for Agent Interaction,” Proc. Second Int'l Working Conf. Cooperative Knowledge Based Systems (CKBS-94), S.M. Deen, ed., pp. 213-234. 1994.
[29] J.P. Müller, The Design of Intelligent Agents: A Layered Approach Lecture Notes in Artificial Intelligence, vol. 1177, Berlin: Springer, 1997.
[30] D.J. Musliner, E. Durfee, and K. Shin, “CIRCA: A Cooperative Intelligent, Real Time Control Architecture,” IEEE Trans. Systems, Man, and Cybernetics, vol. 23, pp. 1561-1574, 1993.
[31] D.J. Musliner, J.A. Hendler, A.K. Agrawala, E.H. Durfee, J.K. Strosnider, and C.J. Paul, “The Challenges of Real Time AI,” Computer, vol. 28, 1995.
[32] T. Neligwa, “An Investigation into the CORBA Environment for Holonic Manufacturing Systems,” technical report, DAKE Group, Computer Science Dept., Keele Univ., 1998.
[33] H.V.D. Parunak, “The AARIA Agent Architecture,” Proc. ICAA Workshop Agent-Based Manufacturing, 1998.
[34] H.V.D. Parunak, “Practical and Industrial Application of Agent-Based Systems,” technical report, The Industrial Technology Inst., 1998.
[35] A.S. Rao and M.P. Georgeff, “Modeling Agents within a BDI Architecture,” Proc. Knowledge Representation '91, R. Fikes and E. Sandewall, eds., pp. 473-484, 1991.
[36] A.S. Rao and M.P. Georgeff, “BDI Agents—From Theory to Practice,” Proc. First Int'l Conf. Multiagent Systems, 1995.
[37] J.R. Searle, Speech Act. Cambridge Univ. Press, 1969.
[38] Y. Shoham, "Agent-Oriented Programming," Artificial Intelligence, Vol. 60, No. 1, 1993, pp. 139-159.
[39] M.P. Singh, Multiagent Systems: A Theoretical Framework for Intentions, Know-How and Communications. Springer, 1994.
[40] R.G. Smith, “The Contract Net Protocol: High Level Communication and Control in a Distributed Problem Solver,” IEEE Trans. Computers, vol. 29, no. 12, pp. 1104-1113, Dec. 1980.
[41] M. Woolridge and N.R. Jennings, “Formalising the Cooperative Problem Solving Process,” Readings in Agents, M.N. Huhns and M.P Singh, eds., pp. 430-440, Morgan Kaufmann, 1997.

Index Terms:
Cooperating Knowledge Based Systems (CKBS), cooperation blocks, task decomposition, negotiation, cooperation, coordination, fault tolerance, recoverability, holonic systems.
Citation:
S.M. Deen, C.A. Johnson, "Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems," IEEE Transactions on Knowledge and Data Engineering, vol. 15, no. 1, pp. 103-117, Jan.-Feb. 2003, doi:10.1109/TKDE.2003.1161585
Usage of this product signifies your acceptance of the Terms of Use.