Inferenz

==> Schliessen

<=> Deduktion

<=> Induktion

<== Metainferenz

==> Schliessen, zeitliches

==> Negation as failure

<== Modellierung, kognitive

==> System, formales

==> Kalkül

==> Inferenzregel

==> Logik

==> Abduktion

<== Robotik

==> System, wissensbasiertes

<== Wissenserwerb

<== Metawissen

==> Wissensrepräsentation

<== Muster, symbolische

==> Schliessen, räumliches

<== Nachbarschaft, konzeptuelle

==> Schliessen mit Standardannahmen

<== Sprachverstehen, menschliches

<== Sprache, natürliche

<== Textgrammatik

<== Geschichtengrammatik

<== Textverstehen, menschliches

<== Computerlinguistik

<== Generierung natürlicher Sprache

<== System, natürlichsprachliches

<== Dialogsystem, natürlichsprachliches

<== SHRDLU

<== Frage-Antwort-System

<== ELIZA

<== Textverstehenssystem

<== Parsing natürlicher Sprache

<== Kohärenz

<== Kohäsion

==> Sprache, formale