Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
1994 Volume 9
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

A comparison of languages which operationalize and formalize KADS models of expertise

More Information
  • Abstract: In the field of knowledge engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the contruction of knowledge-based systems. Instead of immediately implementing the gathered and interpreted knowledge in a given implementation formalism according to the rapid-prototyping approach, many such methodologies centre around the notion of a conceptual model: an abstract, implementation independent description of the relevant problem solving expertise. A conceptual model should describe the task which is solved by the system and the knowledge which is required by it. Although such conceptual models more precisely, and operationally as a means for model evaluation. In this paper, we study a number of such formal and operational languages for specifying conceptual models. To enable a meaningful comparison of such languages, we focus on languages which are all aimed at the same underlying conceptual model, namely that from the KADS method for building KBS. We describe eight formal languages for KADS models of expertise, and compare these languages with respect to their modelling primitives, their semantics, their implementations and their applications, Future research issues in the area of formal and operational specification languages for KBS are identified as the result of studying these languages. The paper also contains an extensive bibliography of research in this area.
  • 加载中
  • Aben M, 1992. “Guidelines for the formal specification of KADS models of expertise”. In: Balder J and Akkermans J (eds.), Formal Methods for Knowledge Modelling in the Common KADS Methodology, Netherlands Energy Research Foundation.

    Google Scholar

    Aben M, 1993. “Formally specifying reusable knowledge model components” Knowledge Acquisition Journal, 5(2).

    Google Scholar

    Aben M and van Harmelen. F, 1992. Design and Implementation of Si (ML)22.0, Technical report, KADS-II/ T1.2/SP/UvA/030/2.0, SWI, University of Amsterdam, 10.

    Google Scholar

    ACM SIGSOFT Software Engineering Notes, vol 7, no 5, 1982.

    Google Scholar

    Angele J, Fensel D, Landes D and Studer R, 1991. An assignment problem in Sisyphus – No problem with KARL. In: Linster M (ed.), Sisyphus 91: Models of Problem Solving, GMD, Germany.

    Google Scholar

    Angele J, Fensel D and Landes D, 1992a “Two languages to do the same?” In: Proceedings 2nd Workshop Informationssysteme und Künstliche Intelligenz, 0224–26, Ulm, Informatik-Fachberichte, no 303, Springer;Verlag.

    Google Scholar

    Angele J, Fensel D and Landes D, 1992b. “An executable model at the knowledge level for the office- assignment task”. In: Linster M. (ed.), Sisyphus 92: Models of Problem Solving, GMD, Germany.

    Google Scholar

    Angele J, Fensel D, Landes D, Neubert S and Studer R, 1993. “Model-based and incremental knowledge engineering: The MIKE approach”. In: Cuena J (ed.), Knowledge Oriented Software Design, IFIP Transactions A-27, North Holland.

    Google Scholar

    Angele J, Fensel D and Studer R, 1990. “Applying software engineering methods and techniques to knowledge engineering”. In: Ehrenberg D. (eds.), Wissensbasierte Systeme in der Betriebswirtschaft, Reihe betriebliche Informations- und Kimmunikationssysteme, no 15, Erich Schmidt Verlag.

    Google Scholar

    Angele J, Fensel D and Studer R, 1994. “The model expertise in KARL”. In: Proceedings 2nd World Congress on Expert Systems, Lisbon/Estoril, Portugal, 0110–14.

    Google Scholar

    Andrews DJ, Groote JF and Middelburg CA, (eds.), 1993. Preliminary Proceedings of the International Workshop on Semantics of Specification Languages SoSL, Utrecht, The Netherlands, 1025–27.

    Google Scholar

    Akkermans H, van Harmelen F, Schreiber G and Wielinga B, 1993. “A. formalisation of knowledge-level models for knowledge acquisition:. In: International Journal of intelligent Systems, Special Issue on Knowledge Acquisition, no 2, vol 8.

    Google Scholar

    Aitken S, Kühn O, Shadbolt N and Schmalhofer F, 1993. “A conceptual model of hierarchical skeletal planning and it formalization”. In: Proceedings 3rd KADS Meeting, Munich, 038–9.

    Google Scholar

    Alford M, 1990 “SREM at the age of eight; the distributed computing design system”. In: Thayer RH and Dorfman M. (eds.), System and Software Requirements Engineering, IEEE Computer Society Press, pp. 392–402.

    Google Scholar

    Angele J, 1992. “Cover and differentiate remodeled in KARL”. In: Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02 17–18, 1992, GMD report no. 212.

    Google Scholar

    Angele J, 1994. “Operationalisierung des Modells der Expertise in KARL” (Operationalization of a model of expertise in KARL), Infix, St. Augustin (in German).

    Google Scholar

    Aitken S, Reichgelt H and Shadbolt N, 1992. Representing KADS models in OIL, AI Group, University of Nottingham, Working Paper WP-006.

    Google Scholar

    Balder J and Akkermans H, 1992. “TheMe: An environment for building formal KADS-II models of expertise”. In: AI Communications, vol 5, no 3.

    Google Scholar

    Balder J and Akkermans H, (eds.), 1992. “Formal methods for knowledge modelling in the CommonKADS methodology”. A compilation report ECN-C-92–080, Netherlands Energy Research Foundation ECN, ZG Petten, The Netherlands.

    Google Scholar

    Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02 17–18, 1992, GMD report no. 212.

    Google Scholar

    Barbuceanu M, 1993. “Towards integrated knowledge modeling environments”. In: Knowledge Acquisition, vol 5, no 3.

    Google Scholar

    Beeri C, 1990. “A formal approach to object-oriented databases”. In: Data and Knowledge Engineering, vol 5, no 4.

    Google Scholar

    Bicarregui JC, Fitzgerald JS, Lindsay PA, Moore R, and Ritchie B, 1993. Proof in VDM: A Practitioner's Guide, Springer Verlag.

    Google Scholar

    Balder J, van Harmelen F and Aben M, 1993. “A KADS/(ML)2 model of a scheduling task”. In: Treur J and Wetter Th (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.

    Google Scholar

    Bjφrner D, Hoare CAR and Langmaack H (eds.), 1990. VDM'90. VDM and Z–Formal Methods in Software Development, Lecture Notes in Computer Science, no 428, Springer-Verlag.

    Google Scholar

    Brachman RJ, 1979. “On the epistemological status of semantic networks”. In: Findler NV (eds.), Associative Networks: Representation and Use of Knowledge by Computers, Academic Press, New York.

    Google Scholar

    Bredeweg B, Reinders M and Wielinga B, 1990. “GARP: a unified approach to qualitative resasoning”, report VF-memo 117, University of Amsterdam.

    Google Scholar

    Bürsner S and Wetter Th, 1992. “An operational KADS modelling language and tool support for its application. In: Proceedings 7th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW'92), Banff, Canada, 10 11–16.

    Google Scholar

    Chandrasekaran B and Johnson TR, 1993. “Generic tasks and task structures: history, critique and new directions”. In: David J-M, Krivine J-P and Simmons R (eds.), Second Generation Expert Systems, Springer-Verlag.

    Google Scholar

    Clancey WJ, 1985. “Heuristic classification”. In: Artificial Intelligence, vol 27.

    Google Scholar

    Clancey WJ, 1992. “Model construction operators”. In: Artificial Intelligence, vol 53, no 1.

    Google Scholar

    Christaller T, di Primo F and Voß A, 1989. Die KI-Werkbank BABYLON (The KI-Tool BABYLON), Assison Wesley, (in Germanm).

    Google Scholar

    Dubois E, Hageistein J and Rifaut A, 1991. “A formal language for the requirements engineering of computer systems”. In: Thayse A (ed), From Natural Language Processing to Logic for Expert Systems, Wiley.

    Google Scholar

    Dijkstra EW, 1976. A Discipline of Programming, Engelwood Cliffs, NJ: Prentice-Hall.

    Google Scholar

    David J-M, Krivine J-P and Simmons R (eds.), 1993. Second Generation Expert Systems, Springer-Verlag.

    Google Scholar

    Drouven U, Karbach W and Voß A, 1992. “Solving the office-allocation task in reflective MODEL-K”. In: Linster M (ed.), Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, 07.

    Google Scholar

    Elmasri R and Navathe SB, 1989. Fundamentals of Database Systems, The Benjamin/Cummings Publishing Company, Houston.

    Google Scholar

    Fensel D, Angele J and Landes D, 1991. “KARL: a knowledge acquisition and representation language”. In: Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques and Methods, 05 27–31, Avignon.

    Google Scholar

    Fensel D, Angele J, Landes D and Studer R, 1993. “Giving structured analysis techniques a formal and operational semantics with KARL. In: Züllighoven H (eds.), Requirements Engineering '93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart.

    Google Scholar

    Fensel D, Eriksson H, Musen MA and Studer R, 1993. “Description and formalization of problem-solving methods for reusability: a case study”. In: Complement Proceedings of the European Knowledge Acquisition Workshop (EKAW'93), Toulouse, France, 09 6–10.

    Google Scholar

    Fensel D, 1993a. “The reconciliation of symbol and knowledge level, research report, Instituts für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, no 266.

    Google Scholar

    Fensel D, 1993b. “The knowledge acquisition and representation language KARL”. PhD thesis, University of Karlsruhe.

    Google Scholar

    Finkelstein A and Potts C, 1987. “Building formal specifications using ‘Structured Common Sense’ ”, In: Proceedings 4th International Workshop on Software Specification and Design, Monterey, California, 04.

    Google Scholar

    Floyd C, 1984. “A systematic look at prototyping”. In: Budde R, (eds.), Approaches to Prototyping, Springer-Verlag.

    Google Scholar

    Greenspan SJ, Borgida A and Mylopoulos J, 1986. “A requirements modeling language and its logic”. In: Information Systems, vol 11, no 1.

    Google Scholar

    Geidel J, 1992. “An environment for modelling and solving optimisation problems”. In: Proceedings 2nd IFIP WG 7.6.-Conference on Optimization-Based Computer Aided Modelling and Design, Schloß Dagstuhl, Germany, 28th 09-1st 10.

    Google Scholar

    de Greef P and Breuker JA, 1992. “Analysing system-user cooperation in KADS. In: Knowledge Acquisition, vol 4, no 1.

    Google Scholar

    van Harmelen F and Balder J, 1992. “(ML)2: a formal language for KADS conceptual models”. In: Knowledge Acquisition, vol 4, no 1.

    Google Scholar

    Harel D, 1984. “Dynamic logic”. In: Gabbay D and Guenthner F (eds.), Handbook of Philosophical Logic, Vol. II: Extensions of Classical Logic, Reidel.

    Google Scholar

    Herzog O and Rollinger C-R (eds.), 1991. Text Understanding in LILOG, Lecture Notes in Artificial Intelligence, no 546, Springer-Verlag.

    Google Scholar

    Hartmann T, Jungclaus R and Saake G, 1993. “Spezifikation von informationssystemen als objektsystemc: das TROLL-Projekt (Specification of information systems as object systems: the TROLL-Project), Emisa Forum, no 1, (in German).

    Google Scholar

    van Harmelen F, Wielinga B, Bredeweg B, Schreiber G, Karbach W, Reinders M, Voß A, Akkermans JM, Bartsch-Spörl B and Vinkhuyzen E, 1992. “Knowledge-level reflection”. In: Le Pape B (eds.), Enhancing the Knowledge-Engineering Process–Contributions from ESPRIT, Elsevier. IEEE Transactions on Software Engineering, vol 3, no 1.

    Google Scholar

    Jonker W and Spee JW, 1992. “Yet another formalisation of KADS conceptual models. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 05 18–22, Heidelberg/Kaiserslautern, Wetter T (eds.), Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag.

    Google Scholar

    Jonker W, Spee JW, in't Veld L and Koopman M, 1991. “Formal approaches towards design in SE and their role in KBS design”. In: Proceedings of the IJCAI'91 Workshop on Software Engineering for Knowledge-Based Systems, Sydney, Australia, 08 24th.

    Google Scholar

    Karbach W, 1993. MODEL-K: Modellierung und Operationalisierung von Selbsteinschätzung und- Steuerung durch Reflexion und Metawissen. PhD thesis, University of Bielefeld, Germany (in German).

    Google Scholar

    Karbach W and Voß A, 1992. “Reflecting about expert systems in MODEL-K”. In: Proceedings of Expert Systems and their Applications, 12th International Workshop, vol 1 (Scientific Conference), 06 1–6, Avignon.

    Google Scholar

    Karbach W and Voß A, 1993. “MODEL-K for prototyping and strategic reasoning at the knowledge level”. In: David J-M, Krivine J-P and Simmons R (eds.), Second Generation Expert Systems, Springer-Verlag.

    Google Scholar

    Karbach W, Voß R, Schuckey R and Drouven U, 1991. “MODEL-K: prototyping at the knowledge level. In: Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques & Methods, 05 27–31, Avignon.

    Google Scholar

    Keene SE, 1989. Object-Oriented Programming in Common Lisp, Addison-Wesley.

    Google Scholar

    Köppen R, Fensel D and Geidel J, 1992. “Modelling the selection of scheduling algorithms with KARL. In: Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02 17–18, GMD report no 212.

    Google Scholar

    Kifer M and Wu J, 1993. “A logic for programming with complex objects”. To appear in Journal of Computer and Systems Science.

    Google Scholar

    Kühn O, Linster M and Schmidt G, 1992. “Clamping, COKAM, KADS and OMOS: the construction and operationalization of a KADS conceptual model”. In: Linster M (eds.), Proceedings 5th European Knowledge Acquisition Workshop EKAW'91, Crieff, Scotland, 05 20–24, GMD-Studien, no 211, 09.

    Google Scholar

    Kifer M, Lausen G and Wu J, 1993. Logical foundations of object-oriented and frame-based languages, technical report 93/06, Department of Computer Science, SUNY at Stony Brook, NY, 04. To appear in Journal of the ACM.

    Google Scholar

    Kowalczyk W and Treur J, 1990. “On the use of a formalized generic task model in knowledge acquisition”. In: Wielinga B (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam.

    Google Scholar

    Kozen D, 1990. “Logis of programs”. In: van Leeuwen J (ed.), Handbook of Theoretical Computer Science, Elsevier.

    Google Scholar

    Landes D, Fensel D and Angele J, 1993. “Formalizing and operationalizing a design task with KARL”. In: Treur J and Wetter Th. (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.

    Google Scholar

    Landes D, Hackenberg D and Schweier T, 1992. “An inference structure for a configuration problem. In: Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02. 17–18, 1992, GMD report no. 212.

    Google Scholar

    Linster M, 1992a. “Tackling the office-plan problem with OMOS”. In: Linster M (ed.) Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, 03.

    Google Scholar

    Linster M, 1992b. “Knowledge acquisition based on explicit methods of problem solving”, PhD thesis, University of Kaiserslautern, 02.

    Google Scholar

    Linster M, 1992c. “Linking modeling to make sense and modeling to implement systems in an operational modeling environment”. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 0518–22, Heidelberg/Kaiserslautern, 1992, Wetter T (eds.), Current Developments in Knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag.

    Google Scholar

    Linster M, 1992d. “Using the operational modelling language OMOS to tackle the Sisyphus '92 office-planning problem. In: Linster M (ed.), Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, 07.

    Google Scholar

    Linster M (ed.), 1992e. Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, 03.

    Google Scholar

    Linster M (ed.), 1992f. Sisyphus '92: Models of Problem Solving, Arbeitspapiere der GMD, no 663, 07.

    Google Scholar

    Linster M.1993. “Using OMOS to represent KADS conceptual models”. In: Schreiber G., Wielinga B and Breuka J. (eds.), KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press.

    Google Scholar

    Linster M, Karbach W, Voß A and Walther J, 1992. “An analysis of the role of operational modelling languages in the development of knowledge-based systems”. Proceedings 2nd Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop (JKAW'1992), Hatoyama, Japan, 119–13.

    Google Scholar

    Linster M and Musen M, 1992. “The inference structure of K-ONCOCIN: skeletal plan refinement”. In: Bauer C and Karbach W (eds.), Interpretation Models for KADS–Proceedings 2nd KADS User Meeting (KUM'92), Muenich, 02. 17–18, 1992, GMD report no. 212.

    Google Scholar

    Lloyd JW, 1987. Foundations of Logic Programming, 2nd Edition, Springer-Verlag, Berlin.

    Google Scholar

    Lausen G, Nemeth T, Oberweis A, Schönthaler F and Stucky W, 1989. “The INCOME approach for conceptual modelling and prototyping of information systems. In: Proceedings 1st Nordic Conference on Advanced Systems Engineering CASE'89, Stockholm, Sweden, 05 9–11.

    Google Scholar

    van Langevelde I, Philipsen A and Treur J, 1992. “A compositional Architectures”. In: Proceedings 10th European Conference on AI (EAI-92), Vienna, Austria, 08 3–7.

    Google Scholar

    van Langevelde I, Philipsen A and Treur J, 1993. “Formal specification of compositional architecture for simple design formally specified in DESIRE”. In: Treur J and Wetter Th (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.

    Google Scholar

    Marcus S (ed.), 1988. Automating Knowledge Acquisition for Experts Systems, Kluwer.

    Google Scholar

    Marques D, Dallemagne G, Klinker G, McDermott J and Tung D, 1992. “Easy programming: empowering people to build their own applications”. In: IEEE Expert, vol 7, no 3.

    Google Scholar

    Möller J-U, 1992. “Towards declarative programming in conceptual models”. In: Proceedings 2nd Workshop Inforniationssystem und Künstliche Intelligenz, 02 24–26, Ulm, Informatik Fachbericht, no. 303, Springer-Verlag.

    Google Scholar

    Musen MA, 1989. Automated Generation of Model-Based Knowledge-Acquisition Tools, Morgan Kaufmann.

    Google Scholar

    Neubert S and Maurer F, 1993. “A tool for model based knowledge engineering. In: Proceedings 13th International Conference Al, Expert Systems, Natural Language (Avignon '93), 05 24–28, Avignon.

    Google Scholar

    Newell A, 1982. “The knowledge level”. In: Artificial Intelligence, vol 18.

    Google Scholar

    Puerta AR, Edgar JW, Tu SW and Musen MA, 1992. “A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools”. In: Knowledge Acquisition, vol 4 no 2.

    Google Scholar

    Przymusinski TC, 1988. “On the declarative semantics of deductive databases and logic programs”. In: Minker J (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann.

    Google Scholar

    Schreiber G, Akkermans H and Wielinga B, 1989. “On problems with the knowledge level perspective. In: Proceedings 5th Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada, 11.

    Google Scholar

    Schreiber G.1992. Pragmatics of the Knowledge Level, PhD thesis, University of Amsterdam.

    Google Scholar

    Shutt RN, 1989. “A rigorous development strategy using the OBJ specification language and the MALPAS progam analysis tool. In: Proceedings 2nd European Software Engineering Conference ESEC'89, Warwick, UK, 09 11–15, 1989, Lecture Notes in Computer Science, vol 387, Springer-Verlag.

    Google Scholar

    Steels L, 1992. “Reusability and configuration of applications by non-programmers”, technical report VUB AI-memo 92–4, Free University of Brussel, Brussels.

    Google Scholar

    Schreiber G, Wielinga B and Akkermans H, 1992. “Differentiating problem solving methods”. In: Proceedings 6th European Knowledge Acquisition for Knowledge-Based Systems Workshop (EKAW-92), 05 18–22, Heidelberg/Kaiserslautern, Wetter T (eds.), Current Developments in knowledge Acquisition, Lecture Notes in Artificial Intelligence, no 599, Springer-Verlag.

    Google Scholar

    Schreiber G, Wielinga B and Breuka J (eds.), 1993. KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press.

    Google Scholar

    Thayer RH and Dorfman M (eds.), 1990. System and Software Requirements Engineering, IEEE Computer Society Press.

    Google Scholar

    Teije At, van Harmelen F and Reinders M, 1991. “Si(ML)2: a prototype interpreter or a subset of (ML)2, ESPRIT project P5248 KADS-II”, report KADS-II/T1.2/TR/UvA/005/1.0, University of Amsterdam.

    Google Scholar

    Treur J and Wetter Th (eds.), 1993. Formal Specification of Complex Reasoning Systems, Ellis Horwood.

    Google Scholar

    Ullman JD, 1988. Principles of Database and Knowledge-Base Systems, vol I, Computer Sciences Press. in't

    Google Scholar

    Veld L, Jonker W and Spee JW, 1993. “The specification of complex reasoning tasks in KBSSF. In: Treur J and Wetter Th (eds.), Formal Specification of Complex Reasoning Systems, Ellis Horwood.

    Google Scholar

    Voß A, Karbach W, Schuckey R and Drouven U, 1992. “The office planning problem in MODEL-K. In: Linster M (ed.) Sisyphus '91: Models of Problem Solving, Arbeitspapiere der GMD, no 630, 03.

    Google Scholar

    Voß A and Karbach W, 1993. “MODEL-K: making KADS run”. In: Schreiber G, Wielinga B, and Breuka J (eds.), 1993. KADS. A Principled Approach to Knowledge-Based System Development, Knowled-Based Systems, vol 11, Academic Press.

    Google Scholar

    Voss H and Voss A, 1993. “Reuse-oriented knowledge engineering with MoMo”. In Proceedings 5th International Conference on Software Engineering and Knowledge Engineering (SEKE'93), San Francisco Bay, 0614–18.

    Google Scholar

    Voß A, Voß H, Walther J and Hemman T, 1993. “Model-driven prototyping—prototyping-driven modelling in knowledge-based system”. In: Züllighoven (eds.), Requirements Engineering '93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart.

    Google Scholar

    Wetter T, 1990. “First order logic foundation of the KADS conceptual model. In: Wielinga B (eds.), Current Trends in Knowledge Acquisition, IOS Press, Amsterdam.

    Google Scholar

    Wetter T, 1992. “FORKADS: an executable language for the KADS conceptual and interpretation models”. Habilitationsschrift, University of Kaiserslautern, Germany.

    Google Scholar

    Wetter T and Schmidt W, 1991. “Formalization of the KADS interpretation models”. In: Proceedings 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB91), Leeds, GB, 04 16–19.

    Google Scholar

    Wielinga BJ, Schreiber ATh and Breuker JA, 1992. “KADS: a modelling approach to knowledge engineering”. In: Knowledge Acquisition, vol 4 no 1.

    Google Scholar

    Wielinga BJ, Van de Velde W, Schreiber ATh and Akkermans JM, 1993. “Towards a unification of knowledge modelling approaches”. In: David J-M, Krivine J-P and Simmons R (eds.), Second Generation Expert Systems, Springer-Verlag.

    Google Scholar

    Yourdon E, 1989. Modern Structured Analysis, Prentice-Hall.

    Google Scholar

    Zave P, 1991. “An insider's evaluation of PAISLey”. In: IEEE Transactions on Software Engineering, vol 17, no 3.

    Google Scholar

  • Cite this article

    Dieter Fensel, Frank van Harmelen. 1994. A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review. 9:6767 doi: 10.1017/S0269888900006767
    Dieter Fensel, Frank van Harmelen. 1994. A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review. 9:6767 doi: 10.1017/S0269888900006767
    shu
Download PDF

Article Metrics

Article views(15) PDF downloads(108)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

A comparison of languages which operationalize and formalize KADS models of expertise

  • Published online: 07 July 2009
The Knowledge Engineering Review  9,  Article number: 10.1017/S0269888900006767  (1994)  |  Cite this article

Abstract: Abstract: In the field of knowledge engineering, dissatisfaction with the rapid-prototyping approach has led to a number of more principled methodologies for the contruction of knowledge-based systems. Instead of immediately implementing the gathered and interpreted knowledge in a given implementation formalism according to the rapid-prototyping approach, many such methodologies centre around the notion of a conceptual model: an abstract, implementation independent description of the relevant problem solving expertise. A conceptual model should describe the task which is solved by the system and the knowledge which is required by it. Although such conceptual models more precisely, and operationally as a means for model evaluation. In this paper, we study a number of such formal and operational languages for specifying conceptual models. To enable a meaningful comparison of such languages, we focus on languages which are all aimed at the same underlying conceptual model, namely that from the KADS method for building KBS. We describe eight formal languages for KADS models of expertise, and compare these languages with respect to their modelling primitives, their semantics, their implementations and their applications, Future research issues in the area of formal and operational specification languages for KBS are identified as the result of studying these languages. The paper also contains an extensive bibliography of research in this area.

    HTML

    Rights and permissions
    • Copyright © Cambridge University Press 19941994Cambridge University Press
References (110)
  • About this article
    Cite this article
    Dieter Fensel, Frank van Harmelen. 1994. A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review. 9:6767 doi: 10.1017/S0269888900006767
    Dieter Fensel, Frank van Harmelen. 1994. A comparison of languages which operationalize and formalize KADS models of expertise. The Knowledge Engineering Review. 9:6767 doi: 10.1017/S0269888900006767
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return