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

  1. Ricardo R. Jorge 1
  2. Gerardo R. Salgado 1
  3. Vianey G. C. Sánchez 1
  1. 1 National Centre of Investigation and Technological Development, Mexico
Libro:
Software and Intelligent Sciences: New Transdisciplinary Findings

Editorial: IGI Global

ISBN: 9781466602618,  9781466602625

Año de publicación: 2012

Páginas: 434-450

Tipo: Capítulo de Libro

DOI: 10.4018/978-1-4666-0261-8.CH025 GOOGLE SCHOLAR lock_openAcceso abierto editor

Resumen

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.

Referencias bibliográficas

  • Chavarría, B. L., & Li, X. (2006). Structural error verification in active rule based systems using Petri nets. Proceedings of the Fifth Mexican International Conference on Artificial Intelligence (MICAI’06) (pp. 12 - 21), Apizaco, Mexico, Nov.
  • Cloete, I., & Zurada, J. (2000). Knowledge-Based Neurocomputing (Eds.). MIT Press, Cambridge, MA.
  • Cruz, S. V. G. (2004). Neural-Symbolic Hybrid System to refine the knowledge of an Artificial Vision System. Master Thesis, Cenidet, Cuernavaca, Morelos, Mexico.
  • Cruz, S. V. G., Reyes, S. G., Vergara, V. O. O., Perez, O. J., & Montes, R. A. (2005). Compilation of symbolic knowledge and integration with numeric knowledge using hybrid systems. Springer Lecture Notes In Computer Science. Proc. 4th Mexican International Conference on Artificial Intelligence (MICAI’05) (pp. 11 – 20), Monterrey, Nuevo León, México, Nov.
  • Cruz, S. V. G., Reyes, S. G., Vergara, V. O. O., & Pinto, E. R. (2006). A Combined Representation to Refine the Knowledge Using a Neuro-Symbolic Hybrid System applied in a Problem of Apple Classification. Proc. 16th IEEE Int. Conf. on Electronics, Communications and Computers (CONIELECOMP-06) (pp. 30-30). Puebla, México, Feb.
  • R.David, (2005), Discrete, continuous and Hybrid Petri nets
  • 10.1016/S0950-5849(03)00058-2
  • 10.1109/TSMCB.2002.999805
  • Murata, T. (1989). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE (pp. 541-580), Illinois, Chicago, USA, April.
  • 10.1109/69.224193
  • 10.1016/S1042-8143(05)80024-X
  • M.Negnevitsky, (2005), Artificial Intelligence. A guide to Intelligent Systems
  • Nikolopoulos, C. (1997). Expert Systems. Bradley University, Peoria Illinois. MARCEL DEKKER, INC.
  • 10.1109/69.591448
  • Ramirez, J., & De Antonio, A. (2001). Checking Integrity Constraints in Reasoning Systems based on Propositions and Relationships. Proceedings of the 13th International Conference on Software Engineering and Knowledge Engineering, SEKE.01 (pp. 188-196), Buenos Aires, Argentina, June.
  • 10.1016/j.knosys.2006.05.019
  • Santos, F. (1998). INSS - Un Système Hybride Neuro-Symbolique pour l’Apprentissage Automatique Constructif, PhD Thesis, LEIBNIZ-IMAG, Grenoble – France.
  • 10.1109/69.755629
  • Vermesan, A. I. (1998). Foundation and Application of Expert System Verification and Validation. The Handbook of Applied Expert Systems. Ed. CRC Press LLC, (pp. 5.1–5.32).
  • Villanueva, T. J., Cruz, S. V. G., Reyes, S. G., & Benítez, A. (2006). Extracting Refined Rules from Hybrid Neuro-Symbolic Systems. Proceedings of the International Joint Conference on Neural Networks (IJCNN’06) (pp. 3021-3025). Vancouver, Canada, July.
  • Wang, Y. (2003). On Cognitive Informatics, Brain and Mind: A Transdisciplinary Journal of Neuroscience and Neorophilisophy, 4(3), 151-167, Kluwer Academic Publishers, August.
  • 10.1007/978-3-540-87563-5_2
  • C.Wu, (2000), Part B., 30, pp. 616
  • C. H.Wu, (1997), Part B., 27, pp. 760
  • Wu, Q., Zhou, C., Wu, J., & Wang, C. (2005). Study on Knowledge Base Verification Based on Petri Nets. International Conference on Control and Automatization (ICCA2005) (pp. 997–1001), Budapest, Hungry.
  • Yang, S. J. H., Lee, A. S., Chu, W. C., & Yang, H. (1998). Rule Base Verification Using Petri Nets. In Proccedings 22-nd Annual Int. Computer Software and Applications Conf. (COMPSAC-98) (pp. 476-481), Vienna, Austria, august.
  • 10.1109/TKDE.2003.1185845