Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » OntoSWeb WS14/15   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
Nächste Überarbeitung		Vorherige Überarbeitung
pruefungen:hauptstudium:ls8:ontosweb2_ws14 [01.04.2015 08:40] – GreenBournepruefungen:hauptstudium:ls8:ontosweb2_ws14 [02.04.2015 17:19] (aktuell) – GreenBourne
Zeile 9: Zeile 9:
 == Allgemein == == Allgemein ==
 Prüfungsatmosphäre wahr ok. Prüfungsatmosphäre wahr ok.
-Schröder erwartete recht genaue Antworten half aber wenn es hing. Die Benotung war sehr fair. +Schröder erwartete recht genaue Antworten half aber aus wenn es hing. Die Benotung war sehr fair. 
-Der Inhalt der Prüfung war leider schon im vorhinein festgelegt. Schröder hatte ein Blatt mit ca. 10-15 Fragen dabei und hat die so ziemlich abgearbeitet. Viele interessantere Themengebiete wie E-F, m-Äquivalenz, Gültigkeit und Erfüllbarkeit in FOL, EL, Materialisator, PSPACE von bestimmtem Modallogiken kamen leider garnicht dran. Sowie deren Beweise. Das war echt schade. Stattdessen haben wir dann viel Zeit mit Aussagenlogik verbracht, was ich in der Vorlesung eigentlich nur als Recap empfunden habe. +Der Inhalt der Prüfung war leider schon im vorhinein festgelegt. Schröder hatte ein Blatt mit ca. 10-15 Fragen dabei und hat die so ziemlich abgearbeitet. Viele interessantere Themengebiete aus FOL (E-F, m-Äquivalenz, Gültigkeit und Erfüllbarkeit von FOL), ALC (PSPACE Beweis mittels Reduktion von TQBF) und EL (Materialisator) kamen leider garnicht zur Sprache. Das war echt schade, da das mein Lernfokus war. Stattdessen haben wir dann viel Zeit mit Aussagenlogik verbracht, was ich in der Vorlesung eigentlich nur als Recap (aus Glolop) empfunden habe. 
-Da die Note zu 50% davor schon feststand durch die Übungen kann man auch nicht mehr soviel holen. +Da die Note zu 50% davor schon feststeht ob der Übungsnote kann man auch nicht mehr soviel holen. 
-Der Sinn davon erschliesst sich mir garnicht aber gut. Hfftl hilft jemanden das Protokoll.+Der Sinn davon erschliesst sich mir garnicht.  
 +Hoffentlich hilft jemanden das Protokoll. - GreenBourne
  
-PS: Wenn jemand Fehler findet in den Antworten, bitte ergänzen :) 
  
 == Aussagenlogik == == Aussagenlogik ==
   * Syntax von Aussagenlogik angeben   * Syntax von Aussagenlogik angeben
-    * Habe versehentlich NNF angegeben. Sollte diese dann bennen und danach die Syntax der allgeminen Aussagenlogik angeben. +    * Habe versehentlich NNF angegeben. Sollte diese dann bennen und danach die Syntax der allgemeinen Aussagenlogik angeben. 
-  * Ist Aussagenlogik erfüllbar? (SAT) +  * Ist Erfüllbarkeit in Aussagenlogik in Polynomzeit entscheidbar? (SAT-Problem) 
-    * Nein. NP vollständig+    * Nein denn der Algorithmus liegt nicht in P sondern in NP.
   * Warum ist es in NP?   * Warum ist es in NP?
-    * Nicht deterministische Turing Maschine kann in polynomieller Zeit Problem lösen +    * Nicht deterministische Turing Maschine kann in polynomieller Zeit Problem lösen. 
-      * Algo? Bei jedem Atom die 'richtige' Belegung wählen. +      * Wie lautet der Algorithmus? 
-  * Mit welchem Mittel der Wahl hat man stattdessen Erfüllbarkeit in Aussagenlogik gezeigt +        *  Bei jedem Atom die 'richtige' Belegung wählen. 
-    * Tableaux. Regeln anmalen und Semantik erklären (was bedeutet gross Gamma etc).+  * Mit welchem Mittel der Wahl hat man stattdessen Erfüllbarkeit in Aussagenlogik gezeigt? 
 +    * Tableaux. Regeln anmalen und Semantik erklären (u.a. groß Gamma).
          
 == ALC == == ALC ==
   * Syntax von Modallogik   * Syntax von Modallogik
  
-  * Modell der Wahl? Kripkemodelle.+  * Modell der Wahl? 
 +    * Kripkemodelle.
  
-  * Weitere Tableaux Regel anzeichnen +  * Wie sieht zusätzliche Tableaux Regel aus? Anzeichnen. 
-     * Warum gilt die? Einfach anhand von Kripkerahmen erklären. +     * Warum gilt diese? 
-  * Wie gross kann Tableaux in Abhängigkeit von Formel werden? +       * Einfach anhand von Kripkerahmen erklären, dass Regel gilt. 
-     * Exponentiell gross. +  * Wie groß kann Tableaux in Abhängigkeit von Formelgröße werden? 
-  * Bisimulation?+     * Exponentiell groß. (Siehe Übung) 
 +  * Was ist eine Simulation?  
 +    * Diagramm dazu anzeichnen. 
 +  * Was ist eine Bisimulation? 
 +    * Simulation in beide Richtungen mit selber Menge an Tupeln nur vertauscht (siehe Skript). 
 +  * Was bedeuted bisimulationsinvariant? 
     * Bisimilare Zustände erfüllen die selben Modalformeln.     * Bisimilare Zustände erfüllen die selben Modalformeln.
   * Warum ist ALC Teil von FOL?   * Warum ist ALC Teil von FOL?
-    * Es gibt eine Übersetzungsfunktion von FOL nach ALC +    * Es gibt eine Übersetzungsfunktion von FOL nach ALC. 
-      * Übersetzungsfunktion hinzeichnen  +      * Übersetzungsfunktion hinzeichnen.  
   * Warum ist FOL Aussagekräftiger als ALC?   * Warum ist FOL Aussagekräftiger als ALC?
-    * In ALC kann man xRx nicht darstellen. +    * Das einelementige reflexive Kripkemodell ist bisimilar zum Modell der unendlich verkettete Liste. Diese Modelle sind daher nicht unterscheidbar in ALC. In FOL dagegen aber schon.
-    * Begründung: Ich glaube es wären alle Modelle bisimilar zum einelementigen reflexiven Kripkemodell aber es wären nicht die gleichen Formeln erfüllt in diesen Modellen. Damit wäre Modallogik aber nicht mehr bisimulationsinvariant. Bin mir nicht sicher, ob diese Begründung stimmt.+