|
Projekt zur Künstlichen Intelligenz (P KI)10 ECTS (englische Bezeichnung: Project for Artificial Intelligence)
(Prüfungsordnungsmodul: Projekt zur Künstlichen Intelligenz)
Modulverantwortliche/r: Michael Kohlhase Lehrende:
Michael Kohlhase
Startsemester: |
SS 2020 | Dauer: |
1 Semester | Turnus: |
jährlich (WS) |
Präsenzzeit: |
60 Std. | Eigenstudium: |
240 Std. | Sprache: |
Deutsch oder Englisch |
Lehrveranstaltungen:
Inhalt:
The KWARC group (Wissensrepräsentation und Verarbeitung) conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management. We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly. We concentrate on developing techniques for marking up the structural semantics in technical documents. This level of markup allows for offering interesting knowledge management services without forcing the author to formalize the document contents.
In contrast to courses with fixed topics, project topics are defined individually. See http://kwarc.info for further information.
Lernziele und Kompetenzen:
Die Studierenden
arbeiten sich in komplexe Softwaresysteme ein und erweitern diese
lernen, eigenständig Lösungsvorschläge auszuarbeiten und umzusetzen
dokumentieren die von ihnen geschriebene Software
Verwendbarkeit des Moduls / Einpassung in den Musterstudienplan:
- Informatik (Master of Science)
(Po-Vers. 2010 | TechFak | Informatik (Master of Science) | Gesamtkonto | Hauptseminar, Projekt, Masterarbeit | Projekt Modul | Projekt zur Künstlichen Intelligenz)
Studien-/Prüfungsleistungen:
Projekt zur Künstlichen Intelligenz (Prüfungsnummer: 851420)
(englischer Titel: Project for Artificial Intelligence)
- Prüfungsleistung, mehrteilige Prüfung, benotet, 10 ECTS
- Anteil an der Berechnung der Modulnote: 100.0 %
- weitere Erläuterungen:
Die Modulnote setzt sich wie folgt zusammen:
60 % Software-Projekt
25 % Ausarbeitung
15 % Vortrag
- Erstablegung: SS 2020, 1. Wdh.: WS 2020/2021
1. Prüfer: | Michael Kohlhase |
|
|
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|