Welches Feld würdet ihr sagen ist am relevantesten, wenn es um künstliche Intelligenz geht?

Question

Welches Feld der theoretischen Informatik würdet ihr sagen ist am relevantesten, wenn es um künstliche Intelligenz geht?

Algorithmische Modelltheorie

Compilerbau

Effiziente Algorithmen

Erfüllbarkeitsüberprüfung

Komplexitätstheorie

Mathematische Logik

Model Checking

Answer 1

Mathematische Logik und Komplexitätstheorie sind Grundlagen ohne die kein Informatikstudium abgeschlossen werden sollte.

Effiziente Algorithmen ist allgemein genug, dass die dortigen Methoden auch in der KI verwendet werden können.