Abstract
This paper proposes a new methodology for the development of Knowledge Based Systems (KBS). The key characteristics of knowledge based systems are examined, with particular emphasis on those aspects of developing such systems which differentiate them from more conventional development approaches. Existing KBS development methodologies are considered, and some of the important aspects of these methodologies are adopted/adapted within the new methodology, which seeks to define a methodological approach which satisfies the key requirements of knowledge-based systems development, while ensuring that the key managerial aspects of a methodological approach are also catered for. The proposed methodology is then assessed in the light of the particular difficulties of the paradigm which it seeks to address.
- KADS89 Frank R. Hickman, Jonathan L. Killin, Lisa Land, Tim Mulhall, David Porter, and Robert M. Taylor. Analysis for Knowledge Based Systems: a practical guide to the KADS methodology, Ellis Horwood books 1989. ISBN 0-13-035288-8.Google Scholar
- GIAR89 Joseph C. Giarratano, and Gary Riley. Expert Systems: Principles and Programming, PWS-Kent publishing 1989. ISBN 0-87835-335-6.Google Scholar
- HAYS83 Frederick Hayes-Roth, D. A. Waterman, Douglas B. Lenat. Building Expert Systems. Addison-Wesley 1983. ISBN 0-201-10686-8.Google Scholar
- IEEE830 IEEE Guidelines for Software Requirements Specifications. ANSI/IEEE Std 830.Google Scholar
- IEEE729 IEEE Standard Glossary of Software Engineering Terminology. ANSI/IEEE Std 729.Google Scholar
- GREN87 Christopher J. R. Green, Marlene M. Keyes. Verification and Validation of Expert Systems. Proceedings: WESTEX-87 - Western Conference on Expert Systems, 1987, pp. 38-43.Google Scholar
- RMOK87 Robert M. O'Keefe, Osman Balci, and Eric P. Smith. Validating Expert System Performance. IEEE Expert, Winter 1987, pp. 81-87.Google Scholar
- CULB87 Chris Culbert, Gary Riley, Robert T. Savely. Approaches to the Verification of Rule-Based Expert Systems. SOAR'87: First annual Workshop on Space Operation Automation and Robotics, 1987, pp. 27-37.Google Scholar
- TOLM94 C. J. Tolmie. The use of Prototyping for the Development of a System with both a Knowledge-Based component and a Software-Based component. Information and Decision Technologies 19 (1994) pp. 267-275.Google Scholar
- MACL86 Kenneth J. MacLeish, and David A. Vennergrund. An Expert System Development Life Cycle Model and its relevance to Traditional Software Systems. Procs. of The International Phoenix Conference on Computers and Computing, 1986, pp. 592-596.Google Scholar
- AYEL91 Marc Ayel, Jean-Pierre Laurent. SACCO-SYCOJET; Two different ways of Verifying Knowledge-Based Systems. Chap 5. of Validation, Verification and Test Of Knowledge Based Systems. Wiley 1991. ISBN 0-471-93018-0. Google ScholarDigital Library
- NGUY87 Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, and Deanne Pecora. Knowledge Base Verification. AI Magazine, Vol. 8, No. 2 Summer 1987, pp. 69-75. Google ScholarDigital Library
- SUWA82 Motoi Suwa, A. Carlisle Scott, Edward H. Short-liffe. An approach to Verifying Completeness and Consistency in a Rule-Based Expert System. AI Magazine, Vol. 3, No. 4, pp. 16-21.Google Scholar
- BOEH88 Barry W. Boehm. A Spiral Model of Software Development and Enhancement. Computer, May 1988, pp. 61-72. Google ScholarDigital Library
- MARC87 Bruce Marcot. Testing Your Knowledge Base. AI Expert, August 1987, pp. 43-47. Google ScholarDigital Library
Index Terms
- A proposed methodology for knowledge based systems development
Recommendations
MASD: Multi-agent systems development methodology
In recent years, multi-agent systems gained growing acceptance as a required technology to develop complex distributed systems. As result, there is an increased need for practical methodology for developing such systems. This paper presents a new Multi-...
Comments