Advanced empirical testing

Knowledge-Based Systems

Volumn 24, Issue 1, 2011, Pages 83-94

  Baumeister, Joachim ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

Evaluation; Knowledge quality; Quality measures; Regression testing; Test cases; Test visualization; Validation; Verification

Indexed keywords

EVALUATION; KNOWLEDGE QUALITY; QUALITY MEASURES; REGRESSION TESTING; TEST CASE; TEST VISUALIZATION; VALIDATION;

DECISION SUPPORT SYSTEMS; INDUSTRIAL APPLICATIONS; KNOWLEDGE BASED SYSTEMS; QUALITY CONTROL; REGRESSION ANALYSIS; SOFTWARE TESTING; VISUALIZATION;

TESTING;

EID: 77958016321     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2010.07.008     Document Type: Article

References (53)

1. H. Adeli, Knowledge engineering, in: Fundamentals, vol. I, McGraw-Hill Inc., New York, NY, USA, 1990.
2. S. Akers Binary decision diagrams IEEE Transactions on Computers 27 6 1978 509 516
3. M. Ayel, and J.-P. Laurent Validation, Verification and Test of Knowledge-Based Systems 1991 Wiley
4. V. Barr Applications of rule-base coverage measures to expert system evaluation Knowledge-Based Systems 12 1999 27 35
5. J. Baumeister, J. Bregenzer, and F. Puppe Gray box robustness testing of rule systems KI'06: Proceedings of the 29th Annual German Conference on Artificial Intelligence LNAI vol. 4314 2006 Springer 346 360
6. J. Baumeister, M. Menge, and F. Puppe Visualization techniques for the evaluation of knowledge systems FLAIRS'08: Proceedings of the 21th International Florida Artificial Intelligence Research Society Conference 2008 AAAI Press 329 334
7. J. Baumeister, and D. Seipel Verification and refactoring of ontologies with rules Proceedings of the 15th International Conference on Knowledge Engineering and Knowledge Management 2006 Springer Berlin 82 95
8. J. Baumeister, and D. Seipel Anomalies in ontologies with rules. Web Semantics: Science Services and Agents on the World Wide Web 8 1 2010 55 68
9. J. Baumeister, D. Seipel, F. Puppe, Using automated tests and restructuring methods for an agile development of diagnostic knowledge systems, in: FLAIRS'04: Proceedings of the 17th International Florida Artificial Intelligence Research Society Conference, 2004, pp. 319-324.
10. J. Baumeister, D. Seipel, and F. Puppe Agile development of rule systems A. Giurca, D. Gasevic, K. Taveter, Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches 2009 IGI Publishing
11. K. Beck Extreme Programming Explained: Embrace Change 2000 Addison-Wesley
12. R. Bergmann Experience Management: Foundations, Development Methodology, and Internet-Based Applications LNAI vol. 2432 2002 Springer
13. S. Boroday, A. Petrenko, A. Ulrich, Test suite consistency verification, in: EWDTS 2008: Proceedings of the Sixth IEEE East-West Design & Test Symposium, 2008, pp. 235-238.
14. F. Coenen, and T. Bench-Capon Maintenance of Knowledge-Based Systems 1993 Academic Press
15. R. Djelouah, B. Duval, and S. Loiseau Validation and reparation of knowledge bases ISMIS'02: Proceedings of the 13th International Symposium on Foundations of Intelligent Systems 2002 Springer-Verlag London, UK 312 320
16. E. Gamma, and K. Beck Test infected: programmers love writing tests Java Report 3 7 1998
17. A. Gómez-Pérez, Evaluation of taxonomic knowledge on ontologies and knowledge-based systems, in: KAW'99: Proceedings of the 12th International Workshop on Knowledge Acquisition, Modeling and Management, 1999.
18. A.J. Gonzalez, and D.D. Dankel The Engineering of Knowledge-Based Systems - Theory and Practice 1993 Prentice Hall
19. P. Groot, A. ten Teije, and F. van Harmelen A quantitative analysis of the robustness of knowledge-based systems through degradation studies Knowledge and Information Systems 7 2 2003 224 245
20. U.G. Gupta, and J. Biegel A rule-based intelligent test case generator Proceedings of the AAAI-90 Workshop on Knowledge-Based System Verification, Validation and Testing 1990 AAAI Press
21. R.L. Hartung, and A. Hkansson Automated testing for knowledge based systems KES 2007: Proceedings of 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems - Part I 2007 Springer 270 278
22. R. Helfman, J. Dumer, and T. Hanratty TED-turbine engine diagnostics: an expert diagnostic system for the M1 Abrams AGT1500 turbine engine 11th Conference on Artificial Intelligence for Applications 1995 IEEE Computer Society Los Alamitos, CA, USA 1032 1038
23. T. Horiyama, and T. Ibaraki Ordered binary decision diagrams as knowledge-bases Artificial Intelligence 136 2 2002 189 213
24. M. Hüttig, G. Buscher, T. Menzel, W. Scheppach, F. Puppe, and H.-P. Buscher A diagnostic expert system for structured reports, quality assessment, and training of residents in sonography Medizinische Klinik 3 2004 117 122
25. M. Kimura, M. Sakamoto, T. Adachi, and H. Sagara Diagnosis of febrile illnesses in returned travelers using the PC software GIDEON Travel Medicine and Infectious Disease 3 3 2005 157 160
26. R. Knauf Validating Rule-Based Systems: A Complete Methodology 2000 Shaker, Aachen Germany
27. R. Knauf, A.J. Gonzalez, and T. Abel A framework for validation of rule-based systems IEEE Transactions of Systems, Man and Cybernetics - Part B: Cybernetics 32 3 2002 281 295
28. R. Knauf, S. Spreeuwenberg, R. Gerrits, and M. Jendreck A step out of the ivory tower: experiences with adapting a test case generation idea to business rules FLAIRS'04: Proceedings of the 17th International Florida Artificial Intelligence Research Society Conference 2004 AAAI Press 343 348
29. A. Ligeza Logical Foundations for Rule-Based Systems Studies in Computational Intelligence vol. 11 2006 Springer
30. tm - automated clinical guidelines in critical care ECAI'04/PAIS'04: Proceedings of the 16th European Conference on Artificial Intelligence, including Prestigious Applications of Intelligent Systems 2004 IOS Press Valencia, Spain 745 749
31. S.J. Miah, D. Kerr, J. Gammack, and T. Cowan A generic design environment for the rural industry knowledge acquisition Knowledge-Based Systems 21 8 2008 892 899
32. S. Miksch, W. Horn, C. Popow, and F. Paky Intensive care monitoring and therapy planning for newborns AAAI 1994 Spring Symposium: Artificial Intelligence in Medicine: Interpreting Clinical Data 1994 AAAI Press
33. R. Milne, C. Nicol, TIGER: continuous diagnosis of gas turbines, in: ECAI'00: Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, 2000.
34. G.J. Nalepa Proposal of business process and rules modeling with the XTT method SYNASC'07: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2007 IEEE Computer Society Washington, DC, USA 500 506
35. G.J. Nalepa, and A. Ligeza A graphical tabular model for rule-based logic programming and verification Systems Science 31 2 2005 89 95
36. D.D. Nghia, and F. Puppe Hybrides, skalierbares Diagnosesystem für freie Kfz-Werkstätten [Hybrid and scalable diagnosis system for car garages] KI: German AI magazine 23 2 2009 31 37
37. N.J. Nilsson Principles of Artificial Intelligence 1982 Springer
38. T. Padma, and P. Balasubramanie Knowledge based decision support system to assist work-related risk analysis in musculoskeletal disorder Knowledge-Based Systems 22 1 2009 72 78
39. A. Preece, Building the right system right, in: KAW'98: Proceedings of Eleventh Workshop on Knowledge Acquisition, Modeling and Management, 1998.
40. A. Preece Evaluating verification and validation methods in knowledge engineering Micro-Level Knowledge Management 2001 Morgan-Kaufman 123 145
41. A. Preece, and R. Shinghal Foundation and application of knowledge base verification International Journal of Intelligent Systems 9 1994 683 702
42. A.D. Preece Validation of knowledge-based systems: The state-of-the-art in North America The Journal for the Integrated Study of Artificial Intelligence, Cognitive Science and Applied Epistomology 1994 11
43. F. Puppe, Knowledge formalization patterns, in: PKAW 2000: Proceedings of the Pacific Rim Knowledge Acquisition Workshop, Sydney, Australia, 2000.
44. J.R. Quinlan Induction of decision trees Machine Learning 1 1 1986 81 106
45. M.M. Richter Foundations of similarity and utility FLAIRS'07: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference 2007 AAAI Press 30 36
46. E. Santos, and H.T. Dinh On automatic knowledge validation for Bayesian knowledge bases Data & Knowledge Engineering 64 1 2008 218 241
47. D. Seipel, M. Hopfner, and J. Baumeister Declarative querying and visualizing knowledge bases in XML INAP/WLP'04: Applications of Declarative Programming and Knowledge Management (selected papers) LNAI vol. 3392 2005 Springer Berlin 16 31
48. S. Smith, and A. Kandel Verification and Validation of Rule-Based Expert Systems 1994 CRC Press, Inc. Boca Raton, FL, USA
49. C.A. Thompson, R.J. Mooney, Inductive learning for abductive diagnosis, in: AAAI-94: Proceedings of the 13th Annual National Conference on Artificial Intelligence, vol. 1, 1994, pp. 664-669.
50. A. Vermesan, and F. Coenen Validation and Verification of Knowledge Based Systems Theory, Tools and Practice 1999 Kluwer Academic Publisher
51. L. Vignollet, and R. Lelouche Test case generation using KBS strategy IJCAI'93: Proceedings of the International Joint Conference for Artificial Intelligence 1993 Morgan Kaufmann 483 489
52. V. Zacharias Development and verification of rule based systems - a survey of developers RuleML'08: Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web 2008 Springer-Verlag Berlin, Heidelberg 6 16
53. V. Zacharias, A. Abecker, On modern debugging for rule-based systems, in: SEKE'2007: Proceedings of the 19th International Conference on Software Engineering & Knowledge Engineering, 2007, pp. 349-353.