|
Ayel M, 1988, “Protocols for coherence checking in expert system knowledge bases” In: Proceedings European Conference on Artificial IntelligenceSpringer-Verlag.
Google Scholar
|
|
Ayel M and Laurent J-P, 1991, “SACCO-SYCOJET: Two different ways of verifying knowledge based systems” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems, 63–76, Wiley.
Google Scholar
|
|
Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems, Wiley.
Google Scholar
|
|
Barrett BW, 1990, “A hypothetical application of the statistical modelling and estimation of reliability functions for software (SMERFS) to knowledge-based systems (KBSs)” Expert Systems with applications1(3) 281–289.
Google Scholar
|
|
Batarekh A, Preece AD, Bennett A and Grogono P, 1991, “Specifying an expert system” Expert Systems with Applications2(4) 285–303.
Google Scholar
|
|
Bellman KL, editor, 1989, Proceedings of the IJCAI '89 Workshop on Verification and Validation of Knowledge-Based SystemsPalo Alto, CA.
Google Scholar
|
|
Bellman KL, 1990, “The modelling issues inherent in testing and evaluating knowledge based systems” Expert Systems with Applications1(3) 199–216.
Google Scholar
|
|
Benbasat I and Dhaliwal JS, 1989, “The validation of knowledge acquisition: methodology and techniques” In: Proceedings 3rd European Knowledge Acquisition Workshop.
Google Scholar
|
|
Bezem M, 1990, “Consistency of rule-based expert systems” In: Lusk E and Overbeek R, editors, Proceedings 9th International Conference on Automated Deduction,151–161, Springer-Verlag.
Google Scholar
|
|
Bull M, Duda R, Port D and Reiter J, 1987, “Applying software engineering principles to knowledge base development” Proceedings. First Annual Conference on Expert Systems in Business27–38, New York, NY.
Google Scholar
|
|
Bundy A, 1987, “How to improve the reliability of expert systems” In: Moralee DS, editor, Research Development in Expert Systems IV, 3–17, Cambridge University Press.
Google Scholar
|
|
Chandler J and Liang T, editors, 1990, Developing Expert Systems for Business Applications, Merrill.
Google Scholar
|
|
Chang CL, Combs JB and Stachowitz RA, 1990, “A report on the expert systems validation associate” Expert Systems with Applications1(3) 217–230.
Google Scholar
|
|
Charles E and Dubois O, 1991, “MELODIA: Logical methods for checking knowledge bases” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems, 95–104, Wiley.
Google Scholar
|
|
Cochran EL and Hutchins BL, 1987, “Testing, verifying and releasing an expert system” In: Proceedings 3rd IEEE Conference on AI applications,Orlando, FL.
Google Scholar
|
|
Cragun BJ and Steudel HJ, 1987, “Decision table based processor for checking completeness and consistency in rule-based expert systems” International Journal of J Man-Machine Studies26 (5) 633–648.
Google Scholar
|
|
Craw S, 1991, “Judging knowledge base quality” In: Ayel M and Laurent J-P, editors Verification and Validation of Knowledge Based Systems207–219, Wiley.
Google Scholar
|
|
Craw S and Sleeman D, 1990, “Automating the refinement of knowledge based systems” In: Proceedings 9th European Conference on Artificial IntelligencePitman.
Google Scholar
|
|
Culbert C, Riley G and Savely RT, 1987, “Approaches to the verification of rule-based expert systems” In: Proceedings 1st Annual Workshop on Space Automation and Robotics, Houston, TX.
Google Scholar
|
|
Geissman JR and Schultz RD, 1988, “Verification and validation of expert systems” AI Expert, 02, 26–33.
Google Scholar
|
|
Ginsburg A, 1988, Automatic Refinements of Expert System Knowledge BasesPitman.
Google Scholar
|
|
Ginsburg A, 1988, “A new approach to checking knowledge bases for inconsistency and redundancy” In: Proceedings Annual Conference of the American Association of Artificial Intelligence (AAAI)Morgan Kaufman.
Google Scholar
|
|
Ginsburg A, 1990, “Theory reduction, theory revision and retranslation” In: Proceedings 8th National Conference on Artificial Intelligence (AAAI) pp 777–782, MIT Press.
Google Scholar
|
|
Goldberg A, 1986, “Knowledge based programming: a survey of program design and construction techniques” IEEE Transactions on Software Engineering12 (7) 752–768.
Google Scholar
|
|
Gorney DJ and Coleman KG, 1991, “Expert systems development standards” Expert Systems with Applications2 (4) 239–243.
Google Scholar
|
|
Grant J and Minker I, 1990, “Integrity constraints in knowledge based systems” In: Adeli H., editor, Knowledge Engineering. Vol 2: Applications, 1–24, McGraw Hill.
Google Scholar
|
|
Green CJR and Keyes MM, 1987, “Verification and validation of expert systems” In: Proceedings Western Conference on Expert Systems pp 38–43, IEEE Press.
Google Scholar
|
|
Grunwald S, 1991, “Estimation of failure potential in knowledge bases” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems163–176, Wiley.
Google Scholar
|
|
Guida G and Tasso C, 19?? “Building expert systems: From the cycle to development methodology” In: Guida G and Tasso C, editors, Topics in Expert System Design, pp 3–24, Elsevier.
Google Scholar
|
|
Hamilton D, Kelley K and Culbert C, 1991, “State-of-the-practice in knowledge based system verification and validation” Expert Systems with Applications3 (4) 403–410.
Google Scholar
|
|
Hayes-Roth F, Waterman D and Lenat D, 1983, Building Expert Systems, Addison-Wesley.
Google Scholar
|
|
Hoppe T, 1990, “Hypotheses generation for knowledge validation” In: Proceedings 9th European Conference on Artificial IntelligencePitman.
Google Scholar
|
|
Hoppe T, 1990, “Aspects of incremental knowledge validation” In: Proceedings 1st Workshop on Validation Verification and Test of KBSStockholm, Sweden.
Google Scholar
|
|
Hoppe T, 1990, “Aspects of incremental knowledge validation” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems, Wiley.
Google Scholar
|
|
Hyman WA, Johnston WL and Spar S, 1989, “Legal liability and system safety applied to expert systems” Computers and Industrial Engineering16 (3) 355–362.
Google Scholar
|
|
Jacob RJK and Froscher JN, 1990, “A software engineering methodology for rule-based systems” IEEE Transactions on Data and Knowledge Engineering2 (2) 173–189.
Google Scholar
|
|
Kang Y and Bahill AT, 1991, “A tool for dectecting expert system error” AI Expert02, 46–51.
Google Scholar
|
|
Krause PJ, Byers P, Hajnal S and Fox J, 1991, “The use of object-oriented process specification for the validation and verification of decision support systems” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems77–91, Wiley.
Google Scholar
|
|
O'Keefe RM and Lee S, 1990, “An integrative model of expert system verification and validation” Expert Systems with Applications1 (3) 231–236.
Google Scholar
|
|
O'Keefe RM, Balci O and Smith EP, 1987, “Validating expert system performance” IEEE Expert2 (4) 81–89.
Google Scholar
|
|
Kobayashi S and Nakamura K, 1991, “Knowledge compilation and refinement for fault diagnosis” IEEE Expert1039–46.
Google Scholar
|
|
Lafon P, 1991, “A descriptive model of predicates for verifying production systems” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems149–162, Wiley.
Google Scholar
|
|
Landauer C, 1989, “Principles of rule-based correctness” In: Bellman KL, editor, Proceedings of the IJCAI '89 Workshop on Verification and Validation of Knowledge Based SystemsPalo Alto, CA.
Google Scholar
|
|
Landauer C, 1990, “Correctness principles for rule-based expert systems” Expert Systems with Applications1 (3) 291–316.
Google Scholar
|
|
Laurent JP and Ayel M, 1990, “Coherence checking for knowledge bases” In: 8th International Congress on Cybernetics and Systems, New York, NY.
Google Scholar
|
|
Laurent JP and Ayel M, 1989, “Off-line coherence checking for knowledge based systems” In: Bellman KL, editor, Proceedings of the IJCAI '89 Workshop on Verification and Validation of Knowledge Based SystemsPalo Alto, CA.
Google Scholar
|
|
Lenat DB and Guha RV, 1990, Building Large Knowledge-Based Systems: Representation and Inference in the CYC ProjectAddison-Wesley.
Google Scholar
|
|
Linden TA, 1990, “A meta-level software development model that supports validation and verification for AI Software” Expert Systems with Applications1 (3) 271–279.
Google Scholar
|
|
Lopez B, 1991, “CONKRET: A control knowledge refinement tool” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems191–206, Wiley.
Google Scholar
|
|
Lopez B, Meseguer P and Plaza E, 1990, “Validation of knowledge based systems: state of the art” AI Communications3 (2) 58–72.
Google Scholar
|
|
Lyons PJ, 1992, “Designing knowledge based systems for incremental development” Expert System with Applications487–97.
Google Scholar
|
|
O'Leary D, 1987, “Validation of expert systems—with applications to auditing and accounting systems” Decision Sciences18 (3) 468–486.
Google Scholar
|
|
O'Leary D, 19??, “Expert systems prototyping as a research tool” In: Turban E and Watkins P, editors, Applied Expert SystemsElsevier.
Google Scholar
|
|
O'Leary D and Kandelin N, 1988, “Validating the weights in rule-based expert systems: a statistical approach” International Journal of Expert Systems1 (3) 253–279.
Google Scholar
|
|
O'Leary TJ, Goul M, Moffitt KE and Radwan AE, 1990, “Validating expert systems” IEEE Expert5 (3) 51–58.
Google Scholar
|
|
de Mantaras RL, Kerdiles PF and Larsen H, 1989, “Validation methods and tools for knowledge based systems (VALID)” In: Brauer W and Freksa C, editors, Proceedings 3rd Int. GI-CongressSpringer-Verlag.
Google Scholar
|
|
Marcot BG, 1987, “Testing the knowledge base” AI Expert43–47.
Google Scholar
|
|
Mazas P, 1991, “Design knowledge validation through experimentation: the SYSIFE system” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems119–145, Wiley.
Google Scholar
|
|
Mellis W and Ruckert M, 1989, “Checking consistency in expert systems” In: Proceedings 9th International Conference on Expert Systems and their Applications,Nanterre,France.
Google Scholar
|
|
Meseguer P, 1990, “A new method of checking rule bases for inconsistency: a Petri net approach” In: L C Aiello, editor, Proceedings 9th European Conference on Artificial IntelligencePitman.
Google Scholar
|
|
Miller LA, 1989, “A comprehensive approach to the verification and validation of knowledge-based systems” In: Bellman KL, Proceedings of the IJCAl '89 Workshop on Verification and Validation of Knowledge Based SystemsPalo Alto, CA.
Google Scholar
|
|
Morik K, 1987, “Acquiring domain models” International Journal Man-Machines Studies26.
Google Scholar
|
|
Murray TJ and Tanniru , 1991, “Control of inconsistency and redundancy in PROLOG-type knowledge bases” Expert Systems with Applications2 (4) 321–331.
Google Scholar
|
|
Nazareth DL, 1989, “Issues in the verification of knowledge in rule-based systems” International Journal Man-Machine Studies30 (3) 255–271.
Google Scholar
|
|
Nazareth DL and Kennedy MH, 1991, “Verification of rule-based knowledge using directed graphs” Knowledge Acquisition3 (4) 339–360.
Google Scholar
|
|
Nguyen TA, Perkins WA, Laffey TJ and Pecora D, 1985, “Checking an expert system knowledge base for consistency and completeness” In: Proceedings 9th International Joint Conference on Artificial Intelligence vol 1, Morgan Kaufman, 375–378.
Google Scholar
|
|
Nguyen TA, 1987, “Verifying consistency of production systems” In: Proceedings 3rd Conference on AI ApplicationsIEEE Computer Society, 4–8.
Google Scholar
|
|
Nguyen TA, Perkins WA, Laffay TJ and Pecora D, 1987, “Knowledge base verification” AI Magazine Summer, 67–75.
Google Scholar
|
|
Nykanen P and Nuttila P, 1991, “Validation and evaluation of a system for thyroid disorders” Expert Systems with Applications3 (2) 289–295.
Google Scholar
|
|
Pau LF, 1987, “Prototyping, validation and maintenance of knowledge based systems software” Proceedings 3rd Annual Expert Systems in Government Conference,IEEE Catalog, 248–253.
Google Scholar
|
|
Pau LF, 1991, “Guidelines for prototyping, validation and maintenance of knowledge-based systems software” In: Ayel M and Laurent J-P editors, Verification and Validation of Knowledge Based Systems, Wiley.
Google Scholar
|
|
Perkins WA, Laffey TJ, Pecora D and Nguyen TA, 1989, “Knowledge base verification” In: Guida G and Tasso C, editors, Topics in Expert System Design, Elsevier, 353–376.
Google Scholar
|
|
Plant RT, 1991, “Rigorous approach to the development of knowledge-based systems” Knowledge Based Systems4 (4) 186–195.
Google Scholar
|
|
Plant RT, 1991, “Factors in software quality for knowledge based systems” Information & Software Technology33 (7), 527–536.
Google Scholar
|
|
Preece AD, 1990, “Verification of rule-based systems in wide domains” In: Shadbolt N, editor, Research and Development in Expert Systems VI66–77, Cambridge University Press.
Google Scholar
|
|
Preece AD, Shinghal R and Batarekh A, 1992, “Principles and practice in verifying rule-based systems” Knowledge Engineering Review7 (2).
Google Scholar
|
|
Puuronen S, 1987, “A tabular rule-checking method” In: Proceedings 7th Internation Workshop on Expert Systems and their Applications257–268, Paris.
Google Scholar
|
|
Radwan AI, 1989, “A verification approach for knowledge based systems” Transportation Research Journal23 (4) 287–300.
Google Scholar
|
|
Rousset MC, 1990, “Detection of ‘deep’ inconsistencies in rule-based systems: the COVADIS system” In: Proceedings 8th International Congress on Cybernetics and SystemsNew York.
Google Scholar
|
|
Smith RG, Winston HA, Mitchell TM and Buchanan BG, 1985, “Representation of use of explicit justifications for knowledge base refinement” In: Proceedings 9th International Joint, Conference on Artificial Intelligence367–374, Morgan Kaufman.
Google Scholar
|
|
Stachowitz RA and Chang CL, 1989, “Research on validation of knowledge based systems” In: Proceedings 2nd Conference on Verification, Validation and Test,Detroit.
Google Scholar
|
|
Suen CY, Grogono PD, Shinghal R and Coallier R, 1990, “Verifying, validating and measuring the performance of expert systems” Expert Systems with Applications1 (2) 93–102.
Google Scholar
|
|
Suwa M, Scott AC and Shortliffe EH, 1985, “Completeness and consistency in a rule-based system” In: Buchanan BG and Shortliffe EH, editors, Rule-based SystemsAddison Wesley.
Google Scholar
|
|
Tepandi J, 1990, “Verification, testing and validation of rule-based expert systems” In: Proceedings 11th IFAC World Congress7162–167.
Google Scholar
|
|
Tepandi J, 1991, “Comparison of expert system verification criteria: redundancy” In: Ayel M and Laurent J-P, editors, Verification and Validation of Knowledge Based Systems, Wiley.
Google Scholar
|
|
Vignollet L and Ayel M, 1989, “Generating test sets for knowledge bases” In: Proceedings 9th International Conference on Expert Systems and their Applications247–260, Nanterre,France.
Google Scholar
|
|
White M and Goldsmith J, 1990, Standards and Review Manual for Certification in Knowledge Engineering (Sponsored by the International Association of Knowledge Engineers). Rockville, MD. Systemsware.
Google Scholar
|
|
Wood WT and Frankowski EN, 1989, “Rule based expert system verification” In: Bellman KL, editor, Proceedings of the IJCAI '89 Workshop on Verification and Validation of Knowledge Based SystemsAAAI.
Google Scholar
|
|
Wood WT and Frankowski EN, 1990, “Verification of rule-based expert systems” Expert Systems with Applications1 (3) 317–322
Google Scholar
|
