Verification and validation with ripple-down rules

International Journal of Human Computer Studies

Volumn 44, Issue 2, 1996, Pages 257-269

  Kang, Byeong Ho ^a,b   Gambetta, Windy ^a   Compton, Paul ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

^b HITACHI LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002961022     PISSN: 10715819     EISSN: None     Source Type: Journal    
DOI: 10.1006/ijhc.1996.0013     Document Type: Article

References (35)

1. CATLETT, J. (1992). Ripple-Down-Rules as a mediating representation in interactive induction. In R. MIZOGUCHI, H. MOTODA, J. BOOSE, B. GAINES & R. QUINLAN, Eds. Proceedings of The Second Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 155-170. Kobe, Japan.
2. CHANDRASEKARAN, B. (1986). Generic tasks in knowledge based reasoning: high-level building blocks for expert system design. IEEE, (FALL), 23-30.
3. CLANCEY, W. J. (1993). A neuropsychological interpretation to Vera and Simon. Cognitive Science, 17, 87-116.
4. COMPTON, P., HORN, K., QUINLAN, J. R., LAZARUS, L. & HO K. (1989). Maintaining an expert system. In J. R. QUINLAN, Ed. Application of Expert Systems, Vol. 2, pp. 366-385. London: Addison Wesley.
5. COMPTON, P. & JANSEN, R. (1990). A philosophical basis for knowledge acquisition. Knowledge Acquisition, 2, 241-257.
6. COMPTON, P., KANG, B. H., PRESTON, P. & MULHOLLAND, M. (1993). Knowledge acquisition without analysis. In G. BOY & B. GAINES, Eds. Knowledge Acquisition for Knowledge Based Systems, pp. 278-299. Berlin: Springer Verlag.
7. COMPTON, P., PRESTON, P. & KANG, B. (1995). The use of simulated experts in evaluating knowledge acquisition. Proceedings of 5th Banff AAAI Knowledge Acquisition for Knowledge Based Systems Workshop, pp. 12.1-12.25. Bannf, Canada.
8. COMPTON, P., PRESTON, P., KANG, B. H. & YIP, T. (1994). Local patching produces compact knowledge bases. In L. STEELS, G. SCHREIBER & W. V. D. VELDE, Eds. A Future for Knowledge Acquisition, pp. 104-117. Berlin: Springer-Verlag.
9. EDWARDS, G., COMPTON, P., MALOR, R., SRINIVASAN, A. & LAZARUS, L. (1993). PEIRS: a pathologist maintained expert system for the interpretation of chemical pathology reports. Pathology, 25, 27-34.
10. GAINES, B. R. & SHAW, M. (1990). Cognitive and logical foundations of knowledge acquisition. Proceedings of 5th Banff AAAI Knowledge Acquisition for Knowledge Based Systems Workshop, pp. 9.1-9.25. Bannf, Canada.
11. GAINES, B. R. (1991a). Induction and visualization of rules with exceptions. In J. BOOSE & B. GAINES, Eds. Proceedings of 6th Banff AAAI Knowledge Acquisition for Knowledge Based Systems Workshop, Vol. 1, pp. 7.1-7.17. Banff, Canada.
12. GAINES, B. R. (1995). The tradeoff between knowledge and data in data acquisition. In G. PIATETSKY-SHAPIRO & W. FRAWLEY, Eds. Knowledge Discovery in Databases, pp. 491-505. Cambridge, MA: MIT Press.
13. GAINES, B. R. & P. COMPTON (1992). Induction of Ripple Down Rules. In A. ADAMS & L. STERLING, Eds. Proceedings of AI'92. Proceedings of the 5th Australian Joint Conference on Artificial Intelligence, pp. 349-354. Hobart, Australia.
14. GAINES, B. R. & P. COMPTON, (1994). Induction of meta-knowledge about knowledge discovery. IEEE Transactions on Knowledge and Data Engineering, 5, 990-992.
15. GAINES, B. R. (1995). Inducing knowledge. Proceedings of the 9th AAAI-Sponsored Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 15.1-15.20. Banff, Canada.
16. GROSSNER, C., PREECE, A. D., CHANDER, P. G., RADHAKRISHNAN, T. & SUEN, C. Y. (1993). Exploring the structure of rule based systems. Proceedings of The Eleventh National Conference on Artificial Intelligence, pp. 704-709. Washington DC, MIT Press.
17. HORN, K., COMPTON, P., LAZARUS, L. & QUINLAN, J. R. (1985). An expert system for the interpretation of thyroid assays in a clinical laboratory. Australian Computer Journal, 17, 7-11.
18. KANG, B. H. & COMPTON, P. (1992). Knowledge acquisition in context: the multiple classification problem. Proceedings of the 2nd Pacific Rim International Conference on Artificial Intelligence, Vol. 2, pp. 847-853. Seoul, Korea.
19. KANG, B. H. & COMPTON, P. (1994). A maintenance approach to case based reasoning. Proceedings of The 2nd European Workshop on Case Based Reasoning, pp. 225-233. Paris, France.
20. KANG, B. H., COMPTON, P. & PRESTON, P. (1994). Multiple classification ripple down rules. Proceedings of The Third Japanese Knowledge Acquisition for Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 197-211. Japan: Japanese Society for Artificial Intelligence.
21. KIVINEN, J., MANNILA, H. & UKKONEN, E. (1993). Learning rules with local exceptions. Proceedings of Euro-COLT, London.
22. MANAGO, M. V. & KODRATOFF, Y. (1987). Noise and knowledge acquisition. In Proceedings of The Tenth International Joint Conference on Artificial Intelligence, Vol. 1, pp. 348-349. Milano, Italy.
23. MANSURI, Y., COMPTON, P. & SAMMUT, C. (1991). A comparison of a manual knowledge acquisition method and an inductive learning method. In J. BOOSE, J. DEBENHAM & B. GAINES, Eds. Proceedings of Australian Workshop on Knowledge Acquisition for Knowledge Based Systems, pp. 114-132. Pokolbin, Australia.
24. NGUYEN, T. A. (1987). Verifying consistency of production systems. Proceedings of The Third Conference on Artificial Intelligence Applications, pp. 4-8. Washington, DC: IEEE Computer Society Press.
25. O'KEEFE, R. M., BALCI, O. & SMITH, E. (1987). Validating expert system performance. IEEE Expert, 2, 81-89.
26. O'KEEFE, R. M. & O'LEARY, D. E. (1993). Expert system verification and validation: a survey and tutorial. Artificial Intelligence Review, 7, 3-42.
27. OURSTON, D. & MOONEY, R. (1994). Theory refinement combining analytical and empirical methods. Artificial Intelligence, 66, 273-309.
28. PREECE, A. D., SHINGHAL, R. & BATAREKH, A. (1992a). Principles and practice in verifying rule-based systems. The Knowledge Engineering Review, 7, 115-141.
29. PREECE, A. D., SHINGHAL, R. & BATAREKH, A. (1992b). Verifying expert systems: a logical framework and a practical tool. Expert Systems With Applications, 5, 421-436.
30. PRESTON, P., EDWARDS, G. & COMPTON, P. (1994). A 1600 rule expert systems without knowledge engineer. Proceedings of World Congress on Expert Systems, pp. 220-228. Lisbon, Portugal.
31. QUINLAN, J. R. (1993). C4.5: Programs for Machine Learning. San Mateo, CA: Morgan Kaufmann.
32. SIROMONEY, A., & SIROMONEY, R. (1993). Local exceptions in inductive logic programming. Proceedings of The 14th Machine Intelligence Workshop, Hatoyama, Japan.
33. SOLOWAY, E., BACHANT, J. & JENSEN, K. (1987). Assessing the maintainability of XCON-in-RIME: coping with the problems of a very large rule base. Proceedings of The Sixth National Conference on Artificial Intelligence, Vol. 2, pp. 824-829. Seattle, WA: Morgan-Kauffman.
34. WIELINGA, B. J., SCHREIBER, A. T. & BREUKER, J. A. (1992). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 5-54.
35. ZLATAREVA, N. (1992). Truth maintenance systems and their application for verifying expert system knowledge bases. Artificial Intelligence Review Journal, 6, 67-110.