An Enhanced Petri Net Model to Verify and Validate a Neural-Symbolic Hybrid System

As the Neural-Symbolic Hybrid Systems (NSHS) gain acceptance, it increases the necessity to guarantee the automatic validation and verification of the knowledge contained in them. In the past, such processes were made manually. In this article, an enhanced Petri net model is presented to the detection and elimination of structural anomalies in the knowledge base of the NSHS. In addition, a reachability model is proposed to evaluate the obtained results of the system versus the expected results by the user. The validation and verification method is divided in two stages: 1) it consists of three phases: rule normalization, rule modeling and rule verification. 2) It consists of three phases: rule modeling, dynamic modeling and evaluation of results. Such method is useful to ensure that the results of a NSHS are correct. Examples are presented to demonstrate the effectiveness of the results obtained with the method. [Article copies are available for purchase from InfoSci-on-Demand.com]

[1]  Angélica de Antonio Jiménez,et al.  Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships , 2001, SEKE.

[2]  T. V. Geetha,et al.  Requirements Elicitation by Defect Elimination: An Indian Logic Perspective , 2009, Int. J. Softw. Sci. Comput. Intell..

[3]  Changle Zhou,et al.  Study on knowledge base verification based on Petri nets , 2005, 2005 International Conference on Control and Automation.

[4]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Static and Dynamic Behaviors , 2010, Int. J. Softw. Sci. Comput. Intell..

[5]  Yingxu Wang.  On Cognitive Informatics , 2003 .

[6]  J. Palous,et al.  Machine Learning and Data Mining , 2002 .

[7]  Gerardo Reyes,et al.  Extracting Refined Rules from Hybrid Neuro-Symbolic Systems , 2006, The 2006 IEEE International Joint Conference on Neural Network Proceedings.

[8]  Marco Luca Sbodio,et al.  Symbiotic Aspects in e-Government Application Development , 2010, Int. J. Softw. Sci. Comput. Intell..

[9]  William C. Chu,et al.  A new approach to verify rule-based systems using petri net , 2003, Inf. Softw. Technol..

[10]  Fernando Santos Osório,et al.  INSS : un système hybride neuro-symbolique pour l'apprentissage automatique constructif , 1998 .

[11]  Lalitha Rangarajan,et al.  Comparison of Promoter Sequences Based on Inter Motif Distance , 2011, Int. J. Softw. Sci. Comput. Intell..

[12]  Yingxu Wang,et al.  The Formal Design Model of a Real-Time Operating System (RTOS+): Conceptual and Architectural Frameworks , 2010, Int. J. Softw. Sci. Comput. Intell..

[13]  Wei-Tek Tsai,et al.  Verification and Validation of Knowledge-Based Systems , 1999, IEEE Trans. Knowl. Data Eng..

[14]  Derek L. Nazareth,et al.  Investigating the Applicability of Petri Nets for Rule-Based System Verification , 1993, IEEE Trans. Knowl. Data Eng..

[15]  Adam E. Gaweda,et al.  Machine Learning in Personalized Anemia Treatment , 2010 .

[16]  Azucena Montes Rendón,et al.  Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems , 2005, MICAI.

[17]  Yingxu Wang,et al.  On Contemporary Denotational Mathematics for Computational Intelligence , 2008, Trans. Comput. Sci..

[18]  Mysore Ramaswamy,et al.  Using Directed Hypergraphs to Verity Rule-Based Expert Systems , 1997, IEEE Trans. Knowl. Data Eng..

[19]  William C. Chu,et al.  Rule base verification using Petri nets , 1998, Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241).

[20]  Xiaoou Li,et al.  Structural Error Verification in Active Rule-Based Systems using Petri Nets , 2006, 2006 Fifth Mexican International Conference on Artificial Intelligence.

[21]  Fuchun Sun,et al.  Four-Channel Control Architectures for Bilateral and Multilateral Teleoperation , 2011, Int. J. Softw. Sci. Comput. Intell..

[22]  Gerardo Reyes Salgado,et al.  A Combined Representation to Refine the Knowledge Using a Neuro-Symbolic Hybrid System applied in a Problem of Apple Classification , 2006, 16th International Conference on Electronics, Communications and Computers (CONIELECOMP'06).

[23]  Emilio Soria Olivas,et al.  Handbook of Research on Machine Learning Applications and Trends : Algorithms , Methods , and Techniques , 2009 .

[24]  Angélica de Antonio Jiménez,et al.  Checking the consistency of a hybrid knowledge base system , 2007, Knowl. Based Syst..

[25]  Jeffrey J. P. Tsai,et al.  Fuzzy Rule Base Systems Verification Using High-Level Petri Nets , 2003, IEEE Trans. Knowl. Data Eng..

[26]  Wei-Ying Ma,et al.  Annotating Images by Mining Image Search , 2009, Semantic Mining Technologies for Multimedia Databases.

[27]  Takuya Maekawa,et al.  Estimating which Object Type a Sensor Node is Attached to in Ubiquitous Sensor Environment , 2010, Int. J. Softw. Sci. Comput. Intell..

[28]  Rainer Knauf,et al.  A framework for validation of rule-based systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[29]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[30]  Derek L. Nazareth,et al.  Verification of rule-based knowledge using directed graphs , 1991 .