Unified problem modeling language for knowledge engineering of complex systems

The 90’s has seen the emergence of hybrid configurations of four most commonly used intelligent methodologies, namely, symbolic knowledge based systems (e.g. expert systems), artificial neural networks, fuzzy systems and genetic algorithms. These hybrid configurations are used for different problem solving tasks/situations. In this paper we describe unified problem modeling language at two different levels, the task structure level for knowledge engineering of complex data intensive domains, and the computational level of the task level hybrid architecture. Among other aspects, the unified problem modeling language considers various intelligent methodologies and their hybrid configurations as technological primitives used to accomplish various tasks defined at the task structure level. The unified problem modeling language is defined in the form of five problem solving adapters. The problem solving adapters outline the goals, tasks, percepts/inputs, and hard and soft computing methods for modeling complex problems. The task structure level has been applied in modeling several applications in e-commerce, image processing, diagnosis, and other complex, time critical, and data intensive domains. We also define a layered intelligent multi-agent, operating system processes, intelligent technologies with the task structure level associative hybrid architecture. The layered architecture also facilitates component based software modeling process.

[1]  Tharam S. Dillon,et al.  Fusion of knowledge-based systems and neural networks and applications , 1997, Proceedings of 1st International Conference on Conventional and Knowledge Based Intelligent Electronic Systems. KES '97.

[2]  J. Anderson Features of advisory and expert systems , 1989 .

[3]  Jiajie Zhang,et al.  Representations in Distributed Cognitive Tasks , 1994, Cogn. Sci..

[4]  Daniel S. Kirschen,et al.  Intelligent alarm processing in power systems , 1992, Proc. IEEE.

[5]  Ishwar K. Sethi,et al.  Entropy nets: from decision trees to neural networks , 1990, Proc. IEEE.

[6]  Ken-ichi Sato,et al.  Hybridizing a Genetic Algorithm with Rule-Based Reasoning for Production Planning , 1995, IEEE Expert.

[7]  Geoffrey E. Hinton,et al.  A Distributed Connectionist Production System , 1988, Cogn. Sci..

[8]  Kaare Christian UNIX Operating System , 1983 .

[9]  C. Hartshorne,et al.  Collected Papers of Charles Sanders Peirce , 1935, Nature.

[10]  Dieter Fensel,et al.  MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems , 1996, ECAI.

[11]  M. Chiaberge,et al.  Mixing fuzzy, neural and genetic algorithms in an integrated design environment for intelligent controllers , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.

[12]  R. J. Williams,et al.  On the use of backpropagation in associative reinforcement learning , 1988, IEEE 1988 International Conference on Neural Networks.

[13]  Ron Sun,et al.  Integrating Rules and Connectionism for Robust Reasoning , 1990, Dagstuhl Seminar on Parallelization in Inference Systems.

