| Lines 18 - 20 |
Lines 18 - 40 |
| ++ 2005-03-09 (Mittwoch) |
++ 2005-03-09 (Mittwoch) |
| |
|
| [http://www.kiesler.at/static/wiki/wbs_20050309.jpg] |
[http://www.kiesler.at/static/wiki/wbs_20050309.jpg] |
| |
|
| |
Nach der Wiederholung des vorgestrigen Stoffs haben wir uns heute wie geplant die PraedikatenLogik genauer angesehen. Im Anschluss daran waren die DescriptionLogics drann, als einführendes Beispiel die FL^{-1}. Diese kann man sehr gut für die Abbildung von Logik-Hierarchien verwenden. |
| |
|
| |
Die Wiederholung begann mit den Themen Syntax und Semantik. Ohne das eine macht das andere keinen Sinn. Außerdem gab es einen Ausflug in die Vergangenheit des Informatik-Studiums. Für Informatiker sind im Zusammenhang Wissensbasierte Systeme drei Dinge interessant: |
| |
|
| |
* die SLD Resolution |
| |
* Das Sequential Kalkül |
| |
* Tableaus |
| |
|
| |
Unterrichtet wird das ganze nach zwei ganz verschiedenen Vorgehensweisen. Einerseits nach der //KUICH Methode//, die auch ich genossen habe: |
| |
|
| |
* Monoid: Tupel mit EPSILON, ... |
| |
* Mathematisch definiert |
| |
* NIE Kalkül |
| |
|
| |
Diese Methode ist gut für Mathematiker geeignet, jedoch für Informatiker weniger. Diese sind an Kalkülen interessiert, welche beispielsweise später von //Prof LEITSCH// unterrichtet wurden. Hier steht das Kalkül im Vordergrund: |
| |
|
| |
* Prädikaten Logik / Resolution |
| |
* Aussagenlogik / Resolution |
| |
* Sequential kalkül |
WissensbasierteSysteme
