TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Prüfung 2010-12-09
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