A graph-based approach for rule integrity and maintainability in expert system maintenance

Information and Management

Volumn 33, Issue 6, 1998, Pages 273-285

  Higa, Kunihiko ^a   Lee, Ho Geun ^b  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

^b Yonsei University   (South Korea)

Author keywords

Graph based method; Knowledge base maintenance; Rule base; Rule integrity; Rule maintainability

Indexed keywords

COMPUTER SOFTWARE; DECISION SUPPORT SYSTEMS; GRAPH THEORY; ITERATIVE METHODS; MAINTAINABILITY; MAINTENANCE; MATHEMATICAL MODELS;

KNOWLEDGE BASE MAINTENANCE; OBJECT CLASSIFICATION MODEL; RULE INTEGRITY; RULE MAINTAINABILITY;

EXPERT SYSTEMS;

EID: 0347177396     PISSN: 03787206     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0378-7206(98)00037-8     Document Type: Article

References (26)

1. R. Agarwal, M. Tanniru, A structured methodology for developing production systems, Decision Support Systems 8, 1992, pp. 483-499.
2. R. Agarwal, M. Tanniru, A Petri-Net based approach for verifying the integrity of production systems, International Journal of Man-Machine Studies 36, 1992, pp. 447-468.
3. J. Bachant, E. Soloway, The engineering of XCON, Communications of the ACM 32(3), 1989, pp. 311-317.
4. V.E. Barker, D.E. O'Connor, Expert systems for configuration at Digital: XCON and beyond, Communications of the ACM 32(3), 1989, pp. 298-310.
5. A. Basu, R.W. Blanning, Metagraphs: A tool for modeling decision support systems, Management Science 40(12), 1994, pp. 1579-1600.
6. B.W. Boehm, Software Engineering Economics, Prentice Hall, 1981.
7. F. Coenen, T. Bench-Capon, Maintenance of Knowledge-based Systems, Academic Press, London, 1993.
8. B.J. Cragun, H.J. Steudel, A decision-table-based processor for checking completeness and consistency in rule-based expert systems, International Journal of Man-Machine Studies 26, 1987, pp. 633-648.
9. J.S. Davis, Effect of modularity on maintainability of rule-based systems, International Journal of Man-Machine Studies 32, 1990, pp. 439-447.
10. T.A. Defanti, M.D. Brown, Visualization: Expanding scientific and engineering research opportunities, Computer, August 1989, pp. 12-25.
11. T.G. Gill, Early expert systems: Where are they now, MIS Quarterly, March 1995, pp. 51-81.
12. A. Ginsberg, A new approach to checking knowledge bases for inconsistency and redundancy, Proceedings of the Third Annual Expert Systems in Government Conference, Washington, DC, 1987, pp. 102-111.
13. A. Ginsberg, Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy, Proceeding of National Conference on Artificial Intelligence, 1988, pp. 595-589.
14. R.C. Hicks, Minimizing maintenance anomalies in expert systems, Information and Management 28, 1995, pp. 177-184.
15. K. Higa, Y. Liou, Object classification model (OCM): A graph-based technique for knowledge acquisition and representation, Proceedings of the 7th Banff Knowledge Acquisition for Knowledge-based Systems Workshop, Banff, Alberta, Canada, 1992, pp. 13.1-13.13.
16. K. Higa, O.R. Liu Sheng, An object-oriented methodology for an end-user logical database design: The structured entity model approach, Proceedings of IEEE 13th International Computer Software and Applications Conference, Orlando, FL, 1989, pp. 365-373.
17. R.J.K. Jacob, J.N. Froscher, A software engineering methodology for rule based systems, IEEE Transactions on Knowledge and Data Engineering 2(2), 1990, pp. 173-189.
18. C. Kai, S. Weston, Software maintainability: Perceptions of EDP professionals, MIS Quarterly 12(2), 1988, pp. 167-186.
19. D.L. Nazareth, Issues in the verification of knowledge in rule-based systems, International Journal of Man-Machine Studies 30, 1989, pp. 255-271.
20. H.P. Newquist III, Struggling to maintain, AI Expert 3(8), 1988, pp. 69-71.
21. T.A. Nguyen, Verifying consistency of production systems, Proceedings of The Third Conference on Artificial Intelligence Applications, IEEE Computer Society Press, Washington, DC, 1987, pp. 4-8.
22. T.A. Nguyen, W.A. Perkins, T.J. Laffey, D. Pecora, Checking and expert system's knowledge base for consistency and completeness, Proceedings of IJCAI85, 1985, pp. 375-378.
23. T.A. Nguyen, W.A. Perkins, T.J. Laffey, D. Pecora, Knowledge base verification, AI Magazine, Summer 1987, pp. 69-75.
24. M. Suwa, A.C. Scott, E.H. Shortliffe, An approach to verifying completeness and consistency in a rule-based expert system, AI Magazine (1982) 16-21.
25. M. Suwa, A.C. Scott, E.H. Shortliffe, Completeness and consistency in a rule-based system, in: B.G. Buchanan, E.H. Shortliffe (Eds.), Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project, Reading, MA: Addison-Wesley, 1984, pp. 159-170.
26. B.P. Zeigler, System-theoretic representation of simulation models, IIE Transactions 16(1), 1985, pp. 19-34.