[14]  R. Sun CONSYDERR: a two-level hybrid architecture for structuring knowledge for commonsense reasoning , 1994, Proceedings of 1994 IEEE International Conference on Neural Networks (ICNN'94).

[15]  J. Fodor The Modularity of mind. An essay on faculty psychology , 1986 .

[16]  Tom Carey,et al.  Human-computer interaction , 1994 .

[17]  Edward Yourdon,et al.  Object-oriented analysis , 2012 .

[18]  R. K. Stamper Signs, Organisations, Norms and Information Systems , 1992 .

[19]  Donna L. Hudson,et al.  Use of neural network techniques in a medical expert system , 1991 .

[20]  K. Vairavan,et al.  A knowledge-based alarm processor for an energy management system , 1990 .

[21]  Rajiv Khosla,et al.  Engineering Intelligent Hybrid Multi-Agent Systems , 1997, Springer US.

[22]  Geoffrey E. Hinton,et al.  Learning internal representations by error propagation , 1986 .

[23]  E.H.P. Chan,et al.  Application of neural-network computing in intelligent alarm processing (power systems) , 1989, Conference Papers Power Industry Computer Application Conference.

[24]  B. Chandrasekaran,et al.  Conceptual Representation of Medical Knowledge for Diagnosis by Computer: MDX and Related Systems , 1983, Adv. Comput..

[25]  V. Aldrich,et al.  Signs, Language, and Beahavior , 1947 .

[26]  Stephen I. Gallant,et al.  Connectionist expert systems , 1988, CACM.

[27]  Donald A. Norman,et al.  Cognitive artifacts , 1991 .

[28]  Luc Steels,et al.  Second-Generation Expert Systems , 1985, IEEE Expert.

[29]  Intelligent Multimedia Interfaces, the book is an outgrowth of the AAAI Workshop on Intelligent Multimedia Interfaces, Anaheim, CA, USA, August, 1991 , 1993, Intelligent Multimedia Interfaces.

[30]  Balakrishnan Chandrasekaran,et al.  What kind of information processing is intelligence , 1990 .

[31]  Rajiv Khosla,et al.  Fuzzy logic and knowledge representation in a symbolic-subsymbolic architecture , 1995, Proceedings of ICNN'95 - International Conference on Neural Networks.

[32]  Hideyuki Takagi,et al.  Neural networks designed on approximate reasoning architecture and their applications , 1992, IEEE Trans. Neural Networks.

[33]  Thomas Jackson,et al.  Neural Computing - An Introduction , 1990 .

[34]  C. Morris Signs, Language and Behavior , 1947 .

[35]  Geoffrey E. Hinton Deterministic Boltzmann Learning Performs Steepest Descent in Weight-Space , 1989, Neural Computation.

[36]  A. C. Liew,et al.  Forecasting daily load curves using a hybrid fuzzy-neural approach , 1994 .

[37]  Balakrishnan Chandrasekaran,et al.  What are ontologies, and why do we need them? , 1999, IEEE Intell. Syst..

[38]  Todd R. Johnson,et al.  Task-structure analysis for knowledge modeling , 1992, CACM.

[39]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[40]  Jacek M. Zurada,et al.  Computational Intelligence: Imitating Life , 1994 .

[41]  Geoffrey E. Hinton,et al.  The appeal of parallel distributed processing , 1986 .

[42]  Hisao Ishibuchi,et al.  Interpolation of fuzzy if-then rules by neural networks , 1994, Int. J. Approx. Reason..

[43]  J. Gibson The Ecological Approach to Visual Perception , 1979 .

[44]  Richard S. Sutton,et al.  Neuronlike adaptive elements that can solve difficult learning control problems , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[45]  Ricardo Ribeiro Gudwin,et al.  Computational Semiotics : An Approach for the Study of Intelligent Systems Part I : Foundations , 1998 .

[46]  B. Chandrasekaran,et al.  Towards a Taxonomy of Problem Solving Types , 1983, AI Mag..

[47]  Tharam S. Dillon,et al.  A second generation expert system for fault diagnosis , 1992 .

[48]  Juhani Iivari,et al.  Object-orientation as structural, functional and behavioural modelling: a comparison of six methods for object-oriented analysis , 1995, Inf. Softw. Technol..

[49]  Geoffrey E. Hinton Mapping Part-Whole Hierarchies into Connectionist Networks , 1990, Artif. Intell..

[50]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[51]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[52]  Tharam S. Dillon,et al.  Automated knowledge acquisition , 1994, Prentice Hall International series in computer science and engineering.

[53]  Stephen Grossberg,et al.  The ART of adaptive pattern recognition by a self-organizing neural network , 1988, Computer.

[54]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[55]  Rajiv Khosla,et al.  Neuro-expert system applications in power systems , 1997 .

[56]  Tharam S. Dillon,et al.  A distributed real-time intelligent alarm processing system with symbolic-connectionist computation , 1994, Proceedings of 2nd IEEE Workshop on Real-Time Applications.

[57]  Mark Mayfield,et al.  Object Models: Strategies, Patterns, and Applications , 1995 .

[58]  Teuvo Kohonen,et al.  Self-Organization and Associative Memory , 1988 .

[59]  Luc Steels,et al.  Learning in second generation expert systems , 1986 .

[61]  Dieter Fensel The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods , 1997, EKAW.

[62]  Edward H. P. Chan,et al.  APPLICATION OF NEURAL-NETWORK COMPUTING IN INTELLIGENT ALARM PROCESSING , 1989 .

[63]  J. Weizenbaum Computer Power And Human Reason: From Judgement To Calculation , 1978 .

[64]  Ricardo Ribeiro Gudwin,et al.  An Approach to Computational Semiotics , 1997 .

[65]  Teuvo Kohonen,et al.  The self-organizing map , 1990 .

[66]  Rajesh P. N. Rao,et al.  Dynamic Model of Visual Recognition Predicts Neural Response Properties in the Visual Cortex , 1997, Neural Computation.

[67]  Ivar Jacobson,et al.  The object advantage - business process reengineering with object technology , 1994 .

[68]  Paul M. Churchland Representation and high-speed computation in neural networks , 1990 .

[69]  Earl Cox,et al.  The fuzzy systems handbook - a practitioner's guide to building, using, and maintaining fuzzy systems , 1994 .

[70]  Frédéric Alexandre,et al.  Neurosymbolic Integration: Cognitive Grounds and Computational Strategies , 1995, WOCFAI.

[71]  Tharam S. Dillon,et al.  Use of neural networks for case-retrieval in a system for fashion shoe design , 1995, IEA/AIE '95.

[72]  A. Newell Unified Theories of Cognition , 1990 .

[73]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[74]  Susan I. Hruska,et al.  Back-propagation learning in expert networks , 1992, IEEE Trans. Neural Networks.

[75]  Larry R. Medsker,et al.  Hybrid Intelligent Systems , 1995, Springer US.

[76]  Yasuhisa Hasegawa,et al.  Structure Organization of Hierarchical Fuzzy Model Using Genetic Algorithm , 1995, J. Robotics Mechatronics.

[77]  Rajiv Khosla,et al.  Modeling Information Systems Using Objects, Agents, and Task-Based Problem Solving Adapters , 1999 .

[78]  Balakrishnan Chandrasekaran,et al.  The Ontology of Tasks and Methods , 1997 .

[79]  Mohammad Jamshidi,et al.  Soft computing: fuzzy logic, neural networks, and distributed artificial intelligence , 1994 .

[80]  Bruce F. Wollenberg Feasibility Study for an Energy Management System Intelligent Alarm Processor , 1986 .

[81]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[82]  Rajiv Khosla,et al.  Application of an integrated fuzzy, knowledge-based, connectionistic architecture for fault diagnosis in power systems , 1996, Proceedings of International Conference on Intelligent System Application to Power Systems.

[83]  M. Arbib Brains, Machines, and Mathematics , 1987, Springer US.

[84]  Alan W. Brown Object-oriented databases: Applications in Software Engineering , 1991 .

[85]  Rajiv Khosla,et al.  Learning knowledge and strategy of a neuro-expert system architecture in alarm processing , 1997 .

[86]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[87]  Jerome A. Feldman,et al.  Neural Representation of Conceptual Knowledge. , 1986 .

[88]  Allen Newell,et al.  Physical Symbol Systems , 1980, Cogn. Sci..

[89]  Li-Chen Fu,et al.  Mapping rule-based systems into neural architecture , 1990, Knowl. Based Syst..

[90]  Stephen R. Bourne The Unix System , 1982 .

[91]  Ernesto Damiani,et al.  A human centered agent-based architecture for electronic brokerage , 1999, SAC '99.

[92]  E. Handschin,et al.  Knowledge based alarm handling and fault location in distribution networks , 1991 .

[93]  Minho Lee,et al.  A new neuro-fuzzy identification model of nonlinear dynamic systems , 1994, Int. J. Approx. Reason..

[94]  Salvatore Sessa,et al.  Soft computing agents: new trends for designing autonomous systems , 2002 .

[95]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .