Gray box robustness testing of rule systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4314 LNAI, Issue , 2007, Pages 346-360

  Baumeister, Joachim ^a   Bregenzer, Jürgen ^a   Puppe, Frank ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT SYSTEMS; KNOWLEDGE ACQUISITION; ROBUSTNESS (CONTROL SYSTEMS); VERIFICATION;

GRAY BOX ROBUSTNESS TESTING; INTUITIVE MANNER RULES; RULE SYSTEMS; UTILIZED INPUTS;

LOGIC PROGRAMMING;

EID: 35448993407     PISSN: 03029743     EISSN: 16113349     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-69912-5_26     Document Type: Conference Paper

References (11)

1. Ayel, M., Laurent, J.P.: Validation, Verification and Test of Knowledge-Based Systems. Wiley (1991)
2. Preece, A., Shinghal, R.: Foundation and Application of Knowledge Base Verification. International Journal of Intelligent Systems 9 (1994) 683-702
3. Knauf, R.: Validating Rule-Based Systems: A Complete Methodology. Shaker, Aachen, Germany (2000)
4. Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL Rules: A Proposal and Prototype Implementation, Journal of Web Semantics 3(1) (2005) 23-40
5. Groot, P., van Harmelen, F., ten Teije, A.: Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems. In: Knowledge Acquisition, Modeling and Management. LNAI1319, Berlin, Springer (2000) 403-418
6. Barr, V.: Applications of Rule-Base Coverage Measures to Expert System Evaluation. Knowledge-Based Systems 12 (1999) 27-35
7. Baumeister, J.: Agile Development of Diagnostic Knowledge Systems. AKA Verlag, DISKI 284 (2004)
8. Atzmueller, M., Baumeister, J., Puppe, E: Semi-Automatic Learning of Simple Diagnostic Scores utilizing Complexity Measures. AI in Medicine 37(1) (2006) 19-30
9. Ernst, R.: Untersuchung verschiedener Problemlösungsmethoden in einem Experten- und Tutorsystem zur makroskopischen Bestimmung krautiger Blütenpflanzen [Analysis of various problem solving methods with an expert and tutoring system for the macroscopic classification of flowers]. Master's thesis, University Würzburg, Biology department (1996)
10. Puppe, F.: Knowledge Formalization Patterns. In: Proceedings of PKAW 2000, Sydney, Australia (2000)
11. Hüttig, M., Buscher, G., Menzel, T., Scheppach, W., Puppe, F., Buscher, H.P.: A Diagnostic Expert System for Structured Reports, Quality Assessment, and Training of Residents in Sonography. Medizinische Klinik 3 (2004) 117-22