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.
Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige Überarbeitung | ||
pruefungen:hauptstudium:ls8:ontosweb2_ws14 [30.03.2015 21:39] – GreenBourne | pruefungen:hauptstudium:ls8:ontosweb2_ws14 [02.04.2015 17:19] (aktuell) – GreenBourne | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
==== OntoSWeb WS14/15 ==== | ==== OntoSWeb WS14/15 ==== | ||
- | Prüfer: Lutz Schröder, Daniel Hausmann | + | ** Prüfer |
+ | * Lutz Schröder | ||
+ | * Daniel Hausmann | ||
- | == Generelles | + | ** Note 2.3 ** |
+ | |||
+ | == 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 | + | 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 |
- | Da die Note zu 50% davor schon feststand durch die Übungen | + | Da die Note zu 50% davor schon feststeht ob der Übungsnote |
- | Der Sinn davon erschliesst sich mir garnicht | + | Der Sinn davon erschliesst sich mir garnicht. |
+ | Hoffentlich | ||
- | 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 wirkliche | + | * Habe versehentlich NNF angegeben. Sollte diese dann bennen und danach die Syntax |
- | * Ist Aussagenlogik | + | * Ist Erfüllbarkeit in Aussagenlogik |
- | * 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 ' | + | * Wie lautet der Algorithmus? |
- | * Mit welchem Mittel der Wahl hat man stattdessen Erfüllbarkeit in Aussagenlogik gezeigt | + | * |
- | * 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 | + | * Wie sieht zusätzliche |
- | * Warum gilt die? Einfach anhand von Kripkerahmen erklären. | + | * Warum gilt diese? |
- | * Wie gross kann Tableaux in Abhängigkeit von Formel | + | |
- | * Exponentiell | + | * Wie groß kann Tableaux in Abhängigkeit von Formelgröße |
- | * Bisimulation? | + | * Exponentiell |
+ | * 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 |
- | * Begründung: | + |