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