Was ist der Zusammenhang zwischen KI und formaler Logik? Wo liegen die Unterschiede?

Frage: Was ist der Zusammenhang zwischen KI und formaler Logik? Wo liegen die Unterschiede?
- Stichworte:
  Formale Logik,
  KI
Frage gestellt peak22wye am 14 Jun 2023.
- Karsten Weber Beantwortet am 14 Jun 2023:
  
  Als KI noch in Form von sogenannter „Symbolverarbeitung“ betrieben wurde, gab es einen engen Zusammenhang zwischen KI und Logik. Wichtige KI-Programmiersprachen wie LISP und Prolog sind logische Sprachen (wenn ich mich recht erinnere, basiert LISP auf dem Lambda-Kalkül). Nur nutzt das heutzutage niemand mehr; die meisten KI-Systeme nutzen neuronale Netze oder statistische Verfahren.
- Timo Baumann Beantwortet am 14 Jun 2023:
  
  Karsten hat zwar Recht, dass die „hippen Anwendungen“ (ChatGPT, Dall-E, …) und auch die meiste hippe Forschung im Bereich des maschinellen Lernens für neuronale Netze stattfinden; es gibt aber auch andere Bereiche, in denen Logik und formale Modelle nach wie vor eine große Rolle spielen.
  
  Allerdings finden sich formale Logik und formale Modelle in sehr viel „klassischer KI“. Vor ein paar Jahren galt es noch als „intelligent“, dass Google Maps die schnellste bzw. kürzeste Verbindung finden konnte — das ist in Prolog zum Beispiel ein 2-Zeiler.
  
  Stand vor 3 Jahren (da hab ich in dem Umfeld gearbeitet) basierte Alexa’s Filmempfehlungssystem auf einem großen endlichen Automaten, bzw. einem Kellerautomaten. Wahrscheinlich ist das immernoch so.
  
  Spracherkennung nutzt zwar mittlerweile *auch* neuronale Netze, aber die Hauptarbeit wird meist noch mit endlichen Transduktoren erledigt (zuvor HMMs, die werden aber als FSTs auskompiliert).
  
  Es ist kein entweder-oder, sondern ein Zusammenspiel der Modelle. Gerade auf der höheren Abstraktionsebene kommt man „nur“ mit neuronalen Netzen oft nicht weit.
- Roman Klinger Beantwortet am 14 Jun 2023:
  
  Logik ist ein Konzept und KI ist ein Modebegriff. „KI“ bezeichnet heute alles mögliche und ist nicht klar definiert.
  
  Als die Entwicklung von Systemen, die intelligent erscheinen los ging hat man manchmal zwischen Künstlicher Intelligenz (artificial intelligence) und „Computational Intelligence“ (ich bin nicht sicher, wie man das übersetzt) unterschieden. Unter KI wurden Verfahren zusammengefasst, die eher „symbolisch“ waren, also wirklich Logik-basiert. Unter Computational Intelligence hat man Verfahren zusammengefasst, die eher mit kontinuierlichen Werten zu tun hat (Fuzzy Logic, Neuronale Netze/Maschinelles Lernen, Optimierung). Streng genommen ist das auch etwas komisch, weil die Suche nach einer Lösung für eine logische Formel auch als ein Optimierungsproblem verstanden werden kann, aber als grobe Einteilung war das nicht schlecht.
  
  Heute ist diese Unterscheidung unüblich.
  
  Ich selbst benutze den Begriff „KI“ übrigens nicht. Das ist für meinen Geschmack ein viel zu ungenauer Begriff – und man weiss eigentlich gar nicht so richtig, was gemeint ist.