Advertisement

Einleitung

  • Clemens Beckstein
Chapter
  • 32 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 199)

Zusammenfassung

Ende der 60er Jahre war im Bereich der Künstlichen Intelligenz (KI) der Ansatz verbreitet, All-Zweck-Theorem-Beweiser für die Realisierung von Problemlosem einzusetzen (vgl. etwa Green in [80]). Offensichtlich hatte ein Ausläufer der in den 20er Jahren aufgekommenen philosophischen Grundströmung des Logischen Positivismus die KI erreicht. Die Logik sollte nun ihre dritte große Rolle nach der als Lehre vom richtigen Argumentieren und der als meta-mathematische Disziplin spielen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Clemens Beckstein
    • 1
  1. 1.Lehrstuhl für DatenbanksystemeUniversität Erlangen-NürnbergMartensstraße 3Germany

Personalised recommendations