Refinement complements verification and validation

International Journal of Human Computer Studies

Volumn 44, Issue 2, 1996, Pages 245-256

  Craw, Susan ^a  

^a ROBERT GORDON UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (24)

1. AVEL, M. & LAURENT, J.-P. (1991). SACCO-SYCOJET: two different ways of verifying knowledge-based systems. In M. AYEL & J.-P. LAURENT, Eds. Validation, Verification and Test of Knowledge-Based Systems. pp. 63-76. Reading, MA: Wiley & Sons.
2. BOOSE, J. H. (1988). Uses of repertory grid-centred knowledge acquisition tools for knowledge-based systems. International Journal of Man-Machine Studies, 29, 287-310.
3. CARBONELL, J. G. (1991). Scaling up knowledge-based systems via machine learning. Invited Talk, Fifth European Working Session on Learning (EWSL-91). Oporto, Portugal.
4. COMPTON, P., EDWARDS, G. et al. (1992). Ripple down rules: turning knowledge acquisition into knowledge maintenance. Artificial Intelligence in Medicine, 4, 47-59.
5. CRAW, S. & SLEEMAN, D. (1990). Automating the refinement of knowledge-based systems. In L. C. AIELLO, Ed. Proceedings of the ECAI90 Conference, pp. 167-172. Stockholm, Sweden.
6. CRAW, S. & SLEEMAN, D. (1991). The flexibility of speculative refinement. In L. BIRNBAUM & G. COLLINS, Eds. Machine Learning: Proceedings of the Eighth International Workshop. pp. 28-32. Evanston, IL: Morgan Kaufmann.
7. CROSS, S. & GRISONI, M. (1990). A methodology for producing validated real-time expert systems. In Proceedings of the Advisory Group for Aerospace Research and Development: Knowledge Based System Applications for Guidance and Control, AGARD-CP-474F, pp. 27-30.
8. DAVIS, R. (1984). Interactive transfer of expertise. In B. BUCHANAN & E. H. SHORTLIFFE, Eds. Rule-based Expert Systems, pp. 171-205. Reading, MA: Addison-Wesley.
9. DE RAEDT, L. (1992). Interactive Theory Revision. London: Academic Press.
10. GINSBERG, A. (1988). Automatic Refinement of Expert System Knowledge Bases, Research Notes in Artificial Intelligence. London: Pitman.
11. KANG, B. H., GAMBETTA, W. & COMPTON, P. (1994). Validation and verification with ripple down rules. In AAAI Workshop on Validation and Verification. pp. 64-69. Seattle, WA. pp. 64-69.
12. MARCUS, S. Ed. (1988). Automating Knowledge Acquisition for Expert Systems. Boston, MA: Kluwer.
13. MESEGUER, P. (1992). Incremental verification of rule-based expert systems. In B. NEUMANN, Ed. Proceedings of the ECAI92 Conference. pp. 840-844. Vienna, Austria.
14. MORIK, K., WROBEL, S., KIETZ, J.-U. & EMDE, W. (1993). Knowledge Acquisition and Machine Learning. London: Academic Press.
15. MUSEN, M. A., FAGAN, L. M., COMBS, D. M. & SHORTLIFFE, E. H. (1987). Use of a domain model to drive an interactive knowledge-editing tool. International Journal of Man-Machine Studies, 26, 105-121.
16. OURSTON, D. & MOONEY, R. (1994). Theory refinement combining analytical and empirical methods. Artificial Intelligence, 66, 273-309.
17. POLITAKIS, P. G. (1985). Empirical Analysis for Expert Systems, Research Notes in Artificial Intelligence. London: Pitman.
18. PREECE, A. D. & SHINGHAL, R. (1992). Validating knowledge bases by anomaly detection: An experience report. In B. NEUMANN, Ed. Proceedings of the ECAI92 Conference. pp. 835-839. Vienna, Austria.
19. RICHARDS, B. L. & MOONEY, R. J. (1991). First-order theory revision. In L. BIRNBAUM & G. COLLINS, Eds. Machine Learning: Proceedings of the Eighth International Workshop, pp. 447-481. Evanston, IL: Morgan Kaufmann.
20. ROUSSET, M. C. (1988). On the consistency of knowledge bases: the COVADIS system. In Proceedings of the ECAI88 Conference, pp. 79-84. München, Germany.
21. SAITTA, L., BOTTA, M. & NERI, F. (1993). Multistrategy learning and theory revision. Machine Learning, 11, 153-172.
22. SUWA, M., SCOTT, A. C. & SHORTLIFFE, E. H. (1984). Completeness and consistency in a rule-based system. In B. G. BUCHANAN & E. H. SHORTLIFFE, Eds. Rule-Based Expert Systems, pp. 159-170. Reading, MA: Addison-Wesley.
23. WILKINS, D. C. (1988). Knowledge base refinement using apprenticeship learning techniques. In Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 646-651. Minneapolis, MN.
24. WOGULIS, J. & PAZZANI, M. (1993). A methodology for evaluating theory revision systems: results with AUDREY II. In R. BAJCSY, Ed. Proceedings of the Thirteenth IJCAI Conference, pp. 1128-1134. Chambery, France.