Abstract
The ongoing development of deep learning systems has generated novel use cases with abundant potential. However, identifying the criteria under which these use cases are developed remains an intractable problem from the point of view of verification and validation of these systems. This problem is notorious for traditional neural networks. Fuzzy-neural networks, genetic-fuzzy trees, and neuro-fuzzy inference systems are types of fuzzy networks that represent a bridge in the gap between fuzzy inference and traditional inference models popularly used in deep learning systems. In recent years, research into the development of fuzzy network systems has revealed that these possess an innate capability for verification and validation (V &V), even for non-deterministically derived systems e.g. genetic-fuzzy trees, in a way that traditional neural networks do not. This paper presents a framework referred to as formal descriptive modeling (FDM) for extracting these criteria from a fuzzy network of any shape or size and trained under any conditions. A model use case is presented in the form of V &V of a sample fuzzy network designed to administer controls to a flight sub-system for a material transfer problem with certain model requirements. The extraction and identification of internal system criteria, application of those to external human-derived design criteria, and the methodology for deriving the logical principles defining those criteria are demonstrated in reference to the sample problem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Szegedy, C., et al.: Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)
Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples. arXiv preprint arXiv:1412.6572 (2014)
Boeing. 737 Max Software System Safety Analysis Report (2019). https://www.boeing.com/
Makó, S., Pilat, M., Šváb, P., Kozuba, J., Cicváková, M.: Evaluation of MCAS System. Acta Avionica J. 21–28 (2020). https://doi.org/10.35116/aa.2020.0003
Talpur, N., Abdulkadir, S.J., Alhussian, H., et al.: Deep neuro-fuzzy system application trends, challenges, and future perspectives: a systematic survey. Artif. Intell. Rev. 56, 865–913 (2023). https://doi.org/10.1007/s10462-022-10188-3
Souza, P.V.C.: Fuzzy neural networks and neuro-fuzzy networks: a review of the main techniques and applications used in the literature. Appl. Soft Comput. 92, 106275 (2020). https://doi.org/10.1016/j.asoc.2020.106275
Arnett, T.J.: Iteratively Increasing Complexity During Optimization for Formally Verifiable Fuzzy Systems [Doctoral dissertation, University of Cincinnati]. OhioLINK Electronic Theses and Dissertations Center (2019). http://rave.ohiolink.edu/
Zimmermann, H.-J.: Fuzzy Set Theory and Its Applications. Springer, Berlin (1996)
Roques, P.: Systems Architecture Modeling with the Arcadia Method: A Practical Guide to Capella (1st ed.). Elsevier (2017). ISBN: 9781785481680 (hardcover), 9780081017920 (ebook)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Macmann, O., Graves, R., Cohen, K. (2023). Formal Descriptive Modeling for Self-verification of Fuzzy Network Systems. In: Cohen, K., Ernest, N., Bede, B., Kreinovich, V. (eds) Fuzzy Information Processing 2023. NAFIPS 2023. Lecture Notes in Networks and Systems, vol 751. Springer, Cham. https://doi.org/10.1007/978-3-031-46778-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-031-46778-3_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-46777-6
Online ISBN: 978-3-031-46778-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)