Künstliche Intelligenz, KI

<=> Beweisen, automatisches

<== Blockwelt

<== Modellierung, kognitive

==> Logik

<== Prädikatenlogik

==> Mustererkennung

<== Sehen, maschinelles

<=> Informatik

<== Computer, Geschichte der

==> Programmiersprachen

<== Programmieren, objektorientiertes

<== Prolog

==> Künstliche Intelligenz, Geschichte der

==> Kybernetik

<== Architektur von KI-Systemen

<=> Inferenzverfahren

<== Deduktion

<== Schliessen, fallbasiertes

<== Schliessen, qualitatives

<=> Planen

<=> Robotik

<=> Bildverstehen

<=> Lernen, maschinelles

==> Expertensystem

==> Graphentheorie

<== Neuroinformatik

==> Lernen

<== Wissensquellen

<== Psychologie, kognitive

<== Aufgabe

<== Kognition

<== SOAR

==> Konnektionismus

==> Kognitionsforschung

<=> Kognitionswissenschaft

<=> Intellektik

<=> Wissen und Wissensrepräsentation

<== Netz, semantisches

<== Klassifikation

<=> Wissensrepräsentation

<=> Problemlösen

==> Intelligenz

<== Problemraum

==> Denken

<=> Alltagsschließen

<=> Suche

<== Experiment

==> Linguistik

==> Fuzzy-Logik

==> Sprache, gesprochene

<=> Computerlinguistik

<== SHRDLU

<== ELIZA

<== PARRY

<=> Sprachverstehen, maschinelles

==> Ausdrucksvermögen, Ausdrucksstärke

<== Conceptual-Dependency-Theorie

==> Philosophie des Geistes, analytische

==> Sprachphilosophie, analytische

==> Symbol

==> Erkenntnistheorie, Epistemologie

<== Evidenz

<== Ontologie

==> Anthropologie

<== Wissenschaftstheorie

<== Koordination, motorische

==> Sehsystem

<=> Wahrnehmung

==> Neurobiologie von Lernen und Gedächtnis