Validating dynamic properties of rule-based systems

International Journal of Human Computer Studies

Volumn 44, Issue 2, 1996, Pages 145-169

  Preece, Alun D ^a   Grossner, Cliff ^b   Radhakrishnan, T ^b  

^a UNIVERSITY OF ABERDEEN   (United Kingdom)

^b Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (32)

1. ADELMAN, L. (1991). Experiments, quasi-experiments, and case studies; a review of empirical methods for evaluating decision support systems. IEEE Transactions on Systems, Man, and Cybernetics, 21, 293-301.
2. ADRION, W. R., BRANSTAD, M. A. & CHERNIAVSKY, J. C. (1982). Validation, verification and testing of computer software. ACM Computing Surveys, 14, 159-192.
3. AYEL, M. & LAURENT, J.-P., Eds (1991). Verification, Validation and Test of Knowledge-based Systems. London: John Wiley and Sons.
4. BATAREKH, A., PREECE, A. D., BENNETT, A. & GROGONO, P. (1991). Specifying an expert system. Expert Systems with Applications, 2, 285-303.
5. CLANCEY, W. J. (1992). Model construction operators. Artificial Intelligence, 53, 1-115.
6. GIARRATANO, J. & RILEY, G. (1989). Expert Systems: Principles and Programming. New York, NY: PWS-Kent.
7. GINSBERG, A. & WILLIAMSON, K. (1993). Inconsistency and redundancy checking for quasi-first-order-logic knowledge bases. International Journal of Expert Systems: Research and Applications, 6, 321-340.
8. GROSSNER, C. (1994). Models and tools for cooperating rule-based systems. PhD thesis, McGill University.
9. GROSSNER, C., GOKULCHANDER, P., PREECE, A. & RADHAKRISHNAN, T. (1993). Data distribution in organizations of cooperating expert systems. 12th International Workshop on Distributed Artificial Intelligence, Pittsburgh, PN, USA.
10. GROSSNER, C., LYONS, J. & RADHAKRISHNAN, T. (1991). Validation of an expert system intended for research in distributed artificial intelligence. 2nd CLIPS Conference, Johnson Space Center, Houston, TX, USA.
11. GROSSNER, C., LYONS, J. & RADHAKRISHNAN, T. (1992). Towards a tool for design of cooperating expert systems. 4th International Conference on Tools for Artificial Intelligence, Arlington, USA.
12. GROSSNER, C., PREECE, A., GOKULCHANDER, P., RADHAKRISHNAN, T. & SUEN, C. (1993). Exploring the structure of rule based systems. Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 93), pp. 704-709. Washington D.C.
13. GUPTA, U. G. (1990). Validating and Verifying Knowledge-based Systems. Los Alamitos, CA: IEEE Press.
14. HAYES-ROTH, F. (1985). Rule-based systems. Communications of the ACM, 28, 921-932.
15. KIPER, J. D. (1992). Structural testing of rule-based expert systems. ACM Transactions on Software Engineering and Methodology, 1, 168-187.
16. KIRANI, S., ZUALKERNAN, I. A. & TSAI, W.-T. (1992). Comparative evaluation of expert system testing methods. Technical Report TR 92-30, Department of Computer Science, University of Minnesota, MN.
17. LAFFEY, T. J., Cox, P. A., SCHMIDT, J. L., KAO, S. M. & READ, J. Y. (1988). Real-time knowledge-based systems. AI Magazine, 9, 27-45.
18. MESEGUER, P. & VERDAGUER, A. (1993). Verification of multi-level rule-based expert systems: theory and practice. International Journal of Expert Systems: Research and Applications, 6, 163-192.
19. MILLER, L. (1990). Dynamic testing of knowledge bases using the heuristic testing approach. Expert Systems with Applications, 1, 249-270.
20. MILLER, L. A., GROUNDWATER, E. & MIRSKY, S. M. (1993). Survey and assessment of conventional software verification and validation methods. Technical Report NUREG/CR-6018; EPRI TR-102106; SAIC-91/6660, Science Applications International Corporation; U.S. Nuclear Regulatory Commission; Electric Power Research Institute.
21. NAZARETH, D. L. (1993). Investigating the applicability of petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering, 4, 402-415.
22. O'KEEFE, R. M., BALCI, O. & SMITH, E. P. (1987). Validating expert system performance. IEEE Expert, 2, 81-90.
23. O'KEEFE, R. M. & O'LEARY, D. E. (1993). Expert system verification and validation: a survey and tutorial. Artificial Intelligence, Review, 7, 3-42.
24. PREECE, A., GROSSNER, C., GOKULCHANDER, P. & RADHAKRISHNAN, T. (1994). Structural validation of expert systems: Experience using a formal model. In J. LIEBOWITZ, Ed. World Congress on Expert Systems. Macmillan New Media. Published on CD-ROM.
25. PREECE, A. D., SHINGHAL, R. & BATAREKH, A. (1992). Verifying expert systems: a logical framework and a practical tool. Expert Systems with Applications, 3, 421-436.
26. PREECE, A. D. & SUEN, C. Y. (1993). Special issue on verification and validation. International Journal of Expert Systems: Research and Applications, 6(2/3).
27. RICH, E. (1983). Artificial Intelligence. New York, NY: McGraw Hill.
28. RUSHBY, J. & CROW, J. (1990). Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit. NASA Contractor Report CR-187466. Menlo Park CA: SRI International.
29. SIMON, H. A. (1973). The structure of ill-structured problems. Artificial Intelligence, 4, 181-201.
30. STEELS, L. (1990). Components of expertise. AI Magazine, 11, 29-49.
31. WIELINGA, B. J., SCHREIBER, A. T. & BREUKER, J. A. (1992). KADS: a modelling approach to knowledge engineering. Knowledge Acquisition, 4, 5-54.
32. ZLATAREVA, N. & PREECE, A. (1993). An effective logical framework for knowledge-based systems verification. Proceedings 1993 Florida AI Research Symposium (FLAIRS 93), Orlando, FL, USA.