1) Aussagenlogik
	- Text in logische formel umwandeln und Frage beantworten
	- Tabelle gegeben -> als KNF darstellen
	- Beweise X |= Y
	- Beweise X ~~ Y
	- X |= Y mit Resolution zeigen
	- X = {A, B, ...} gegeben, bestimme mit Stuffensättigungsstrategie
	  (Resolvententabelle) ob X in SAT
	- X = {A, B, ...} gegeben, mit linearer Resolution/Input-Resolution zeigen 
	  dass X widerspruchsvall ist
	- Was ist widerspruchsvollständig?
	- X = {A, B, ...} gegeben, in erfüllbarkeitsäquivalente 3-KNF
	  umformen
	- X = {A, B, ...} gegeben, mit Verfahren von Tseitin in
	  erfüllbarkeitsäquivalente KNF umwandeln
	
2) Prädikatenlogik
	- Teilinterpretation zu einer erfüllenden Interpretation erweitern
	- Mit Robinsonverfahren unifizierbarkeit überprüfen
	- Formel in PNF mit Kern in KNF bzw PNF in SKNF umwandeln
	- Mit Resolution Erfüllbarkeit prüfen
	- Text in PLF umwandeln und Frage beantworten
	- Herbrand-Universum/Herbrand-Erweiterung angeben
	
3) Produktions-Regel-System (Backward/Forward chaining)
	- Und-Oder-Baum konstruieren
	- Backward-Chaining
	- Forward-Chaining
	- Transitive Hülle bilden

4) Fuzzy
	- Fuzzy-Mengen bestimmen, in einem Diagramm graphisch darstellen
	- Matrix für Max-Min-Inferenz/Max-Produkt-Inferenz erstellen
	- Mit Max-Min-Inferenz Fuzzifizierung für einen Wert durchführen
	- Das Ergebnis der Max-Min-Inferenz mit der Mittelwert-Max-Methode
	  Defufuzzifizieren


5) Entscheidungsbäume
	- Wozu Entscheidungsbaum? Was bedeutet Entropie?
	- Mit ID3 Entscheidungsbaum erstellen
	- Gewichtete Entropie berechnen

6) Konfidenzen

7) Konfigurierung