TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Prüfung 2010-12-09

Aus VoWi
Zur Navigation springen Zur Suche springen

1[Bearbeiten | Quelltext bearbeiten]

  • a) klassische 1a-Beispiel (NNF, Deduktionstheorem, etc)
  • b) seminatisch lösen

2[Bearbeiten | Quelltext bearbeiten]

  • a) Tasm und CWAT inkl MC-Fragen
  • b) Allgemein Formulieren von ^ usw.
  • c) 1) Extenions aus erster Bsp-Abwandlung
  • c) 2) Extenions aus zweiter Bsp-Abwandlung
  • c) 3) Extenions aus dritter Bsp-Abwandlung

3 CSP[Bearbeiten | Quelltext bearbeiten]

  • a) Graph dazu zeichnen
  • b) 1) Frage zum Graph
  • b) 2) Frage zum Graph
  • b) 3) Frage zum Graph
  • c) Erkläre Forward-Chaining

4 Fragen zu Suche und RBS[Bearbeiten | Quelltext bearbeiten]

  • a) 4 Methoden aufs Working set?
  • b) Hill Climb Algorithmus
  • c) Beweise f(n')>n(n)
  • d) forward/backward chaining

von https://web.archive.org/web/*/www.informatik-forum.at/showthread.php?84448-After-Test-09.12.2010