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 17:40] – Um Verbesserungen von HP ergänzt 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 == | ||
Zeile 39: | 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 47: | 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? | ||
* 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. | * 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. |