Einführung in die Wissensrepräsentation
| Credits | Workload | Kontaktzeit | Selbststudium | Dauer |
|---|---|---|---|---|
| 6 CP | 180 h | 5 SWS (75 h) | 105 h |
Teilnahmevoraussetzungen
Vorlesung Mathematische Logik
Lehrveranstaltungen
| Veranstaltung/ Lehrform | CP | SWS | Häufigkeit | |
|---|---|---|---|---|
| Vorlesung Introduction to Knowledge Representation | 6 CP | 3 SWS | jedes 4. Semester | |
| Übung Introduction to Knowledge Representation | 2 SWS | jedes 4. Semester | ||
Prüfungsleistung
Note
Lernergebnisse / Kompetenzen
Studierende werden mit den wichtigsten Methoden der Wissensrepräsentation vertraut gemacht. Am Ende der Vorlesung werden die Studierenden wissen, was wissensbasierte Systeme von anderen unterscheidet und sie werden die wichtigsten Repräsentations- und Schlussfolgerungstechniken kennen.
Inhalte
- Logik 1. Stufe
- Resolution
- Horn Logik
- Prozedurale Wissensdarstellung
- Beschreibungslogiken
- Vererbungsnetze
- Nichtmonotone Logiken
Alternative Wahlmodule zu diesem Modul
Dieses Modul gehört zur Gruppe "Wahlpflicht Informatik". 9 Module (bestehend aus Vorlesung und Übung) zu wählen aus dem Wahlpflichtprogramm in den vier Bereichen: „Angewandte Informatik“, „Software & Kommunikation“, „Daten- und Informationsmanagement“, „Theoretische Informatik“. In jedem Bereich sind mind. 6, höchstens jedoch 30 ECTS zu erwerben. Die Module sollten so gewählt werden, dass im 1. Studienjahr in der Regel 36 ECTS, im zweiten Studienjahr 24 ECTS erworben werden.
Angewandte Informatik
- Computational Differentiation
- Designing Interactive Systems II
- Einführung in die Computergraphik
- Einführung in High-Performance Computing
- HCI Design Patterns
Daten- und Informationsmanagement
- Datenbanken und Informationssysteme
- Einführung in die künstliche Intelligenz
- Implementation of Databases
- Inhaltsbasierte Ähnlichkeitssuche
- Web Engineering
Software und Kommunikation
- Architekturmodellierung von Softwaresystemen
- Datenkommunikation und Sicherhei
- Einführung in Eingebettete Systeme
- Modellbasierte Softwareentwicklung
- Verteilte Anwendungssysteme und Middleware
Theoretische Informatik
- Angewandte Automatentheorie
- Berechenbarkeit und Komplexität
- Compilerbau
- Einführung in Effiziente Algorithmen
- Funktionale Programmierung
- Logikprogrammierung
- Model Checking
Modulzuordnung
Master of Science: Fach Grundlagen der Informatik: Bereich Daten- und Informationsmanagement
Disclaimer
Bitte beachten Sie, dass im Zweifel (z.B. sich widersprechende Angaben auf der Website und dem Modulhandbuch) für Ihr Studium immer die Angaben in der aktuellen Bachelorprüfungsordnung mit den entsprechenden Anhängen verbindlich sind. Wenden Sie sich bitte an die Fachstudienberatung, wenn Ihnen Unstimmigkeiten auffallen.
