Skip to main content

Validierung von konzeptuellen Modellen

  • Conference paper
Expertensysteme 93

Part of the book series: Informatik aktuell ((INFORMAT))

  • 84 Accesses

Zusammenfassung

In diesem Papier stellen wir einen Interpreter vor, der die Validierung von konzeptuellen Modellen bereits in frühen Entwicklungsphasen unterstützt Wir vergleichen Hypermedia- und Expertensystemansätze zur Wissensverarbeitung und erläutern, wie ein integrierter Ansatz die Erstellung von Expertensystemen vereinfacht. Das von uns entwickelte Knowledge Engineering Werkzeug ermöglicht einen „sanften“ Übergang von initialen Protokollen über eine semi-formale Spezifikation in Form eines getypten Hypertextes hin zu einem operationalen Expertensystem. Ein Interpreter nutzt die in diesem Prozeß erzeugte Zwischenrepräsentation direkt zur interaktiven Lösung von Problemen, wobei einzelne Aufgaben über ein lokales Rechnernetz auf die Bearbeiter verteilt werden. Das heißt, die Spezifikation des Expertensystems wird direkt für die Lösung realer Probleme eingesetzt. Existieren zu einzelnen Teilaufgaben Operationalisierungen (d.h. Programme), dann werden diese vom Computer bearbeitet.

