FSI-Zimmer: geschlossen
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 [01.04.2015 09:00] – GreenBourne | pruefungen:hauptstudium:ls8:ontosweb2_ws14 [02.04.2015 17:19] (aktuell) – GreenBourne | ||
|---|---|---|---|
| Zeile 15: | Zeile 15: | ||
| Hoffentlich hilft jemanden das Protokoll. - GreenBourne | 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 allgemeinen Aussagenlogik angeben. | * Habe versehentlich NNF angegeben. Sollte diese dann bennen und danach die Syntax der allgemeinen Aussagenlogik angeben. | ||
| - | * 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? | * Mit welchem Mittel der Wahl hat man stattdessen Erfüllbarkeit in Aussagenlogik gezeigt? | ||
| * Tableaux. Regeln anmalen und Semantik erklären (u.a. groß Gamma). | * Tableaux. Regeln anmalen und Semantik erklären (u.a. groß Gamma). | ||
| Zeile 38: | Zeile 38: | ||
| * Einfach anhand von Kripkerahmen erklären, dass Regel gilt. | * Einfach anhand von Kripkerahmen erklären, dass Regel gilt. | ||
| * Wie groß kann Tableaux in Abhängigkeit von Formelgröße werden? | * Wie groß kann Tableaux in Abhängigkeit von Formelgröße werden? | ||
| - | * Exponentiell groß. | + | * Exponentiell groß. |
| * Was ist eine Simulation? | * Was ist eine Simulation? | ||
| * Diagramm dazu anzeichnen. | * Diagramm dazu anzeichnen. | ||
| Zeile 46: | Zeile 46: | ||
| * 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: | + | |