- ==> Fuzzy-Menge
- <== Vagheit
- <== Alltagsschließen
- ==> vollständig, Vollständigkeit
- ==> Prolog
- <== Künstliche Intelligenz, KI
- ==> Modus ponens
- ==> korrekt, Korrektheit
- ==> Logik
- <=> Logik, mehrwertige
- ==> Wahrheitswert
- <== Künstliche Intelligenz, Geschichte der
- <== Petri-Netz
- <== Inferenzverfahren
- <=> Schliessen, approximatives