|
|
 |  | | Informatik | | Grundlagen der Wissensverarbeitung (FT 08) | | | |
|
| |
|
|
|
|
|
| Zyklus: |
jedes Wintertrimester
|
| Trimesterwochenstunden: |
2
+
1
|
| Zielgruppe: |
|
| Voraussetzungen: |
keine
|
| Prüfungen: |
|
|
| |
| Vorlesung: |
Dienstag,
09:45
-
11:15, Hörsaal
2211
|
| Übung: |
Dienstag,
11:15
-
12:00, Hörsaal
2211
|
|
|
| |
Die Veranstaltung bietet einen theoretisch fundierten und praxisnah
motivierten Einstieg in die Methoden und Verfahren der Künstlichen
Intelligenz sowie die Konzeption Intelligenter Agenten und Systeme. Die
Teilnehmer lernen die der Künstlichen Intelligenz und Wissensverarbeitung
zugrunde liegenden formalen Kalküle kennen und werden so in die Lage
versetzt, in Entwurfsentscheidungen für Anwendungssysteme die Perspektive der
Wissensbasierung berücksichtigen und einbeziehen zu können. Darüber hinaus
wird die Grundkompetenz vermittelt, einfache Intelligente Systeme und
Agenten konzipieren und auf der Basis von Standardlösungen die Praxis umsetzen zu
können.
|
Schwerpunkte: allg. Strukturkonzept Rationaler Agenten; Logik-basierte
Repräsentation und Verarbeitung von Wissen; Grundprinzip der Inferenzierung; Aussagenlogik; Prädikatenlogik;
wissensbasierte Domänenmodellierung; Ontologien; Semantic Web Technologien
|
|
| |
Literaturangaben themenspezifisch (vgl. Folien).
|
|
|
|
| | | |
| Typ | Name | Beschreibung | Dateigröße | Geändert | Bearbeiten |
|---|
 Titel : Übung (13) | |  | | Übung 01: Einführung | 1395 KB | 18.04.2008 10:12 |  | | | | Übung 02: Agentenumgebung und Agentenstruktur | 160 KB | 18.04.2008 10:12 | | | | | Übung 03: Forward and Backward Chaining | 158 KB | 18.04.2008 10:12 | | | | | Übung 03: Ergänzung zur dritten Übung | 196 KB | 25.04.2008 09:31 | | | | | Übung 04: Hornformeln und Wumpus | 98 KB | 25.04.2008 09:31 | | | | | Übung 05: Prädikatenlogik | 181 KB | 06.05.2008 09:36 | | | | | Übung 06: PROLOG und der Fisch | 169 KB | 15.05.2008 17:06 | | |  | | Übung 06: Prolog-Implementierung der Aufgabe 2 | 1 KB | 20.05.2008 14:36 | | | | | Übung 7: Prolog, Unifikation, Forward Chaining, Backward Chaining | 170 KB | 27.05.2008 13:13 | | |  | | Übung 08: Alignmenttool für Aufgabe 3 | 11292 KB | 02.06.2008 18:40 | | | | | Übung 08: Szenarbeschreibung | 3694 KB | 02.06.2008 18:44 | | | | | Übung 08: Übungsblatt | 76 KB | 02.06.2008 18:51 | | | | | Übung 7,5: Sortieralgorithmen in Prolog | 2 KB | 03.06.2008 13:12 | | | Titel : Vorlesung (6) | | | | Kapitel 01: "Einführung" | 1657 KB | 03.04.2008 10:51 | | | | | Kapitel 02: "Architektur Intelligenter Agenten" | 246 KB | 03.04.2008 10:51 | | | | | Kapitel 03: "Logik-basierte Agenten" | 672 KB | 15.04.2008 16:13 | | | | | Kapitel 04: "Prädikatenlogik" | 682 KB | 21.04.2008 17:40 | | | | | Kapitel 05: "Ontologien & Wissensrepräsentation" (geändert) | 1140 KB | 21.05.2008 17:28 | | | | | Kapitel 06: "Special Ontological Issues & Situation Calculus" | 219 KB | 02.06.2008 15:42 | |
| |
|
|
|