Methodologies for the development of knowledge-based systems, 1982–2002

Knowledge-based systems have often been criticised for the limited theoretical base upon which they are constructed. This view asserts that systems are often developed in an ad hoc, individual way that leads to unmaintainable, unreliable and non-rigorous systems. The last decade, however, has seen an increased effort to produce methodologies to counter this view as well as continued research into validation and verification techniques. This paper presents a brief discussion of some of the important research in knowledge-based system life cycles and development methods. Methodologies are considered and are discussed in light of two sets of quality assurance criteria.

[1]  Trevor J. M. Bench-Capon,et al.  Validation and verification of knowledge-based systems: report on EUROVAV99 , 2000, Knowl. Eng. Rev..

[2]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[3]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[4]  Grigoris Antoniou,et al.  On the Verification of Modular Logical Knowledge Bases , 1993, EUROVAV.

[5]  J. M. Akkermans,et al.  Expertise Model Definition Document , 1994 .

[6]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[7]  B. U. Livson A practical approach to software quality assurance , 1988, SOEN.

[8]  J. A. Van Weelderen,et al.  MEDESS: A methodology for designing expert support systems , 1993 .

[9]  Alun D. Preece,et al.  Toward a quality assessment framework for knowledge-based systems , 1995, J. Syst. Softw..

[10]  Robert Plant,et al.  A survey of tools for the validation and verification of knowledge-based systems: 1985-1995 , 1997, Decis. Support Syst..

[11]  Erik van Veenendaal,et al.  Measuring software product quality , 2002 .

[12]  Hossein Soltan,et al.  Towards a comprehensive methodology for KBS development , 1993 .

[13]  Luis Torres,et al.  Verification and validation of the SACHEM conceptual model , 2002, Int. J. Hum. Comput. Stud..

[14]  John Yen,et al.  A task-based methodology for specifying expert systems , 1993, IEEE Expert.

[15]  Mark D. Grover,et al.  A Pragmatic Knowledge Acquisition Methodology , 1983, IJCAI.

[16]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[17]  E. Shortliffe Computer-based medical consultations: mycin (elsevier north holland , 1976 .

[18]  C. J. Koomen The Communication Model , 1991 .

[19]  Douglas B. Lenat,et al.  CYC: a large-scale investment in knowledge infrastructure , 1995, CACM.

[20]  Rose F. Gamble,et al.  Using meta-knowledge within a multilevel framework for KBS development , 1997, Int. J. Hum. Comput. Stud..

[21]  Anthony I. Wasserman,et al.  Characteristics of Software Development Methodologies , 1983, CRIS.

[22]  Barry Boehm,et al.  The Spiral Model as a Tool for Evolutionary Acquisition , 2001 .

[23]  M. A. Bramer,et al.  KBS methodology as a framework for co-operative working , 1993 .

[24]  Bob J. Wielinga,et al.  Steps in Constructing Problem Solving Methods , 1993, EKAW.

[25]  Richard Fikes,et al.  Tools for Assembling Modular Ontologies in Ontolingua , 1997, AAAI/IAAI.

[26]  Watts S. Humphrey,et al.  Managing the software process , 1989, The SEI series in software engineering.

[27]  Carolien Metselaar,et al.  Organisation Model: Model Definition Document, Deliverable ESPRIT project P5248, KADS-II/T M6/DM6.2c/UvA/041/3.0 , 1994 .

[28]  Michael J. Freiling,et al.  Knowledge Level Engineering Ontological Analysis , 1986, AAAI.

[29]  Larry Kerschberg,et al.  Developing knowledge-based systems: reorganizing the system development life cycle , 1989, CACM.

[30]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[31]  Thierry Delaitre,et al.  Prototype-oriented development of high-performance systems , 1997, Proceedings of PDSE '97: 2nd International Workshop on Software Engineering for Parallel and Distributed Systems.

[32]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[33]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[34]  Nathalie N. Mitev,et al.  The business failure of knowledge-based systems: linking knowledge-based systems and information systems methodologies for strategic planning , 1994, J. Inf. Technol..

[35]  John V. Guttag,et al.  Abstract data types and the development of data structures , 1977, CACM.

[36]  S. Price,et al.  The Kadess knowledge-based system: employing the Kads methodology in an engineering application , 1993 .

[37]  Sally C. Johnson Validation of highly reliable, real-time knowledge-based systems , 1988 .

[38]  David E. Avison,et al.  The fiction of methodological development: a field study of information systems development , 1999, Inf. Technol. People.

[39]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[40]  Jens Liegle,et al.  The efficacy of matching information systems development methodologies with application characteristics - an empirical study , 1999, J. Syst. Softw..

[41]  John Kingston Pragmatic KADS: a methodological approach to a small knowledge‐based systems project , 1992 .

[42]  Hossein Soltan,et al.  A suggested descriptive framework for the comparison of knowledge‐based systems methodologies , 1991 .

[43]  Michael R. Genesereth,et al.  Knowledge Interchange Format , 1991, KR.

[44]  John Rushby,et al.  Quality Measures and Assurance for AI (Artificial Intelligence) Software , 1988 .

[45]  Rose F. Gamble,et al.  Rule-based systems formalized within a software architectural style , 1999, Knowl. Based Syst..

[46]  Luqi,et al.  Specifications in software prototyping , 1998, J. Syst. Softw..