Proceedings of the 8th international conference on Artificial intelligence and law
A methodology for certification of modeling and simulation applications
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Proceedings of the 34th conference on Winter simulation: exploring new frontiers
| Hi-index | 0.00 |
Research in verification and validation (V&V) of knowledge-based systems (KBS) has emerged as a distinct field in the last decade and is intended to address issues associated with KBS quality aspects and to credit such applications to the same degree as conventional applications. Part of the knowledge and techniques developed are now ready to be transferred to industry for the implementation of Software Certification. Certification is probably the most advanced use of the V&V methods, techniques and knowledge that have been developed so far. This paper approaches the challenging issues of certifying the knowledge base (KB) component of a KBS. KB certification uses a number of different certification methods such as static analysis, testing, inspection, and modeling to assess the quality of the KB component. Although these methods are currently used in KBS development, it is not yet clear how they would be applied by an independent certification organization to arrive at a pass/fail decision. This article discusses the components of KB certification and identifies application areas directly connected with industrial needs.