Skip to main content
SpringerLink
Log in

Techniken der Wissensdarstellung

  • Conference paper
Künstliche Intelligenz

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

Zusammenfassung

Auf dem Gebiete der Künstlichen Intelligenz werden (in analytischer Sicht) Simulationsmodelle menschlicher Intelligenzleistung erforscht und (in konstruktiver Sicht) Systeme entwickelt, die “intelligentes” Verhalten zeigen — ohne sich dabei notwendigerweise auf solche kognitive Modelle zu stützen. Derartige Systeme werden auch “wissensbasierte Systeme” genannt. Um den Entwurf solcher Systeme zu erleichtern, wurden sowohl spezielle Programmiersprachen zur Wissensdarstellung wie KL-One (Brachman, 1978 und 1983), FRL (Roberts & Goldstein, 1977) oder MRS (Genesreth et al., 1981) als auch Programmentwicklungsumgebungen (Meta-Systeme, “expert system shells”) wie EMYCIN (van Melle, 1980), HPRL (Rosenberg, 1983), KEE (Kunz et al. 1984), Loops (Bobrow & Stefik, 1983) geschaffen.

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.

Literatur

  • Amarel, S. On Representation of Problems of Reasoning about Actions. In: D. Michie (Ed.) Machine Intelligence 8, Elsevier, NY, 1968, 131–171.

    Google Scholar 

  • Attardi, G. & M. Simi Semantics of Inheritance and Attributions in the Description System Omega. MIT AI-Memo 64?, 1981.

    Google Scholar 

  • Ayer, A.J. The Problem of Knowledge. Penguin Books, Baltimore, 1956.

    Google Scholar 

  • Barr, A. & E. Feigenbaum (Eds.) The Handbook of Artificial Intelligence. Kaufmann, Los Altos, CA, 1981.

    MATH  Google Scholar 

  • Barton, G,E. A Multiple-Context Equality-based Reasoning System. MIT AI-Lab.,Tech. Rep. No 715, Cambridge, MA., 1983.

    Google Scholar 

  • Bobrow, D.G. & T. Winograd An Overview of KRL, a Knowledge Representation Language. Cognitive Science, 1, 1, 1977, 3–46.

    Article  Google Scholar 

  • Bobrow, D.G. & M. Stefik The LOOPS Manual. Xerox PARC, Palo Alto, CA, 1983.

    Google Scholar 

  • Brachman, R. J. A Structural Paradigm for Representing Knowledge. BBN, Tech. Rep. No. 3605, 1978. Erscheint bei: Ablex Publ. Co. Norwood, N.J., 1984.

    Google Scholar 

  • Brachman, R. J. An Overview of the KL-ONE Knowledge Representation System. Erscheint in: Cognitive Science, 1984.

    Google Scholar 

  • Brachman, R.J., R.E. Fikes & H.J. Levesque Krypton: A Functional Approach to Knowledge Representation. Fairchild Techn. Rep. No. 639, Fairchild Lab. for AI Res., Palo Alto, 1983. (Gekürzt in: IEEE Computer, Special Issue on Knowledge Representation, Vol. 16, October 1983, 67–73 ).

    Google Scholar 

  • Brachman, R.J. & H.J. Levesque The Tractability of Subsumption in Frame-Based Description Languages. In: Proc. AAAI-84, 1984.

    Google Scholar 

  • Burke, G.S., G.J. Carrette & C.R. Eliot NIL Reference Manual, MIT/LCS/TR-311, Cambridge, MA, 1984.

    Google Scholar 

  • Charniak, E., Riesbeck, C.K. & McDermott, D.V Artificial Intelligence Programming. Lawrence Erlbaum, Hillsdale, N.J. 1980.

    MATH  Google Scholar 

  • Clocksin, W.F. & C.F. Mellish Programming in Prolog. Springer Verlag, Berlin, 1981.

    MATH  Google Scholar 

  • Davis, R. Interactive Transfer of Expertise: Acquisition of Mew Inference Rules. Proc. IJCAI-77.

    Google Scholar 

  • Davis, R., B. Buchanan & T. Shortliffe Production Rules as a Representation for a Knowledge-Based Consultation Program. Artificial Intelligence, No. 1, 1977.

    Google Scholar 

  • de Kleer, J., J. Doyle, G. Steele, & G.J. Sussman Explicit Control of Reasoning. MIT-Memo 427, MIT-AI-Lab, Cambridge, MA, 1977a.

    Google Scholar 

  • de Kleer, J., J. Doyle, G. Steele, & G.J. Sussman AMORD - A Deductive Procedure System. MIT-Memo 435, MIT-AI-Lab, Cambridge, MA, 1977b.

    Google Scholar 

  • Doyle, J. Truth Maintenance Systems for Problem Solving. MIT AI-Lab, TR-419, Cambridge, MA, 1978.

    Google Scholar 

  • Forgy, C.L. 0PS5 User’s Manual. CMU, Dep. Comp. Sc., Tech. Rep. CMU-CS-81-135, 1981.

    Google Scholar 

  • Forgy, C.L. The 0PS83 Report. CMU, Dep. Comp. Sc., Tech. Rep. CMU-CS-84-133, 1984.

    Google Scholar 

  • Gabriel, R.P. & J. McCarthy Queue based Multi-Processing Lisp. ACM Symposium on Lisp and Functional Programming, Univ. Texas, Austin, 1984.

    Google Scholar 

  • Genesreth, M., R. Greiner Ä D. Smith MRS Manual. Stanford Univ., Heuristic Programming Project, Memo HPP-81-6, 1981.

    Google Scholar 

  • Greiner, R. RLL-1: A Representation Language Language. Stanford Univ., Heuristic Programming Project, Working Paper HPP-80-9, 1981.

    Google Scholar 

  • Hayes, P.J. The Logic of Frames. In: D. Metzing (Hrsg.) Frame Conceptions and Text Understanding. Walter de Gruyter, Berlin, 1979, 46–61.

    Google Scholar 

  • Hendrix, G. Expanding the Utility of Semantic Networks through Partitioning. Artificial Intelligence, 7, 1976, 21–49.

    Article  Google Scholar 

  • Hewitt, C., Attardi, G. & M. Simi Knowledge Embedding with the Description System Omega. Proc. of First AAAI Conf., Stanford University, 1980.

    Google Scholar 

  • Höppner, W. Repräsentationsstrukturen und Inferenzen für zusammengesetzte Objekte. In: C-R. Rollinger & H-J. Schneider (Hrsg.) Inferenzen in naturlichsprachlichen Systemen der Kunstlichen Intelligenz. Einhorn Verlag, Berlin, 1980, 151–172.

    Google Scholar 

  • Kunz, J.C., T.P. Kehler & M.D. Williams Applications Development Using a Hybrid AI Development System. The AI Magazine, 4, 4, 1984, 41–54.

    Google Scholar 

  • Laubsch, J. Zur Inferenz in semantischen Netzen. In: C-R. Rollinger & H-J. Schneider (Hrsg.) Inferenzen in natürlich-sprachlichen Systemen der Kunstlichen Intelligenz. Einhorn Verlag, Berlin, 1. 980, 37–80.

    Google Scholar 

  • Laubsch, J. Programmiemethoden in der Kunstlichen Intelligenz Forschung. Habilitationsschrift, Univ. Stuttgart, 1982.

    Google Scholar 

  • Laubsch, J. & C. Rathke ObjTalk, eine Erweiterung von Lisp zum objekt-orientierten Programmieren. In: H. Stoyan & H. Wedekind (Hrsg.) Objektorientierte Software- und Hardwarearchitekturen. Berichte des German Chapters of the ACM, Teubner, Stuttgart, 1983, 60–75.

    Google Scholar 

  • Levesque, H.J. A Formal Treatment of Incomplete Knowledge Bases. Univ. Toronto, Dep. Comp. Sc., Tech. Rep. CSRG-139, Toronto, Canada, 1982.

    Google Scholar 

  • Lipkis, T. A KL-One Classifier. In: J. Schmölze & R. Brachman (Eds.) Proc. of the 1981 KL-One Workshop. Tech. Rep. No. 484?, BBN, Cambridge, 1982.

    Google Scholar 

  • McAllester, D.A. An Outlook on Truth Maintenance. MIT-AI Memo 551, Cambr., MA, 1980.

    Google Scholar 

  • McAllester, D.A. Reasoning Utility Package User’s Manual. MIT-AI Memo 667, Cambridge, MA., 1982.

    Google Scholar 

  • McCarthy, J. & P. Hayes Some Philosophical Problems from the Standpoint of Artificial Intelligence. In: B. Meitzer & D. Michie (Eds.) Machine Intelligence 4. Edinbourgh Univ. Press, 1969.

    Google Scholar 

  • McCarthy, J. Programs with Common Sense. In: M. Minsky (Ed.) Semantic Information Processing. MIT Press, Cambridge, MA, 1968, 403–418.

    Google Scholar 

  • McDermott, J. RI: A Rule-Based Configurer of Computer Systems. Artificial Intelligence, 19, 1982, 39–88.

    Article  Google Scholar 

  • McDermott, J. & G. Steele Extending a Knowledge-Based System to Deal with Ad Hoc Constraints. Proc. IJCAI-81.

    Google Scholar 

  • Minsky, M. A Framework for Representing Knowledge. In: P.H. Winston (Ed.) The Psychology of Computer Vision. McGraw Hill, NY, 1975.

    Google Scholar 

  • Moore, J. & A. Newell How can MERLIN understand? In: L. Gregg (Ed.) Knowledge and Cognition. Lawrence Erlbaum, Hillsdale, N.J., 1973, 201–252.

    Google Scholar 

  • Moore, R.C. Reasoning about Knowledge and Action. Tech. Note 191, SRI, Menlo Park, CA, 1980.

    Google Scholar 

  • Moore, R.C. A Formal Theory of Knowledge and Action. In: J.R. Hobbs & R. C. Moore (Eds.) Formal Theories of the Comnonsense World. Ablex, Norwood, N.J., 1984.

    Google Scholar 

  • Nilsson, N. Principles of Artificial Intelligence. Springer Verlag, Berlin, 1983.

    Google Scholar 

  • Rathke, C. ObjTalk Primer. Inst, für Informatik, Univ. Stuttgart, 1984.

    Google Scholar 

  • Reboh, R. Knowledge Engineering Techniques and Tools in the Prospector Environment. Techn. Note 243, SRI, Menlo Park, 1980.

    Google Scholar 

  • Reiter, R. A Logic for Default Reasoning. Artificial Intelligence, 13, 81–132, 1980.

    Article  MathSciNet  MATH  Google Scholar 

  • Roberts, R.B. & I. Goldstein The FRL Manual. MIT-AI Memo No. 409, Cambr., MA, 1977.

    Google Scholar 

  • Rosenberg, S. HPRL: A Language for Building Expert Systems. Proc. IJCAI-83, 215–217.

    Google Scholar 

  • Roussel, P. Prolog: Manuel de Reference et Utilisation. Techn. Rep., Groupe d’Intelligence Artificielle, U.E.R. de Limuny, Univ. d’Aix-Marseille II, 1975.

    Google Scholar 

  • Stallmann, R.M. & Sussman, G. J. Forward Reasoning and Dependency-Directed Back-tracking in a System for Computer-aided Circuit Design. Artificial Intelligence, 9, 1977, 135–196.

    Article  Google Scholar 

  • Steele, G.L. The Definition and Implementation of a Computer Programming Language based on Constraints. MIT-TR 595, MIT-AI-Lab, Cambridge, MA, 1980.

    Google Scholar 

  • Steele, G.L. et al. Common Lisp. Digital Press, 1984.

    Google Scholar 

  • Steels, L. ORBIT: An Applicative View of Object-Oriented Programming. In: P. Degano & E. Sandewall (Eds.) Integrated Interactive Computing Systems. North-Holland, 1983, 193–206.

    Google Scholar 

  • Stefik, M. Planning with Constraints (MOLGEN, Part 1 & 2) Artificial Intelligence, 16, 2, 1981, 111–170.

    Article  Google Scholar 

  • Stefik, M., D.G. Bobrow, S. Mittal & L. Conway Knowledge Programming in Loops. The AI Magazine, 4, 3, 1983, 3–14.

    Google Scholar 

  • Stefik, M., J. Aikins, R. Balzer, J. Benoit, L. Birnbaum, F. Hayes-Roth & E. Sacerdoti The Architecture of Expert Systems: A Guide to the Organization of Problem-Solving Programs. In: F. Hayes-Roth, D. Waterman & D. Lenat (Eds.) Building Expert Systems. 1984.

    Google Scholar 

  • Sussman, G.J. & G.L. Steele Constraints - A Language for Expressing Almost- Hierarchical Descriptions. Artificial Intelligence, 14, 1980, 1–39.

    Article  Google Scholar 

  • Suwa, M., A.C. Scott & E.H. Shortliffe An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System. Stanford University, CSD, Rep. STAN- CS-922, 1982.

    Google Scholar 

  • Van Melle, W. A Domain-Independent Production-Rule System that Aids in Constructing Knowledge-Based Consultation Programs. Stanford Univ., Heuristic Programming Project, Memo HPP-80-22, 1980.

    Google Scholar 

  • Winston, P.H. Learning Structural Descriptions from Examples. In: P.H. Winston (Ed.) The Psychology of Computer Vision. McGraw Hill, NY, 1975.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Stuttgart, Germany

    Joachim Laubsch

Authors
  1. Joachim Laubsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Angewandte Informatik, TU Berlin, Sekr. FR 5-8 Franklinstr. 28-29, 1000, Berlin 10, Germany

    Christopher Habel

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Laubsch, J. (1985). Techniken der Wissensdarstellung. In: Habel, C. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 93. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70283-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-70283-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15190-6

  • Online ISBN: 978-3-642-70283-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation