EXPERT SYSTEM VERIFICATION AND VALIDATION PARADIGM DEVELOPMENT

THE PROPOSED RESEARCH WILL RESULT IN THE DEVELOPMENT OF EXPERT SYSTEM VERIFICATION AND VALIDATION PARADIGMS, IMPLEMENTED THROUGH A HANDBOOK AND AUTOMATED TOOL APPROACH, WHICH MAY BE USED THROUGHOUT THE EXPERT SYSTEM LIFE CYCLE. THIS WILL BE ACCOMPLISHED THROUGH DETAILED ANALYSIS AND COMPARISON OF EXPERT SYSTEM AND CONVENTIONAL SOFTWARE DEVELOPMENT PRACTICES AND STANDARDS, DETERMINATION OF DIFFERENCES, AND GENERATION OF NEW AND ADAPTATION OF EXISTING VERIFICATION AND VALIDATION TECHNIQUES. CONCURRENT ENGINEERING AND DESIGN FOR TESTABILITY TECHNIQUES SPECIFICALLY TAILORED TO THE FIELD OF ARTIFICIAL INTELLIGENCE WILL FORM A SIGNIFICANT PORTION OF OUR APPROACH. THESE RESULTS WOULD BE INCORPORATED INTO A SUITE OF HANDBOOKS AND AUTOMATED TOOLS TO ASSIST IN ACCOMPLISHING VERIFICATION AND VALIDATION. RULE-BASED, MODEL-BASED, AND HYBRID EXPERT SYSTEM REQUIREMENTS WILL BE ADDRESSED, AS WILL THE VARIOUS FEATURES OF THESE SYSTEMS, INCLUDING INTERFACES TO DATABASE SYSTEMS, EXTERNAL PROGRAMS AND ROUTINES, USER INTERFACES, EXPLANATION AND TRACE FACILITIES. RECOMMENDATIONS FOR IMPLEMENTING THE RESULTS OF THIS RESEARCH, INCLUDING POSSIBLE AREAS FOR CONSIDERATION FOR STANDARDIZATION, WILL ALSO BE DEVELOPED AND PRESENTED.