Zusammenfassung
Es wird eine einführende Übersicht über wichtige Methoden der Künstlichen Intelligenz gegeben. Die Übersicht beschränkt sich auf grundlegende Methoden, die in existierenden Expertensystemen realisiert,sind und erstreckt sich nichtauf spezielle Methoden aus Einzelbereichen wie Sprach- und Bildverarbeitung, oder Mechanisches Beweisen. Daraus ergibt sich als Schwerpunkt eine Darstellung der Methoden zur Wissensreprasentation, -manipulation und -akquisition.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturverzeichnis
Brown, J: S: Burton, A. G. Bell. SOPHIE: A sophisticated instructional environment for teaching electronic troubleshooting. Bolt, Beranek & Newman, Tech. Rep. No. 2790, 1974.
Beierle, C. Synthesizing minimal programs from traces of observable behavior. Proc. ECAI-82 (1982) 96–101.
Barr, A., E. A. Feigenbaum (Eds.). The Handbook of Artificial Intelligence. W. Kaufmann, Inc. 1980
Benda, W., G. hbrnung, P. Raulefs, F. Vollmann. Der Meta-beweiser für die Zahlentheorie. Proc. GWAI-82 (1982).
Bibel, W. Automated Theorem Proving. Vieweg Verlag, 1982.
Bierman, A.W. Approaches to automatic programming. In M. C. Yovits, D. Rubinoff (Eds.), Advances in Computers 1976. Academic Press.
Bobrow, D., P. Raphael. New programming languages for Artificial Intelligence research. ACM Computing Surveys: 6 (1974)153–174.
Bartels, U., W. Olthoff, P. Raulefs. APE: An expert ’ for automatic programming. Proc. 7thIJCAI-81(1981) 1037–1043.
Buchanan, B .G., T. M. Mitchell. Model-directed learning of production rules. In /PDIS/.
Brachanan, R.J. A structural paradigm for representing knowledge. Rept. No. 3605, Bolt, Beranek and Newman Inc., Cambridge, Mass., 1978
Buchanan, B.G., G. Sutherland, E.A. Feigenbaum. Heuristic DENDRAL: A program for generating explanatory hypotheses in organic chemistry. In MI4, 1969.
Buchmann, B. G., E. A. Feigenbaum DENDRAL and Meta-DENDRAL: Their applications dimension. AI: 11 (1978) 5–24.
Bobrow, D., T. Winograd. An overview of KRL. Cognitive Science: 1 (1977) 3–46.
Clocksin, W. F., C. S. Mellish. Programming in Prolog. Springer Verlag, 1981.
Davis, R., J. King. An overview of production systems. In MI8 (1977) 300–332.
Davies, J. M. POPLAR: A POP-2 PLANNER. Tech. Rept. MIP-R-89, School of AI, Univ. of Edinburgh, 1971.
Davis, R. Meta-level knowledge: overview and applications. In 5thIJCAI-77 (1977) 920–927.
Davis, R. Interactive transfer of expertise. Artificial Intelligence: 12 (1979) 120–157.
Davis, R.The Dipmeter Advisor: Interpretation of geological signals. Proc. 7thIJCAI-81 (1981) 846–852.
de Kleer, J.Explicit control of reasoning. In AI-MIT ( 1979,vol. 1 ) 93–116.
Doyle, J. A glimpse at truth maintenance. In AI-MIT ( 1979,vol. 1 ) 119–136.
Erman, L. D., V. Lesser. The application of artificial intelligence techniques to cooperative distributed processing. 6thIJCAI-/9 (1979) 537–540
Fikes, R. E., P. E. Hart, N. J. Nilsson. Learning and executing generalized robot plans. Artificial Intelligence: 3 (1972) 251–288.
Findler, N. V. (Ed.) Associative Networks. Academic Press, 1971.
Forgy, D., J. McDermott. OPS: A domain-independent production ystem. Proc. 5thIJCAI-77(1977)933–939.
Fikes, R.E., N.J. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence: 3 (1971) 189–208.
Forgy, C. A. On the efficient implementation of production systems. Ph.D.-Thesis. Dept. of Computer Science, Carnegie-Mellon Univ., Feb. 1979.
Gershman, A. Building a geological expert ’ for dipmeter interpretation. Proc. ECAI-82 (1982) 139–140.
Gbrdon, M., R. Milner, C. Wadsworth. Edinburgh LCF. Springer LNCS: 78, 1979
Goldstein,I. P., R. B. Roberts. NUDGE, a knowledge-based scheduling program. Proc. 5thIJCAI-77 (1977) 257–263.
Hewitt, C. PLANNER: A language for… Tech. Rept. TR-258, M.I.T. AI-Lab., 1972.
Hayes-Roth, F., D. Mostow. An automatically compliable recognition network for structured patterns. Proc. 4thIJCAI-75 (1975) 356–362.
Hayes-Roth, F., D. Waterman, D. Lenat (Eds.). Building Expert Systems. McGraw Hill, 1982.
Laubsch,J. ObjTalk. Tech.Rept. Inst. f. Informatik, Univ. Stuttgart (1978)
Loveland, D.W. Automated Theorem Proving. North-R)1 land, 1978.
Lowerre, B. T. The HARPY Speech Recognition ’. Ph.D.-Thesis. Computer Science Dept., Carnegie-Mellon Univ., 1976.
Michalsky, R. S., R. Chilansky. Knowledge-acquisition ba encoding expert rules versus computer induction from examples. Int. J. for Man-Machine Studies (1979).
McDermott, J. R1: A rule-based configurer of computer systems. Tech. Rept. CMU-CS-80-119, Dept. of Computer Science, Carnegie-Mellon Univ., 1980.
McCarthy, J., P.J. Hayes. Some philosphical problems from the standpoint of Artificial Intelligence. In MI4(1969)463–502.
Mendelssohn, E. Introduction to Logic, 1972.
McDermott, D. V., G. J. Sussmann The CONNIVER Reference Manual. MIT AI-Lab. Memo 259(1972).
Minsky, M. A framework for representing knowledge. In The Psychology of Computer Vision, P. H. Winston (Ed.), McChaw Hill, 1975
Mitchell, T.M. Version spaces: An approach to concept learning. Tech. Rept. STAN-CS-78-711/H-P-79-2, Computer Science Dept, Stanford Univ., 1978.
Mitchell, T. M. Generalization as search. Artificial Intelligence: J8(1982)203–226.
Nilsson, N. J. Principles of Artificial Intelligence. Tioga Publ. Co., 1980.
Newell, A., H. A. Simon Human Problem Solving. Prentice-fell, 1972.
Pattern-directed inference systems. Eds. D. Waterman, F. feyes-Roth. Academic Press, 1978.
Pople, M. E., J. D. Myers, R. A. Miller. DIALOG: A model of diagnostic logic for internal medicine. Proc. 5th IJCAI (1977).
Polak, W. The Stanford Pascal Verifier. In GWAI-81(1981)
Raulefs, P. Expert systems: State of the art and future trends. In GWAI-81(1982) und MEMO-SEKI-BN-81-03.
Rulifson, J. F., J. A. Derksen, R. J. Waldinger. QA4: A procedural calculus for intuitive reasoning. SRI Al-Center Tech. Rept. 73 (1972).
Reboh, R.QLISP: A language for the interactive development of complex systems. SRI AI-Center Tech. Rept. 120 (1976).
Richter, M. M. Logikkalküle. Teubner Verlag, 1978.
Schank, R. C., R. P. Abelson. Scripts, Plans, Goals and Understanding. Erlbaum Assoc., 1977.
Shortliffe, E. H. Computer-Based Medical Consultations: MYCIN, American Elsevier, 1976.
Siekmann, J.Das Karlsruher Beweissystem. In GWAI-81 (1981).
Smith, R.G. A framwork for distributed problem solving. 6thIJCAI-79(1979)836–841 und Tech. Rept. STAN-CS-78-700(1978), Computer Science Dept., Stanford Univ.
Stefik, M. Planning with constraints. Tech. Rept. STAN-CS-80-784. Computer Science Dept., Stanford Univ. (1980).
Stefik, M. The organization of expert systems. A tutorial. Artificial Intelligence: 18(1982)135–173.
van Emden, M.H. Programming with resolution logic. In MI8(1977)266–199.
vere, S.A. Inductive learning of structural productions. In /PDIS/.
van Melle, W. A domain-independent ’ that aids in constructing knowledge-based consultation programs. Tech. Rept. STAN-CS-80-820, Computer Science Dept,, Stanford Univ. (1979).
Wahlster, W. Naturlichsprachliche Argumentation in Dialog- systemen. Springer Informatik Fachberichte, Bd. 48. 1981.
Weyhrauch, R. Prolegomena to a theory of mechanized formal reasoning. Memo, Computer Science Dept, Stanford Univ., 1980.
Winston, P. H. Learning structural descriptions from examples. In The Psychology of Computer Vision, P. H. Winston (ed.), McGraw Hill, 1975.
Wipke, W. T. Computer-assisted 3-dimensional synthetic analysis. In Computer-Representation and Manipulation of Chemical Information, Eds.Wipke, feller, Feldman and fyde. Wiley-Interscience, 1974.
Weiss, S., S. A. Kulikowski. EXPERT: A ’ for developing consultation models. 6thIJCAI-79(1979)942–947.
Zadeh, L. A theory of approximate reasoning. In MI9(1979).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Raulefs, P. (1982). Methoden der Künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. In: Nehmer, J. (eds) GI-12. Jahrestagung. Informatik-Fachberichte, vol 57. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68603-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-68603-0_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11609-7
Online ISBN: 978-3-642-68603-0
eBook Packages: Springer Book Archive