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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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.
Attardi, G. & M. Simi Semantics of Inheritance and Attributions in the Description System Omega. MIT AI-Memo 64?, 1981.
Ayer, A.J. The Problem of Knowledge. Penguin Books, Baltimore, 1956.
Barr, A. & E. Feigenbaum (Eds.) The Handbook of Artificial Intelligence. Kaufmann, Los Altos, CA, 1981.
Barton, G,E. A Multiple-Context Equality-based Reasoning System. MIT AI-Lab.,Tech. Rep. No 715, Cambridge, MA., 1983.
Bobrow, D.G. & T. Winograd An Overview of KRL, a Knowledge Representation Language. Cognitive Science, 1, 1, 1977, 3–46.
Bobrow, D.G. & M. Stefik The LOOPS Manual. Xerox PARC, Palo Alto, CA, 1983.
Brachman, R. J. A Structural Paradigm for Representing Knowledge. BBN, Tech. Rep. No. 3605, 1978. Erscheint bei: Ablex Publ. Co. Norwood, N.J., 1984.
Brachman, R. J. An Overview of the KL-ONE Knowledge Representation System. Erscheint in: Cognitive Science, 1984.
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 ).
Brachman, R.J. & H.J. Levesque The Tractability of Subsumption in Frame-Based Description Languages. In: Proc. AAAI-84, 1984.
Burke, G.S., G.J. Carrette & C.R. Eliot NIL Reference Manual, MIT/LCS/TR-311, Cambridge, MA, 1984.
Charniak, E., Riesbeck, C.K. & McDermott, D.V Artificial Intelligence Programming. Lawrence Erlbaum, Hillsdale, N.J. 1980.
Clocksin, W.F. & C.F. Mellish Programming in Prolog. Springer Verlag, Berlin, 1981.
Davis, R. Interactive Transfer of Expertise: Acquisition of Mew Inference Rules. Proc. IJCAI-77.
Davis, R., B. Buchanan & T. Shortliffe Production Rules as a Representation for a Knowledge-Based Consultation Program. Artificial Intelligence, No. 1, 1977.
de Kleer, J., J. Doyle, G. Steele, & G.J. Sussman Explicit Control of Reasoning. MIT-Memo 427, MIT-AI-Lab, Cambridge, MA, 1977a.
de Kleer, J., J. Doyle, G. Steele, & G.J. Sussman AMORD - A Deductive Procedure System. MIT-Memo 435, MIT-AI-Lab, Cambridge, MA, 1977b.
Doyle, J. Truth Maintenance Systems for Problem Solving. MIT AI-Lab, TR-419, Cambridge, MA, 1978.
Forgy, C.L. 0PS5 User’s Manual. CMU, Dep. Comp. Sc., Tech. Rep. CMU-CS-81-135, 1981.
Forgy, C.L. The 0PS83 Report. CMU, Dep. Comp. Sc., Tech. Rep. CMU-CS-84-133, 1984.
Gabriel, R.P. & J. McCarthy Queue based Multi-Processing Lisp. ACM Symposium on Lisp and Functional Programming, Univ. Texas, Austin, 1984.
Genesreth, M., R. Greiner Ä D. Smith MRS Manual. Stanford Univ., Heuristic Programming Project, Memo HPP-81-6, 1981.
Greiner, R. RLL-1: A Representation Language Language. Stanford Univ., Heuristic Programming Project, Working Paper HPP-80-9, 1981.
Hayes, P.J. The Logic of Frames. In: D. Metzing (Hrsg.) Frame Conceptions and Text Understanding. Walter de Gruyter, Berlin, 1979, 46–61.
Hendrix, G. Expanding the Utility of Semantic Networks through Partitioning. Artificial Intelligence, 7, 1976, 21–49.
Hewitt, C., Attardi, G. & M. Simi Knowledge Embedding with the Description System Omega. Proc. of First AAAI Conf., Stanford University, 1980.
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.
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.
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.
Laubsch, J. Programmiemethoden in der Kunstlichen Intelligenz Forschung. Habilitationsschrift, Univ. Stuttgart, 1982.
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.
Levesque, H.J. A Formal Treatment of Incomplete Knowledge Bases. Univ. Toronto, Dep. Comp. Sc., Tech. Rep. CSRG-139, Toronto, Canada, 1982.
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.
McAllester, D.A. An Outlook on Truth Maintenance. MIT-AI Memo 551, Cambr., MA, 1980.
McAllester, D.A. Reasoning Utility Package User’s Manual. MIT-AI Memo 667, Cambridge, MA., 1982.
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.
McCarthy, J. Programs with Common Sense. In: M. Minsky (Ed.) Semantic Information Processing. MIT Press, Cambridge, MA, 1968, 403–418.
McDermott, J. RI: A Rule-Based Configurer of Computer Systems. Artificial Intelligence, 19, 1982, 39–88.
McDermott, J. & G. Steele Extending a Knowledge-Based System to Deal with Ad Hoc Constraints. Proc. IJCAI-81.
Minsky, M. A Framework for Representing Knowledge. In: P.H. Winston (Ed.) The Psychology of Computer Vision. McGraw Hill, NY, 1975.
Moore, J. & A. Newell How can MERLIN understand? In: L. Gregg (Ed.) Knowledge and Cognition. Lawrence Erlbaum, Hillsdale, N.J., 1973, 201–252.
Moore, R.C. Reasoning about Knowledge and Action. Tech. Note 191, SRI, Menlo Park, CA, 1980.
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.
Nilsson, N. Principles of Artificial Intelligence. Springer Verlag, Berlin, 1983.
Rathke, C. ObjTalk Primer. Inst, für Informatik, Univ. Stuttgart, 1984.
Reboh, R. Knowledge Engineering Techniques and Tools in the Prospector Environment. Techn. Note 243, SRI, Menlo Park, 1980.
Reiter, R. A Logic for Default Reasoning. Artificial Intelligence, 13, 81–132, 1980.
Roberts, R.B. & I. Goldstein The FRL Manual. MIT-AI Memo No. 409, Cambr., MA, 1977.
Rosenberg, S. HPRL: A Language for Building Expert Systems. Proc. IJCAI-83, 215–217.
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.
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.
Steele, G.L. The Definition and Implementation of a Computer Programming Language based on Constraints. MIT-TR 595, MIT-AI-Lab, Cambridge, MA, 1980.
Steele, G.L. et al. Common Lisp. Digital Press, 1984.
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.
Stefik, M. Planning with Constraints (MOLGEN, Part 1 & 2) Artificial Intelligence, 16, 2, 1981, 111–170.
Stefik, M., D.G. Bobrow, S. Mittal & L. Conway Knowledge Programming in Loops. The AI Magazine, 4, 3, 1983, 3–14.
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.
Sussman, G.J. & G.L. Steele Constraints - A Language for Expressing Almost- Hierarchical Descriptions. Artificial Intelligence, 14, 1980, 1–39.
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.
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.
Winston, P.H. Learning Structural Descriptions from Examples. In: P.H. Winston (Ed.) The Psychology of Computer Vision. McGraw Hill, NY, 1975.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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