Benjamin Koehnen

Pruefer: Prof. Beierle
Kurs: 01696 - Wissensbasierte Systeme
Pruefungsdauer: ca. 30 min.
Datum: 31.03.1999

- Aufbau eines wissensbasierten Systems
- Syntax / Semantik
- Induktion / Deduktion / Abduktion erklaehren
- Regelnetzwerk
  a) Vorwaertsverkettung
  b) Rueckwaertsverkettung
- Eigenschaften von MYCIN
- Was ist maschinelles Lernen?
  a) Entscheidungsbaumverfahren kurz erlaeutern
  b) Was ist ein Konzept?
  c) Versionenraumverfahren kurs erlaeutern
- Was ist fallbasiertes Schliessen?
  a) Erlaeutern der vier Arbeitsschritte eines CBRs
- Was ist nichtmonotones Schliessen?
  a) Was heisst nicht-monoton?
  b) Was ist ein TMS?
  c) Wann ist  n> gueltig?
  d) Welche besonderen Eigenschaften sollte ein Modell haben?
     (fundiert + abgeschlossen)
  e) Operation ^ (grosses Delta) erklaeren.
  f) Wie ist eine Extension E definiert? (^(E) = E)
  g) Grundidee des TM-Algorithmus erlaeutern
  h) Wann ist dieser Algorithmus schnell beendet?
     (z.B. wenn Konsequenz der neuen Regel bereits in ist)
  i) Welche justifications heissen monoton? Warum?
  j) Was ist ein Default?
  k) Idee des Prozessbaumes erlaeutern

Die Pruefung fand in einer angenehmen Atmosphaere statt. Prof. Beierle
kommt es vor allem darauf an, dass man einen guten Ueberblick ueber die
Themengebiete hat. Konkrete Formeln und Algorithmen muss man nicht angeben
koenne, wohl aber die Idee, die hinter allem steckt. Mit der Benotung war
ich sehr zufrieden. Prof. Beierle ist als Pruefer sehr zu empfehlen.