TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Prüfungsfragen Überblick

Die Prüfungen der vergangenen Jahre beinhalten für jedes der vier Themengebiete vier, vereinzelt fünf Aufgaben; einige der Aufgabentypen finden sich in jeder Prüfung wieder

Beispiel 1: Logikbasierte Wissenrepräsentation

• Ein Beispiel bei dem die Gültigkeit einer Textangabe mittels TC1 belegt oder widerlegt werden soll (2020-01-09: 1c, 2019-03-21: 1c, 2019-01-08: 1b, 2018-03-15: 1a)
• Begriffsdefinitionen
  • Interpretationsstruktur (2019-03-21: 1b, 2019-01-08: 1a)
  • $\vDash$ (2020-01-09: 1a)
• Formeln auf Erfüllbarkeit/Widerlegbarkeit/Tautologie/Kontradiktion prüfen und einordnen (MC) (2020-01-09: 1d, 2019-03-09: 1c, 2019-01-08: 1c, 2018-03-15: 1c
• Behauptungen als richtig/falsch einordnen (MC) (2020-01-09: 1e, 2019-03-21: 1d, 2019-01-08: 1d, 2018-03-15: 1d)
• Beweise führen
  • Deduktionstheorem (2020-01-09: 1b, 2018-03-15: 1b)

Beispiel 2: Nichtmonotones Schließen

• Praktische Beispiele
  • Extensions bestimmen (2020-01-09: 2b, 2020-01-09: 2e, 2019-03-21: 2a)
  • Klassische Redukte bestimmen (2019-01-08: 2a, 2018-03-15: 2a)
  • CWA bestimmen (2020-01-08: 2d, 2019-01-08: 2c, 2018-03-15: 2b)
• Beweise:
  • Monotonie der Konsequenzrelation zeigen (2020-01-09: 2a)
  • $Cn(T_{1})\cup Cn(T_{2})\subseteq Cn(T_{1}\cup T_{2})$ (2019-03-21: 2c, 2019-01-08: 2d)
  • Default-Theorie generalisieren (2020-01-08: 2c)
• Theorie/Definitionen:
  • CWA (2019-01-08: 2c, 2019-03-21: 2d)
  • Normaler Default (2019-03-21: 2e, 2019-01-08: 2b)
  • Deduktiver Abschluss 2019-03-21: 2b, 2018-03-15: 2b)
  • Monotonieprinzip der klassischen Logik (2018-03-15)

Beispiel 3: Answer-Set Programming

• Grounding eines Programms bestimmen (2020-01-09: 3a, 2019-03-21: 3a)
• Guess-and-Check Paradigma erklären und beispielhaft erstellen (2019-03-21: 3c, 2019-01-08: 3a, 2018-03-15: 3a)
• Begriffsdefinitionen
  • Konsistenzbasierte Diagnose (2020-01-09: 3b), Abduktive Diagnose(problem) (2019-01-08: 3b, 2018-03-15: 3c)
• Regeln als Fakt/Horn/... klassifizieren (MC) (2018-03-15: 3b, 2019-03-21: 3b)
• Theorie-MC richtig/falsch (2020-01-09: 3c, 2019-01-08: 3d, 2018-03-15: 3d)

Beispiel 4: Probabilistisches Schließen

• Begriffsdefinitionen
  • Bayes'sches Netz (2020-01-09: 4a, 2018-03-15: 4c)
  • Atomare Ereignisse, Arten von Zufallsvariablen (2019-01-08: 4b)
• Formeln als richtig/falsch klassifizieren (2019-03-21: 4b, 2018-03-15: 4b)
• Bayes'sches Gesetz aus Produktregel herleiten (2020-01-09: 4b, 2019-03-21: 4c, 2019-01-08: 4c)
• Immer: Textaufgabe bedingte Wahrscheinlichkeit ( 2020-01-09: 4c, 2019-03-21: 4a, 2019-01-08: 4a, 2018-03-15: 4a)
• Immer: Bedingte Unabhängigkeiten in gegebenem Bayes'schen Netz prüfen (2020-01-09: 4d, 2019-03-21: 4d, 2019-01-08: 4d, 2018-03-15: 4d)