TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Prüfung 2011-05-05

Logikbasierte Wissenpräsentation

• a) Entailment-Beziehung aufstellen, Erfüllbarkeitsproblem, NNF bilden und TC1
• b) semantisches lösen (heil grammatik)
• c) 3 Formel waren gegeben: gültig, erfüllbar, ungültig, Tautologie und Kontradiktion waren zum ankreuzen

CSP

• a) überprüfen ob ein gegebener Graph gültig ist, falls nicht ausbessern
• b) überprüfen ob alle Constraint des Graphen konsistent sind, falls nicht die Werten aus den Domains wegstreichen, so dass die Constraints konsistent sind
• c) MCFragen:
  • 1. LCV Heuristik wählt jene Variable, die in der kleinsten Anzahl von Constraints nicht-belegter Variablen involviert ist.
  • 2. Boole'sche CSPs können in polynomieller Zeit gelöst werden. (ohne immer)
  • 3. Für ein CSP, dessen Variablen diskrete Werte ais einer endlichen Domäne aufweist, ist die Anzahl der maximal möglichen Zuweisungs-Kombinationen exponentiell abhängig von der Anzahl der Variablen.

NMR

• a) Wie ist Cn(T) definiert?
• b) Wenn T1 konsistent und T2 inkonsistent ist, in welcher Beziehung stehen dann Cn(T1) und Cn(T2)?
• c) T gegeben, Tasm ausrechnen
• d) Delta Ei ausrechen und ankreuzen welche Extensions wirklich Extension von Ti sind (also E' ausrechnen)

Fragen zu Suche

• genau dasselbe wie bei der vorigen Prüfung (11.03.2011)