Induktion

<=> Inferenz

<=> Deduktion

==> Logik

==> Abduktion

==> Prädikatenlogik

<=> Inferenzverfahren

<=> Lernen, maschinelles

==> Wissensbasis

<== Lernen

<== Generalisierung

<== Analogie

<== Denken

<== Suche

==> Formel

==> Implikation

<== Objektivität