| Lines 38 - 40 |
Lines 38 - 70 |
| * Prädikaten Logik / Resolution |
* Prädikaten Logik / Resolution |
| * Aussagenlogik / Resolution |
* Aussagenlogik / Resolution |
| * Sequential kalkül |
* Sequential kalkül |
| |
|
| |
Ein heißer Tip für die mündliche Prüfung: |
| |
|
| |
**"Wie sieht Syntax aus?"** |
| |
|
| |
* sie hat eine Signatur (besser als "Alphabet") |
| |
* es gibt eine Menge Aussagen mit logischen Variablen |
| |
* Formeln: eine Menge aller Wohlgeformten Formeln |
| |
* Jede Aussagenvariable ist Formel |
| |
* Damit kann man neue Formeln aus bereits bestehenden durch Rekursion bauen |
| |
* Formeln sind Rekursiv prüfbar -- für Informatiker wichtig! |
| |
* Zuerst immer Parsen |
| |
|
| |
**"Wie ist die Semantik für Aussagenlogik definiert?"** |
| |
|
| |
A -> C -> D allgemeingültig? |
| |
|
| |
* Variablen mit werten belegen (Durch Interpretationsfunktion) |
| |
* Dann: Geänderte Formeln mit Wahrheitswerten (nur mehr Wahr/Falsch) -> Wahrheitstabellen! |
| |
|
| |
Problem bei Aussagenlogik: Wissensrepräsentation (keine Quantoren -> Prädikatenlogik) |
| |
|
| |
Herr TOMPITS wird uns bei Gelegenheit von Komplexitätsklassen erzählen, die logischen Programme machen wir später. |
| |
|
| |
Heute: |
| |
|
| |
* PraedikatenLogik |
| |
* DescritptionLogics |
| |
|
| |
|
WissensbasierteSysteme
