Skip to main content
SpringerLink
Log in

Neuere KI-Formalismen zur Repräsentation von Wissen Eine Fallstudie

  • Conference paper
Künstliche Intelligenz

Part of the book series: Informatik-Fachberichte ((2252,volume 202))

Zusammenfassung

In diesem Artikel sollen einige Aspekte neuerer Wissensrepräsentationsformalismen der Künstlichen Intelligenz an Hand einer unter dem Namen KL-ONE bekannt gewordenen Formalismenfamilie dargestellt und diskutiert werden.

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

Access this chapter

Log in via an institution
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.

References

  1. J. Anderson, G. Bower: Human Associative Memory, Winston 1973

    Google Scholar 

  2. G.R. Barber: Office Semantics, MIT Cambridge (MA), PhD Thesis 1982

    Google Scholar 

  3. D.G. Bobrow: Dimensions of Representation, in: Bobrow, Collins (eds.): Representation and Understanding, Academic Press 1975, pp. 1–34

    Google Scholar 

  4. D.G. Bobrow, T. Winograd: An Overview of KRL, A Knowledge Representation Language, Cognitive Science Vol 1 1977, pp. 3–45

    Google Scholar 

  5. D.G. Bobrow, T. Winograd: KRL: Another Perspective, Cognitive Science Vol 3 1979, pp. 29–42

    Google Scholar 

  6. R. Bobrow, B.L. Webber: PSI-KLONE, Proc. of the 3rd CSCSI SCEIO Conf. 1980, pp.131–142

    Google Scholar 

  7. R.J. Brachman: What’s in a Concept: Structural Foundations for Semantic Networks, Int. Journal of Man-Machine Studies Vol 9 1977, pp. 127–152

    Article  Google Scholar 

  8. R.J. Brachman: On the Epistemological Status of Semantic Networks, in: N.V. Findler (ed.): Associative Networks, Academic Press 1979, pp. 3–50

    Google Scholar 

  9. R.J. Brachman: What IS-A Is and Isn’t, IEEE-Computer 1983, pp. 30–36

    Google Scholar 

  10. R.J. Brachman, R.E. Fikes, H.J. Levesque: KRYPTON: Integrating Terminology and Assertion, Proc. of AAAI-83 1983, pp. 31–35

    Google Scholar 

  11. R.J. Brachman, J.G. Schmolze: An Overview of the KL-ONE Knowledge Representation System, Cognitive Science Vol 9 1985

    Google Scholar 

  12. R.J. Brachman, V. Pigman Gilbert, H.J. Levesque: An Essential Hybrid Reasoning System, Proc. of IJCAI-85 1985, pp. 532–539

    Google Scholar 

  13. J.R. Carbonell, A.M. Collins: Natural Semantics in AI, Proc. IJCAI-74 1974, 344–351

    Google Scholar 

  14. E. Charniak, D. McDermott: Jntroduction to Artificial Intelligence, Addison-Wesley 1985

    Google Scholar 

  15. P.P. Chen: The Entity Relationship Model, ACM Transactions on Database Systems 1 1976, pp. 9–37

    Article  Google Scholar 

  16. D. McDermott: Artificial Intelligence Meets Natural Stupidity, SIGART Newsletter No 57 1976, pp. 4–9

    Google Scholar 

  17. J. Edelmann, B. Owsnicki: Data Models in Knowledge Representation Systems: A Gase Study, in: C.-R. Rollinger, W. Horn (eds.): Proc. of GWAI-86, Springer 1986, pp. 69–74

    Google Scholar 

  18. W. Emde, K. v. Luck, A. Schmiedel: Eine neue Implementation von SRL, in: J. Laubsch (ed.): Proc. of GWAI-84, Springer 1984, pp. 219–228

    Google Scholar 

  19. R. Fikes: Highlights from KloneTalk, in: J.G. Schmolze, R.J. Brachman (eds.): Proceedings of the 1981 KL-ONE Workshop, BBN-Report No 4842 1982, pp. 90–105

    Google Scholar 

  20. M. Freeman, L. Hirschman, D. McKay, M. Palmer: KNET: A Logic-Based Associative Framework for Expert Systems, Burroughs Corp. R/D-Div. Technical Report 1983

    Google Scholar 

  21. H. Gallaire, J. Minker, J.-M. Nicolas: Logic and Databases, ACM Comp. Surveys 16 1984, pp. 153–185

    Article  MathSciNet  MATH  Google Scholar 

  22. P.J. Hayes: Some Problems and Non-Problems in Representation Theory, Proc. of the AISB Summer Conference 1975

    Google Scholar 

  23. P.J. Hayes: In Defence of Logic, Proc. IJCAI-77 1977, pp. 559–565

    Google Scholar 

  24. P.J. Hayes: The Logic of Frames, in: D. Metzing (ed.): Frame Conceptions and Text Understanding, deGruyter 1980, pp. 46–61

    Google Scholar 

  25. C. Hewitt, G. Attardi, H. Simi: Knowledge Embedding in the Description System OMEGA, Proc. of AAAI-80 1980, pp. 157–164

    Google Scholar 

  26. W. Hoeppner, T. Christaller, H. Marburger, K. Morik, B. Nebel, M. O’Leary, W. Wahlster: Beyond Domain-Independence, Proc. IJCAI-83 1983, pp. 588–594

    Google Scholar 

  27. D.J. Israel, R.J. Brachman: Distinctions and Confusions: A Catalogue Raisonne, Proc. of the IJCAI-81 1981, pp. 452–459

    Google Scholar 

  28. D.J. Israel: The Role of Logic in Knowledge Representation, IEEE-Computers Oct. 1983, pp. 37–41

    Google Scholar 

  29. J.M. Janas, C.B. Schwind:Extensional Semantic Networks: Their Representation, Application, and Generation, in: N.V. Findler (ed.): Associative Networks, Academic Press 1979, pp. 267–302

    Google Scholar 

  30. T. Kaczmarek, R. Bates, G. Robins: Recent Development in NIKL, AAAI-86 1986, pp. 978–985

    Google Scholar 

  31. W. Lehnert, Y. Wilks: A Critical Perspective on KRL, Cognitive Science Vol 3 1979, pp. 1–28 •

    Article  Google Scholar 

  32. H. Levesque, J. Mylopoulos: A Procedural Sernantics for Semantic Networks, in: N.V. Findler (ed.): Associative Networks, Academic Press 1979, pp. 93–120

    Google Scholar 

  33. H.J. Levesque, R.J. Brachman: A Fundamental Tradeoff in Knowledge Representation and Reasoning, in: R.J. Brachman, H.J. Levesque (eds.): Readings in Knowledge Representation, Morgan Kaufmann 1985, pp. 41–70

    Google Scholar 

  34. T. Lipkis: A KL-ONE Classifier, in: J.G. Schmolze, R.J. Brachman (eds.): Proc. of the 1981 KL-ONE Workshop, BBN-Report No 4842 1982, pp. 128–145

    Google Scholar 

  35. K. v. Luck, B. Nebel, C. Peltason, A. Schmiedel: The BACK-System, TU-Berlin, KIT-Report No 29 1985

    Google Scholar 

  36. K. v. Luck, B. Nebel, C. Peltason, A. Schmiedel: The Anatomy of the BACK-System, TU-Berlin, KIT-Report No 41, Jan. 1987

    Google Scholar 

  37. A. Newell: The Knowledge Level, Artificial Intelligence 18 1982, pp. 87–127

    Article  Google Scholar 

  38. N.J. Nilsson: Principles of Artificial Intelligence, Tioga 1980

    MATH  Google Scholar 

  39. D.A. Norman, D.E. Rumelhart: Explorations in Cognition, Freeman 1975

    Google Scholar 

  40. P.F. Patel-Schneider: Small can he Beautiful in Knowledge Representation, IEEE Workshop on Principles of Knowledge-Based Systems 1984, pp. 11–19

    Google Scholar 

  41. P.F. Patel-Schneider: A Four-Valued Sernantics for Frame-Based Description Languages, Proc. AAAI-86 1986, pp. 344–348

    Google Scholar 

  42. P.F. Patel-Schneider: Decidable First-Order Logic for Knowledge Representation, Ph.D. Thesis (forthcomming)

    Google Scholar 

  43. S.G. Pulman: Word, Meaning and Belief, Croom Helm 1983

    Google Scholar 

  44. M.R. Quillian: Semantic Memory, in: M. Minsky (ed.): Semantic Information Processing, MIT-Press 1968, pp. 227–270

    Google Scholar 

  45. B. Raphael: SIR: A Computer Program for Semantic Information Retrieval, in: M. Minsky (ed.): Semantic Information Processing, MIT-Press 1968, pp. 172–225

    Google Scholar 

  46. B. Raphael: The Thinking Computer: Mind Inside Matter, Freeman 1976

    MATH  Google Scholar 

  47. R.B. Roberts, I.P. Goldstein: The FRL Primer, MIT AI-Lab Memo No 408 1977

    Google Scholar 

  48. R.C. Schank: The Structure of Episodes in Memory, in: D. Bobrow, A.M. Collins (eds.): Representation and Understanding, Academic Press 1975, pp. 237–272

    Google Scholar 

  49. P. Schefe: Künstliche Intelligenz-Überblick und Grundlagen, BI Wissenschaftsverlag 1986

    Google Scholar 

  50. P. Schefe:Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz, in: H. Stoyan (ed.): Proc. of GWAI-85, Springer 1986, pp. 230–244

    Google Scholar 

  51. R.F. Simmons-.Semantic Networks: Their Computation and Use for Understanding English Sentences, in: R. Schank, K.M. Colby (eds.): Computer Models of Thought and Language, Freeman 1973, pp. 63–113

    Google Scholar 

  52. J.G. Schmolze, R.J. Brachman (eds.):: Proceedings of the 1981 KL-ONE Workshop, BBN-Report No 4842 1982

    Google Scholar 

  53. N.S. Sridharan: AIMDS User Manual -Version 2, Rutgers Univ. Technical Rep. No CBM-TR-89 1978

    Google Scholar 

  54. M. Stefik: An Explanation of a Frame-structured Representation System, Proc. IJCAI-79 1979, pp. 845–852

    Google Scholar 

  55. F. Tou, H.D. Williams, R. Fikes, A. Henderson, T. Malone: RABBIT: An Inteligent Database Assistant, Proc. of AAAI-82 1982, pp. 384–318

    Google Scholar 

  56. M. Vilain:The Restricted Language Architecture of a Hybrid Representation System, Proc. of IJCAI-85 1985, pp. 547–551

    Google Scholar 

  57. E.M. Wallace:Reconciling Flexibility and Efficiency In A Knowledge Base Implementation, ECRC Internal Report KB-8 1985

    Google Scholar 

  58. D. Weinreb, D.A. Moon: Lispmachine Lisp Manual (4th ed), Symbolics, Cambridge (MA) 1981

    Google Scholar 

  59. P.H. Winston: Artificial Intelligente, Addison-Wesley 1977

    Google Scholar 

  60. W.A. Woods: What’s in a Link, in: D. Bobrow, A.M. Collins (eds.): Representation and Understanding, Academic Press 1975, pp. 35–82

    Google Scholar 

  61. W.A. Woods, et al.: Speech Understanding Systems: Final Report, BBN Report No 3428 1976

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin, Franklinstr. 28/29, 1000, Berlin 10, Deutschland

    Kai von Luck

  2. PHILIPS GmbH Forschungslaboratorium Hamburg, Vogt-Kölln-Str. 30, 2000, Hamburg 54, Deutschland

    Bernd Owsnicki-Klewe

Authors
  1. Kai von Luck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernd Owsnicki-Klewe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Gesellschaft für Mathematik und Datenverarbeitung, Forschungsgruppe Expertensysteme, Postfach 12 40, D-5205, St. Augustin, Deutschland

    Thomas Christaller

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

von Luck, K., Owsnicki-Klewe, B. (1989). Neuere KI-Formalismen zur Repräsentation von Wissen Eine Fallstudie. In: Christaller, T. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 202. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83739-5_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-83739-5_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50884-7

  • Online ISBN: 978-3-642-83739-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation