Towards validation and refinement of rule-based systems

Journal of Experimental and Theoretical Artificial Intelligence

Volumn 12, Issue 4, 2000, Pages 421-431

  Knauf, Rainer ^a   Philippow, Ilka ^a   Gonzalez, Avelino J ^b  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

^b University of Central Florida   (United States)

Author keywords

Evaluation; Rule based systems; System refinement; Test case generation; Validation

Indexed keywords

EID: 0034553003     PISSN: 0952813X     EISSN: 13623079     Source Type: Journal    
DOI: 10.1080/095281300454801     Document Type: Article

References (7)

1. Abel, T., Knauf, R., and Gonzalez, A.J., 1996, Generation of a minimal set of test cases that is functionally equivalent to an exhaustive set, for use in knowledge-based system validation. In Proceedings of 9th International Florida Artificial Intelligence Research Symposium (FLAIRS-96), Key West, FL, May, pp. 280-284.
2. Abel, T., and Gonzalez, A.J., 1997, Utilizing criteria to reduce a set of test cases for expert system validation. In Proceedings of 10th International Florida Artificial Intelligence Research Society Conference (FLAIRS-97), Daytona Beach, FL, May, pp. 402-406.
3. Jantke, K.P., Abel, T., and Knauf, R., 1997, Fundamentals of a turig test approach to validation. In Intelligent Meme Report MEME-IMP-1/1997, Sapporo, Japan, Hokkaido University.
4. Jantke, K.P., Knauf, R., and Abel, T, 1997, The Turing test approach to validation. In Proceedings of Workshop on Validation, Verification & Refinement of AI Systems and Subsystems (W32) of the Int. Joint Conference on Artificial Intelligence (IJCAI-97), Nagoya, Japan, August, pp. 35-45.
5. Knauf, R., Abel, T., Jantke, K.P., and Gonzalez, A.J., 1998, A framework for validation of knowledge-based systems. In Proceedings of International Workshop on Aspects of Intelligent Systems Validation, Ilmenau, Germany, January, Technical Report MEME-MMM-98-2, Hokkaido University, Sapporo, Japan, pp. 1-19.
6. Knauf, R., Jantke, K.P., Gonzalez, A.J., and Philippow, I., 1998, Fundamental considerations of competence assessment for validation. In Proceedings of 11th International Florida Artificial Intelligence Society Conference (FLAIRS-98), Sanibel Island, FL, May, pp. 457-461.
7. O'Keefe, R.M., and O'Leary, D.E., 1993, Expert system verification and validation: a survey and tutorial. Artificial Intelligence Review, 7: 3-42.