TU Wien:Einführung in wissensbasierte Systeme VU (Egly)/Prüfung 2009-01-14

1. CSP. Variablen mit Domain waren gegeben + die Constraints
   • a.) dazu den Constraint graph zeichen
   • b.)
     • i.) Welche Variable wird ausgewählt wenn die degree heuristik angewendet wird
     • ii.) Welche Variable wird ausgewählt wenn die MRV heuristik angwendet wird und die Variable D = 1 ist
     • iii.) Welche Belegung hat die Variable E wenn die least constraining heuristik angewendet wird und die Variable D = 1 ist
   • c.) Kreuzerl Fragen zum CSP
2. PL1 gegeben mit: Vx P(x) |= Vx -P(x) oder so
   • a.) in ein Tautologie problem umformen
   • b.) Interpretation um zu zeigen dass die Formel erfüllbar ist
   • c.) Interpretation um zu zeigen dass die Formel wiederlegbar ist
   • d.) Irgendeine Textangabe: Sie sind Techniker für Deduktions... irgendwas.. welche Kalküle gibt es um das Erfüllbarkeitsproblem zu lösen....
   • e.) TCO auf eine andere Formel anwenden um zu zeigen dass die Formel eine Tautologie ist
3. Default Logic
   • a.) Kreuzerl Fragen dazu in der Art: Für CWA gilt Allgemein:
     • i.) CWA(T) ist konsistent
     • ii.) CWA(T) ist geschlossen
     • iii.) CWA(CWA(T)) = CWA(T)
     • iv.) CWA(T) ist deduktiv geschlossen .....
   • b.) Default Logic erklären und das Default genau erklären dann noch Kreuzerl frage dazu
   • c.) Ja das war lustig: |-d ist ein Operator der von der Default logic auf die klassische logic schließt: Also wenn Default Logic T |-d A (Klassische formel) gilt wenn eine Extenstion E von T eine echte teilmenge von A ist. Da sollte man dann mit einem Beispiel zeigen dass der Operator nicht den monotonie eigenschaften entspricht.
4. Rulebased Systems
   • a) recognize-act-cycle aufzeichnen und die verwendeten begriffe erklären
   • b) Gib 4 Operationen für workingMemory
   • c) 4 arten der conflict resolution und wozu braucht man conflict resolution
   • d) Was ist der unterschied zw. vorwärtsinferenz und rückwärtsinferenz?