Diese Arbeit wurde teilweise unterstützt vom Ministerium für Wirtschaft und Verkehr des Landes Rheinland-Pfalz im Rahmen des Projektes „Integration von Hypermedia und Expertensystemen“

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Angele, J.; Fensel, D.; Landes, D.; and Studer, R: KARL: An Executable Language for the Conceptual Model. In: Proceedings of the Knowledge Acquisition for Knowledge- Based Systems Workshop KAW’91, October 6–11, Banff, 1991

    Google Scholar 

  2. Anjewierden, A., Wielemaker, J., Toussant, C.: Shelley - computer aided knowledge engineering, 1992, in [23]

    Google Scholar 

  3. Bartsch-Spörl, B.: A Simple Interpretation Model for Case-Based Reasoning, 1992, in [4]

    Google Scholar 

  4. Bauer, Ch., Karbach, W.: Proc. 2nd KADS User Meeting, Siemens AG, 17–18. Feb. 1992

    Google Scholar 

  5. Bielawski, L., Lewand, R.: Intelligent Systems Design, Wiley 1991

    Google Scholar 

  6. Biethahn, J.; Bogaschewsky, R.; Hoppe, U. (Hrsg.): Expertensysteme in der Wirtschaft 1992 - Anwendungen und Integration mit Hypermedia, Gabler Verlag, 1992

    Google Scholar 

  7. Boehm, B. W: Software Engineering Economics, Englewood Cliffs NJ: Prentice-Hall, 1981

    MATH  Google Scholar 

  8. Boehm, B. W: A Spiral Model of Software Development and Enhancemant, Computer, 21, 5 (May 1988), p. 61–72

    Article  Google Scholar 

  9. Breuker, J.; Wielinga, B.; Someren, M. v.; de Hoog, R.; Schreiber, G.; de Greef, P.; Bre-deweg, B.; Wielemaker, J.; and Billault, J.-R: Model-Driven Knowledge Acquisition: Interpretation Models. Esprit Project P1098, University of Amsterdam (The Netherlands), 1987

    Google Scholar 

  10. Bürde, M.: Die langfristige Sicherung von Grundwasservorkommen - durch die Auswei-sung von Grundwasservorranggebieten - als gemeinsame Aufgabe von Raumplanung und Fachplanung, Unveröffentliches Manuskript; Dissertation im Fachbereich ARUBI, Universität Kaiserslautern, 1992

    Google Scholar 

  11. Campbell, B., Goodman, J. M.: HAM: A General Purpose Hypertext Abstract Machine, Communications of the ACM, July 1988, Vol. 31, No. 7

    Google Scholar 

  12. Conklin, J.: Hypertext: An introduction and survey. Survey and tutorial series. IEEE Computer, September 1987, S. 17–41

    Google Scholar 

  13. de Greef, H. P, Breuker, J. A.: Analysing system-user cooperation in KADS, In [23]

    Google Scholar 

  14. Hemker, H..: Entwurf und Implementierung eines Expertensystems mit GIS-Kopplung, Diplomarbeit Uni Kaiserslautern, 1992

    Google Scholar 

  15. Hoppe, U.: Einsatz von Hypertext/Hypermedia zur Verbesserung der Erklärungsfähigkeit wissensbasierter Systeme, 1992, in [6]

    Google Scholar 

  16. Jäckel, Th.: Entwurf und Implementierung einer Benutzeroberfläche für ein Expertensy-stem unter Berücksichtigung planerischer Vorgehensweisen, Diplomarbeit Uni Kaisers-lautern, 1992

    Google Scholar 

  17. Maurer, F. (Hrsg.): Proc.Workshop “Expertensysteme und Hypermedia”, Seki-Working- Paper, 7.11.1991, Kaiserslautern

    Google Scholar 

  18. Maurer, F.: HyperCAKE: Ein Wissensakquisitionssystem für hypermediabasierte Exper-tensysteme, 1992, in [6]

    Google Scholar 

  19. Maurer, F., Pews, G.: Hypermedia als Zwischenrepräsentation bei der Expertensystem- entwicklung, Proc. Hypermedia 93, Springer Verlag, 1993

    Google Scholar 

  20. Neubert, S.: Einsatz von Hypermedia im Bereich der modellbasierten Wissensakquisi- tion, 1992, in [6]

    Google Scholar 

  21. Nielsen, J.: Hypertext & Hypermedia. Academic Press, San Diego, London, 1990

    Google Scholar 

  22. Sommerville, I.: Software Engineering, Addison-Wesley, 1992 ( Fourth edition )

    Google Scholar 

  23. Schreiber, G. (Ed.): Special Issue: The KADS approach to knowledge engineering, Knowledge Acquisition, Vol. 4 No. 1, March 1992, Academic Press

    Google Scholar 

  24. Traphöner, R., Maurer, F.: Integrating Hypermedia and Expert System Technology for Technical Diagnosis, Proc. Expersys 92, Paris, 21.–22. Okt. 1992

    Google Scholar 

  25. van Harmelen, F., Balder, J.: (ML)2: A formal language for KADS models of expertise, 1992, in [23]

    Google Scholar 

  26. Walther, J., Voß, A., Linster, M., Hemmann, Th., Voß, H., Karbach, W: MoMo, Arbeit- papiere der GMD 658, Juni 1992

    Google Scholar 

  27. Wetter, Th.: First-order logic foundation of the KADS conceptual model, 1990, in [28]

    Google Scholar 

  28. Wielenga, B., Boose, J., Gaines, B., Schreiber, G., van Someren, M. (ed.): Current Trends in Knowledge Acquisition, IOS Press, Amsterdam, Mai 1990

    Google Scholar 

  29. Wielinga, B.J.; Schreiber, A.Th.; Breuker, J.A.: KADS: A Modelling Approach to Knowledge Engineering. ESPRIT Project P5248 KADS-II, An Advanced and Comprehensive Methodolgy for Integrated KBS Development, Amsterdam, 1991

    Google Scholar 

  30. Wielinga, B.J.; Schreiber, A.Th.; Breuker, J.A.: KADS a modelling approach to knowledge engineering, 1992, in [23]

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Maurer, F., Pews, G. (1993). Validierung von konzeptuellen Modellen. In: Puppe, F., Günter, A. (eds) Expertensysteme 93. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78073-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-78073-8_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56464-5

  • Online ISBN: 978-3-642-78073-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics