Skip to main content
SpringerLink
Log in
Book cover

Künstliche Intelligenz pp 1–60Cite as

Einführung in Die Künstliche Intelligenz

  • Conference paper

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

Zusammenfassung

Gewisse menschliche Aktivitäten, wie das Planen einer kombinierten Bahn-Busreise nach Karlsruhe, das Verstehen natürlicher gesprochener Sprache, das Beweisen mathematischer Sätze, das Erstellen einer medizinischen Diagnose oder das Sehen und Erkennen bestimmter Gegenstände erfordern zweifellos Intelligenz - unabhängig davon, welche Definition dieses Begriffes man bevorzugt.

“Just as manipulation of numbers in arithmetic is the fundamental mode of operation in contemporary computers, manipulation of symbols in formal systems is likely to be the fundamental operating mode of the more sophisticated problemsolving computers of the future.”

H. Gelernter, 1959

“… and in a sense we may say that man is a machine - but whouw, what a machine!”

P. Hayes, 1975

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. M. Boden: Artificial Intelligence and Natural Man, Harvester Press Ltd., 1977

    Google Scholar 

  2. A. Sloman: The Computer Revolution in Philosophy, Harvester Press Ltd., 1978

    Google Scholar 

  3. T. Winograd: Understanding Natural Language, Academic Press, New York, 1972

    Google Scholar 

  4. W. v. Hahn, W. Wahlster: HAM-RPM, HAM-ANS Forschungsberichte, Forschungsstelle für Künstliche Intelligenz, Universität Hamburg

    Google Scholar 

  5. D.G. Bobrow et al: GUS, A Frame driven Dialog System, Journal Art. Intelligence 8, 2, 1977

    Google Scholar 

  6. D.E. Walker: Understanding Spoken Language, North Holland, 1978

    Google Scholar 

  7. B.G. Buchanan, E.A. Feigenbaum: Dendral and Metadendral, Journ. Art. Intelligence 1, 1978

    Google Scholar 

  8. E.H. Shortliffe: MYCIN: Computer based Medical Consultations, North Holland Publ. Comp. 1976

    Google Scholar 

  9. E. Feigenbaum: The Heuristic Programming Project, Report

    Google Scholar 

  10. P.E. Hart et al: A Computer based Consultation System for Mineral Exploration, Techn. Report SRI International, 1978

    Google Scholar 

  11. R.M. Stallman, G.J. Sussman: A System for computer aided circuit design, Journ. Art. Intelligence 9, 1977

    Google Scholar 

  12. U. Bartels, W. Olthoff, P. Raulefs: An Expert System for Implementing Abstract Sorting Algorithms, Proc. der GWAI-81, J. Siekmann (ed), Springer Fachberichte No. 47

    Google Scholar 

  13. R. Kowalski: Logic for Problem Solving, North Holland, 1979

    MATH  Google Scholar 

  14. W.F. Clocksin, C.S. Mellish: Programming in Prolog, Springer 1981

    MATH  Google Scholar 

  15. R. Manna, R. Waldinger: Studies in Automatic Programming Logic, North Holland 1977

    MATH  Google Scholar 

  16. de Bakker: Mathematical Theory of Program Correctness, Prentice Hall 1980

    MATH  Google Scholar 

  17. E. Lusk: Argonne National Lab., Argonne, I11. 60439

    Google Scholar 

  18. Stanford Verification Group: Stanford Pascal Verifier User Manual, Comp. Sci. Dept., 1979

    Google Scholar 

  19. ACM-Software Engineering Notes, Special Issue, vol. 5, No. 3, July 1980, Workshop on Formal Verification

    Google Scholar 

  20. P. Raulefs, J. Siekmann: Programmverifikation, Universität Bonn, Universität Karlsruhe, August 1980

    Google Scholar 

  21. P. Hart (et al): Artificial Intelligence - Research and Applications, Techn. Report, SRI, Menlo Park, Cal., 1972

    Google Scholar 

  22. P. Ambler (et al): A versatile System for Computer Controlled Assembly, J. Art. Intelligence 6, 1975

    Google Scholar 

  23. J. Foith: Robotics Research: From Toy Worlds to Industrial Applications, in: Proc. GWAI-81, J. Siekmann (ed), Springer Informatik Fachberichte 47, 1981

    Google Scholar 

  24. E. Feigenbaum: Hauptvortrag der 10. GI-Jahrestagung 1980, Springer Informatik Berichte No. 33

    Google Scholar 

  25. Siehe z. B.: Abegglen, Etorie: Japans Technologie heute, Spektrum der Wissenschaft, April 1981

    Google Scholar 

  26. D. Marr: Vision, W. Freeman, 1982

    Google Scholar 

  27. Hanson, Riseman: Computer Vision Systems, Academic Press, 1978

    Google Scholar 

  28. G. Dodd, L. Rossol: Computer Vision and Sensor-Based Robots, Plenum Press, 1979

    Book  Google Scholar 

  29. Aggarwal, Duda, Rosenfeld: Computer Methods in Image Analysis, IEEE Press, 1977

    Google Scholar 

  30. N. Nilsson: Artificial Intelligence, Proc. of IFIP Congress 1974, vol. 4

    Google Scholar 

  31. F.D. Hilf: Nonverbal communication and psychiatric research, Archives of General Psychiatry 27, 1972

    Google Scholar 

  32. D.W. Swanson, P.J. Bohnert, J.M. Smith: The Paranoid, Boston, Mass., Little Brown and Co., 1970

    Google Scholar 

  33. K.M. Colby: Artificial Paranoia, Pergamon General Psychology Series, 1975

    Google Scholar 

  34. J. Weizenbaum: ELIZA - A Computer Program for the Study of Natural Language Communication between Man and Machines, CACM 9, 1966

    Google Scholar 

  35. H. Tennant: Natural Language Processing, Petrocelli Book, 1981

    Google Scholar 

  36. G. Evans: A Program for the Solution of Geometric-Analogy Intelligence Test Questions; Semantic Information Processing, M. Minsky (ed), MIT Press 1968

    Google Scholar 

  37. H.L. Gelernter: Realization of a Geometry-Theorem Proving Machine, Computers and Thought, Feigenbaum and Feldman (eds), McGraw Hill, 1963

    Google Scholar 

  38. N. Nilsson: Problem Solving Methods in Artificial Intelligence, McGraw Hill, 1971

    Google Scholar 

Download references

Authors
  1. Jörg H. Siekmann
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik der Technischen Universität, Postfach 202420, 8000, München 2, Germany

    Wolfgang Bibel

  2. Universität Karlsruhe, Institut für Informatik 1, Postfach 6380, 7500, Karlsruhe 1, Germany

    Jörg H. Siekmann

Rights and permissions

Reprints and permissions

Copyright information

© 1982 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Siekmann, J.H. (1982). Einführung in Die Künstliche Intelligenz. In: Bibel, W., Siekmann, J.H. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 59. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68828-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-68828-7_1

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-68828-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation