This Article 
 Bibliographic References 
 Add to: 
A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes
January 2006 (vol. 18 no. 1)
pp. 47-62
This paper presents a new complicated-knowledge representation method for the self-reconfiguration of complex systems such as complex software systems, complex manufacturing systems, and knowledgeable manufacturing systems. Herein, new concepts of a knowledge mesh (KM) and an agent mesh (AM) are proposed along with a new KM-based approach to complicated-knowledge representation. KM is the representation of such complicated macroknowledge as an advanced manufacturing mode, focusing on knowledge about the structure, functions, and information flows of an advanced manufacturing system. The multiple set, KM, and the mapping relationships between both, are then formally defined. The union, intersection, and minus operations on the multiple sets are proposed, and their properties proved. Then, the perfectness of a KM, the redundancy set between the two KMs, and the multiple redundancy set on the redundancy set are defined. Three examples are provided to illustrate the concepts of the KM, multiple set, multiple redundancy set, and logical operations. On the basis of the above, the KM-based inference engine is presented. In logical operations on KMs, each KM is taken as an operand. A new KM obtained by operations on KM multiple sets can be mapped into an AM for automatic reconfiguration of complex software systems. Finally, the combination of two real management modes is exemplified for the effective application of the new KM-based method to the self-reconfiguration of complex systems. It is worth mentioning that KM multiple sets can also be taken as a new formal representation of software systems if their corresponding AMs are the real software systems.

[1] H.S. Yan and F. Liu, “Knowledgeable Manufacturing System— A New Kind of Advanced Manufacturing System,” Computer Integrated Manufacturing System, vol. 7, no. 8, pp. 7-11, 2001, (in Chinese).
[2] W.T. Tsai, R. Vishnuvajjala, and D. Zhang, “Verification and Validation of Knowledge-based Systems,” IEEE Trans. Knowledge and Data Eng., vol. 11, no. 1, pp. 202-212, Jan./Feb. 1999.
[3] R.M. Colomb, “Representation of Propositional Expert Systems as Partial Functions,” Artificial Intelligence, vol. 109, nos. 1-2, pp. 187-209, 1999.
[4] H.S. Yan, N.S. Wang, X.Y. Cui, and J.G. Zhang, “Modeling, Scheduling and Control of Flexible Manufacturing Systems by Extended High-Level Evaluation Petri Nets,” IIE Trans., vol. 29, no. 2, pp. 147-158, 1997.
[5] T.V. Manoj, J. Leena, and R.B. Soney, “7Knowledge Representation Using Fuzzy Petri Nets-Revisited,” IEEE Trans. Knowledge and Data Eng., vol. 10, no. 4, pp. 666-667, July/Aug. 1998.
[6] J.Z. Li, J.S. K. Ang, X.J. Tong, and M. Tueni, “AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge,” IEEE Trans. Knowledge and Data Eng., vol. 6, no. 4, pp. 639-643, Aug. 1994.
[7] C.K. Shin, U.T. Yun, H. K. Kim, and S.C. Park, “A Hybrid Approach of Neural Network and Memory-Based Learning to Data Mining,” IEEE Trans. Neural Networks, vol. 11, no. 3, pp. 637-646, 2000.
[8] H.J. Lu, R. Setiono, and H. Liu, “Effective Data Mining Using Neural Networks,” IEEE Trans. Knowledge and Data Eng., vol. 8, no. 6, pp. 957-961, Dec. 1996.
[9] M. Vai and Z.M. Xu, “Representing Knowledge by Neural Networks for Qualitative Analysis and Reasoning,” IEEE Trans. Knowledge and Data Eng., vol. 7, no. 5, pp. 683-690, 1995.
[10] I.A. Taha and J. Ghosh, “Symbolic Interpretation of Artificial Neural Networks,” IEEE Trans. Knowledge and Data Eng., vol. 11, no. 3, pp. 448-463, May/June 1999.
[11] M.W. Bringmann and F.E. Petry, “A Semantic Network Representation of Personal Construct Systems,” IEEE Trans. Systems, Man and Cybernetics, vol. 22, no. 5, pp. 1161-1168, 1992.
[12] M.N. Omri, “Fuzzy Knowledge Representation, Learning, and Optimization with Bayesian Analysis in Fuzzy Semantic Networks,” Proc. Sixth Int'l Conf. Neural Information Processing, vol. 1, pp. 412-417, Nov. 1999.
[13] A. Borgida, “Description Logics in Data Management,” IEEE Trans. Knowledge and Data Eng., vol. 7, no. 5, pp. 671-682, Oct. 1995.
[14] A. Artale and E. Franconi, “Introducing Temporal Description Logics,” Proc. Sixth Int'l Workshop Temporal Representation and Reasoning, pp. 2-5, May 1999.
[15] D. Calvanese, G. De Giacomo, and M. Lenzerini, “Description Logics: Foundations for Class-Based Knowledge Representation,” Proc. 17th Ann. IEEE Symp. Logic in Computer Science, pp. 359-370, July 2002.
[16] C. Brewster and K. O'Hara, “Knowledge Representation with Ontologies: The Present and Future,” IEEE Intelligent Systems, vol. 19, no. 1, pp. 72-81, 2004.
[17] S. Ram and J. Park, “Semantic Conflict Resolution Ontology (SCROL): An Ontology for Detecting and Resolving Data and Schema-Level Semantic Conflicts,” IEEE Trans. Knowledge and Data Eng., vol. 16, no. 2, pp. 189-202, Feb. 2004.
[18] K. Eneroth and A. Malm, “Knowledge Webs and Generative Relations: A Network Approach to Developing Competencies,” European Management J., vol. 19, no. 2, pp. 174-182, 2001.
[19] J.L. Aguirre, R. Brena, and F.J. Cantu, “Multiagent-Based Knowledge Networks,” Expert Systems with Applications, vol. 20, no. 1, pp. 65-75, 2001.
[20] C.G. Xue and H.S. Yan, “A Study on Self-Reconfiguration of a Knowledgeable Manufacturing System,” Proc. Inst. of Mechanical Eng. Part B: J. Eng. Manufacture, vol. 218, no. B11, pp. 1601-1617, 2004.
[21] C.G. Xue, “Research into the Self-Reconfiguration of Knowledgeable Manufacturing System,” PhD Dissertation, Southeast Univ., 2005, (in Chinese).
[22] H.S. Yan and C.G. Xue, “Automatic Construction and Optimization of Knowledge Mesh for Self-reconfiguration of Knowledgeable Manufacturing System Software,” IEEE Trans. Software Eng., 2005, (submitted).
[23] Y.B. Wang, H.S. Yan, L.W. Ma, and C.G. Xue, “Design of Knowledge Mesh Database of Knowledgeable Manufacturing System,” J. Southeast Univ. (Natural Science Ed.), vol. 34, pp. 24-29, 2004, (in Chinese).
[24] Y.B. Wang, “Research and Development of the Self-Reconfiguration Subsystem of the Knowledgeable Manufacturing System on . NET Platform,” MS thesis, Southeast Univ., 2005, (in Chinese).

Index Terms:
Index Terms- Knowledge and data engineering tools and techniques, complicated knowledge representation, knowledge mesh, agent mesh, formal representation of software systems.
Hong-Sen Yan, "A New Complicated-Knowledge Representation Approach Based on Knowledge Meshes," IEEE Transactions on Knowledge and Data Engineering, vol. 18, no. 1, pp. 47-62, Jan. 2006, doi:10.1109/TKDE.2006.2
Usage of this product signifies your acceptance of the Terms of Use.