Skip to main content

Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET

  • Conference paper
Wissensbasierte Systeme

Part of the book series: Informatik — Fachberichte ((2252,volume 155))

  • 92 Accesses

Zusammenfassung

Der praktische Einsatz des Vienna Knowledge Engineering Tools (VIE-KET) /9,10,11,14,15,16/, welches hybride Wissensrepräsentation basierend auf einer Framesprache, Prolog und Lisp favorisiert, hat zu einer Neukonzeption des Frameteiles, der im wesentlichen aus einer Erweiterung von FRL /17,18/ bestand, geführt. Die neue Realisierung (VIE-KET/II) soll die klassische Funktionalität von Framesystemen wie FRL und dessen Derivaten transparent und effizient erweitern. Trotz aller grundsätzlichen Unterschiede zwischen Repräsentationssprachen und Programmiersprachen scheint die Realisierung dieses Ziels mit Hilfe objektorientierter Programmierung im Sinne von Smalltalk durchaus mit den Ansprüchen, die sich aus dem Prozeß des Knowledge Engineering ergeben, vereinbar, zumal dieser in Commonlisp implementierte, Smalltalkähnliche Kern des neuen Framesystems ja nur die unterste Schicht des Systems bildet. Höhere Funktionen der Repräsentationssprache wie vom Anwender definierte Relationen und Vererbungsstrategien können auf eine sehr effiziente Basisfunktionalität zurückgreifen, die ohnehin schon nahe an die Sprache des Knowledge Engineers heranreicht.

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. Chalupsky H.: Implementierung eines Kernsystems für RLL-1, einer Representation Language Language, Diplomarbeit, Inst. Medizinische Kybernetik und Artificial Intelligence, Universität Wien, 1985.

    Google Scholar 

  2. Chalupsky H.: Caching and Consistency, a Solution in RLL-1, in Buchberger E., Retti J.(eds.): Österreichische AI-Tagung 1987, Springer Berlin, 1987.

    Google Scholar 

  3. Clayton B.D.: ART Programming Tutorial, Inference Corporation, Los Angeles, Calif., 1985.

    Google Scholar 

  4. Goldberg A., Robson D.: Smalltalk 80, the language and its implementation, Addison-Wesley, Reading, 1983.

    MATH  Google Scholar 

  5. Greiner R.: RLL-1: A Representation Language Language, Report HPP-80-9, Dept. of Computer Science, Stanford Univ., 1980.

    Google Scholar 

  6. Greiner R., Lenat D.B.: RLL-1: A Representation Language Language, Supplement, Details of RLL-1, Report HPP-80-23, Dept. of Computer Science, Stanford Univ., 1980.

    Google Scholar 

  7. Greiner R., Lenat D.B.: A Representation Language Language, in Proceedings of the First Annual National Conference on Artificial Intelligence, AAAI, Stanford University, 1980.

    Google Scholar 

  8. Haase K.W.: Discovery Systems, in Proceedings of the 7th European Conference on Artificial Intelligence (ECAI-86), Brighton, UK, 1986.

    Google Scholar 

  9. Hoberstorfer M., Horn W., Pfahringer B., Porenta G., Trappl R., Widmer G.: Medizinische Expertensysteme am PC: Zwei Implementierungen für Industrie- und Entwicklungsländer, Berichte der Österreichischen Studiengesellschaft für Kybernetik, Wien, 1986.

    Google Scholar 

  10. Holzbaur C.: Implementierung der Inferenzkomponente von VIE-KET, dem Vienna Knowledge Engineering Tool, Diplomarbeit, Inst. Med. Kybernetik und AI, Universität Wien, 1986.

    Google Scholar 

  11. Holzbaur C., Pfahringer B.: Synthesis of Hybrid Languages, Applied Artificial Intelligence, 1(1)39–52, 1987.

    Google Scholar 

  12. Lenat D.B.: Theory Formation by Heuristic Search. The Nature of Heuristics II: Background and Examples, Artificial Intelligence, 21(1–2)31–59, 1983.

    Google Scholar 

  13. Lenat D.B.: EURISKO: A Program that Learns New Heuristics and Domain Concepts. The Nature of Heuristics III: Program Design and Results, Aritificial Intelligence, 21(1–2)61–98, 1983.

    Google Scholar 

  14. Pfahringer B.: VIEnna Knowledge Engineering Tool — Der Frame Teil, Diplomarbeit, Inst. Medizinische Kybernetik und Artificial Intelligence, Universität Wien, 1985.

    Google Scholar 

  15. Pfahringer B., Holzbaur Ch.: VIE-KET: Frames + Prolog, in Trost H., Retti J.(eds.), Österreichische Artificial Intelligence-Tagung, Springer, Berlin, pp. 132–139, 1985.

    Google Scholar 

  16. Pfahringer B., Holzbaur C.: Mixing Prolog and Lisp, in Trappl R.(ed.), Cybernetics and Systems 86, D.Reidel, Dordrecht, pp. 759–765, 1986.

    Google Scholar 

  17. Roberts R.B., Goldstein I.P.: The FRL Primer, AI Memo 408, MIT, Cambridge, Mass., 1977.

    Google Scholar 

  18. Roberts R.B., Goldstein I.P.: The FRL Manual, AI Memo 409, MIT, Cambridge, Mass., 1977.

    Google Scholar 

  19. ART Reference Manual, Inference Corporation, Los Angeles, Calif., 1985.

    Google Scholar 

  20. Reference Guide to Symbolics-Lisp, Symbolics, Cambridge, Mass., 1985.

    Google Scholar 

  21. Knowledge Craft — Overview, Carnegie Group, Pittsburgh, Penn., 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Holzbaur, C. (1987). Realisierung durchgehender Uniformität im Knowledge Engineering Tool VIE-KET. In: Brauer, W., Wahlster, W. (eds) Wissensbasierte Systeme. Informatik — Fachberichte, vol 155. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-88719-2_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-88719-2_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18494-2

  • Online ISBN: 978-3-642-88719-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics