Hostname: page-component-89b8bd64d-x2lbr Total loading time: 0 Render date: 2026-05-09T01:59:59.501Z Has data issue: false hasContentIssue false
  • English
  • Français

Verifying knowledge bases: A bibliography

Published online by Cambridge University Press:  07 July 2009

Get access Rights & Permissions [Opens in a new window]

Extract

The preceding paper on the refinement of rule-based systems by Precce et al. reflects a recent, rapid growth of interest in verification and validation of knowledge based systems. Much of the literature on this subject is thinly spread over conference proceedings, professional periodicals and academic journals, so we have tried to collect together some of the more frequently cited work to assist readers interested in the area.

Information

Type
Research Article
Information
The Knowledge Engineering Review , Volume 7 , Issue 2 , June 1992 , pp. 143 - 146
Copyright
Copyright © Cambridge University Press 1992

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Alphabetic list of articles

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.CrossRefGoogle 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 applications 1(3) 281–289.CrossRefGoogle Scholar
Batarekh, A, Preece, AD, Bennett, A and Grogono, P, 1991, “Specifying an expert system” Expert Systems with Applications 2(4) 285–303.CrossRefGoogle Scholar
Bellman, KL, editor, 1989, Proceedings of the IJCAI '89 Workshop on Verification and Validation of Knowledge-Based Systems Palo Alto, CA.Google Scholar
Bellman, KL, 1990, “The modelling issues inherent in testing and evaluating knowledge based systems” Expert Systems with Applications 1(3) 199–216.CrossRefGoogle Scholar
Benbasat, I and Dhaliwal, JS, 1989, “The validation of knowledge acquisition: methodology and techniques” In: Proceedings 3rd European Knowledge Acquisition Workshop.CrossRefGoogle 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.CrossRefGoogle 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 Applications 1(3) 217–230.CrossRefGoogle 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 Studies 26 (5) 633–648.CrossRefGoogle Scholar
Craw, S, 1991, “Judging knowledge base quality” In: Ayel, M and Laurent, J-P, editors Verification and Validation of Knowledge Based Systems 207–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 Bases Pitman.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 Engineering 12 (7) 752–768.CrossRefGoogle Scholar
Gorney, DJ and Coleman, KG, 1991, “Expert systems development standards” Expert Systems with Applications 2 (4) 239–243.CrossRefGoogle 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 Systems 163–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 Applications 3 (4) 403–410.CrossRefGoogle 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 KBS Stockholm, 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 Engineering 16 (3) 355–362.CrossRefGoogle Scholar
Jacob, RJK and Froscher, JN, 1990, “A software engineering methodology for rule-based systems” IEEE Transactions on Data and Knowledge Engineering 2 (2) 173–189.CrossRefGoogle Scholar
Kang, Y and Bahill, AT, 1991, “A tool for dectecting expert system error” AI Expert 02, 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 Systems 77–91, Wiley.Google Scholar
O'Keefe, RM and Lee, S, 1990, “An integrative model of expert system verification and validation” Expert Systems with Applications 1 (3) 231–236.CrossRefGoogle Scholar
O'Keefe, RM, Balci, O and Smith, EP, 1987, “Validating expert system performance” IEEE Expert 2 (4) 81–89.CrossRefGoogle Scholar
Kobayashi, S and Nakamura, K, 1991, “Knowledge compilation and refinement for fault diagnosis” IEEE Expert 10 39–46.CrossRefGoogle 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 Systems 149–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 Systems Palo Alto, CA.Google Scholar
Landauer, C, 1990, “Correctness principles for rule-based expert systems” Expert Systems with Applications 1 (3) 291–316.CrossRefGoogle 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 Systems Palo Alto, CA.Google Scholar
Lenat, DB and Guha, RV, 1990, Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project Addison-Wesley.Google Scholar
Linden, TA, 1990, “A meta-level software development model that supports validation and verification for AI Software” Expert Systems with Applications 1 (3) 271–279.CrossRefGoogle Scholar
Lopez, B, 1991, “CONKRET: A control knowledge refinement tool” In: Ayel, M and Laurent, J-P, editors, Verification and Validation of Knowledge Based Systems 191–206, Wiley.Google Scholar
Lopez, B, Meseguer, P and Plaza, E, 1990, “Validation of knowledge based systems: state of the art” AI Communications 3 (2) 58–72.CrossRefGoogle Scholar
Lyons, PJ, 1992, “Designing knowledge based systems for incremental development” Expert System with Applications 4 87–97.CrossRefGoogle Scholar
O'Leary, D, 1987, “Validation of expert systems—with applications to auditing and accounting systems” Decision Sciences 18 (3) 468–486.CrossRefGoogle Scholar
O'Leary, D, 19??, “Expert systems prototyping as a research tool” In: Turban, E and Watkins, P, editors, Applied Expert Systems Elsevier.Google Scholar
O'Leary, D and Kandelin, N, 1988, “Validating the weights in rule-based expert systems: a statistical approach” International Journal of Expert Systems 1 (3) 253–279.Google Scholar
O'Leary, TJ, Goul, M, Moffitt, KE and Radwan, AE, 1990, “Validating expert systems” IEEE Expert 5 (3) 51–58.CrossRefGoogle 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-Congress Springer-Verlag.Google Scholar
Marcot, BG, 1987, “Testing the knowledge base” AI Expert 43–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 Systems 119–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 Systems Palo Alto, CA.Google Scholar
Morik, K, 1987, “Acquiring domain models” International Journal Man-Machines Studies 26.Google Scholar
Murray, TJ and Tanniru, , 1991, “Control of inconsistency and redundancy in PROLOG-type knowledge bases” Expert Systems with Applications 2 (4) 321–331.CrossRefGoogle Scholar
Nazareth, DL, 1989, “Issues in the verification of knowledge in rule-based systems” International Journal Man-Machine Studies 30 (3) 255–271.CrossRefGoogle Scholar
Nazareth, DL and Kennedy, MH, 1991, “Verification of rule-based knowledge using directed graphs” Knowledge Acquisition 3 (4) 339–360.CrossRefGoogle 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 Applications 3 (2) 289–295.CrossRefGoogle 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 Systems 4 (4) 186–195.CrossRefGoogle Scholar
Plant, RT, 1991, “Factors in software quality for knowledge based systems” Information & Software Technology 33 (7), 527–536.CrossRefGoogle Scholar
Preece, AD, 1990, “Verification of rule-based systems in wide domains” In: Shadbolt, N, editor, Research and Development in Expert Systems VI 66–77, Cambridge University Press.Google Scholar
Preece, AD, Shinghal, R and Batarekh, A, 1992, “Principles and practice in verifying rule-based systems” Knowledge Engineering Review 7 (2).CrossRefGoogle Scholar
Puuronen, S, 1987, “A tabular rule-checking method” In: Proceedings 7th Internation Workshop on Expert Systems and their Applications 257–268, Paris.Google Scholar
Radwan, AI, 1989, “A verification approach for knowledge based systems” Transportation Research Journal 23 (4) 287–300.CrossRefGoogle Scholar
Rousset, MC, 1990, “Detection of ‘deep’ inconsistencies in rule-based systems: the COVADIS system” In: Proceedings 8th International Congress on Cybernetics and Systems New 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 Applications 1 (2) 93–102.CrossRefGoogle 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 Systems Addison Wesley.Google Scholar
Tepandi, J, 1990, “Verification, testing and validation of rule-based expert systems” In: Proceedings 11th IFAC World Congress 7 162–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 Systems AAAI.Google Scholar
Wood, WT and Frankowski, EN, 1990, “Verification of rule-based expert systems” Expert Systems with Applications 1 (3) 317–322CrossRefGoogle Scholar