Skip to main content
SpringerLink
Log in

Logik

  • Chapter
Einführung in Expertensysteme

Part of the book series: Studienreihe Informatik ((STUDIENREIHE))

Zusammenfassung

Die theoretisch am besten untersuchte Wissensrepräsentation und häufig verwendeter Bezugspunkt für andere Wissensrepräsentationen ist die Prädikatenlogik erster Ordnung. Da ihre praktische Bedeutung für Expertensysteme jedoch relativ gering ist, benutzen wir sie vor allem als Einführung in Fragestellungen von Wissensrepräsentationssystemen und als Motivation für die Entwicklung anderer Formalismen. Ausführliche Einführungen in die Prädikatenlogik enthalten z.B. [Bibel 87], [Bläsius 87], [Charniak 85], [Genesereth 87], [Lloyd 87], [Nilsson 82], [Schöning 87].

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

  • Bibel, W.: Automated Theorem Proving, Vieweg, 1983/1987.

    Google Scholar 

  • Biundo, S. et al.: The Markgraf Karl Refutation Procedure, Memo-Seki-MK-84–01, Universität Kaiserslautern/Karlsruhe, 1984.

    Google Scholar 

  • Bläsius, K. und Bürckert, H.-J. (Hrsg.): Deduktionssysteme, Oldenbourg, 1987.

    MATH  Google Scholar 

  • Charniak, E. und McDermott, D.: Introduction to Artifical Intelligence, Addison-Wesley, 1985.

    Google Scholar 

  • Clocksin, W. und Mellish, C.: Programming in PROLOG, Springer, 1981.

    MATH  Google Scholar 

  • Genesereth, M. und Nilsson, N.: Logical Foundations of Artifical Intelligence, Morgan Kaufmann, 1987.

    Google Scholar 

  • Lloyd, J.: Foundations of Logic Programming, 2. Auflage, Springer, 1987.

    MATH  Google Scholar 

  • Minsky, M.: A Framework for Representing Knowledge, in Winston, P. (eds.): The Psychology of Computer Vision, McGraw-Hill, 1975.

    Google Scholar 

  • Nilsson, N.: Principles of Artificial Intelligence, Springer, 1982.

    MATH  Google Scholar 

  • Robinson, J.: A Machine-Oriented Logic Based on the Resolution Principle, JACM 12, 23–41, 1965.

    Article  MATH  Google Scholar 

  • Schöning, U.: Logik für Informatiker, BI, 1987.

    MATH  Google Scholar 

  • Siekmann, J.: Unification Theory, Journal of Symbolic Computation, 1987.

    Google Scholar 

  • Walker, A., McCord, M., Sowa, J. und Wilson, W.: Knowledge Systems and PROLOG, Addison-Wesley, 1987.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Logik, Komplexität und Deduktionssysteme, Universität Karlsruhe, Postfach 6980, D-7500, Karlsruhe 1, Deutschland

    Frank Puppe

Authors
  1. Frank Puppe
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Puppe, F. (1991). Logik. In: Einführung in Expertensysteme. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76621-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-76621-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-76621-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation