Moduldetails

M1101-CMS73  Artificial Intelligence

Modulverantwortlich: N.N.
Anzeige im Stundenplan: CMS-LM-AI
Dauer: 3
Anzahl Wahlkurse: 0
Credits: 15,0
Startsemester: SoSe 2021
Verantwortliche:r Dozent:in Prof. Dr. Markus Krötzsch
markus.kroetzsch@tu-dresden.de
Qualifikationsziele Die Studierenden haben umfassende Kenntnisse der theoretischen Grundlagen und praktischen Prinzipien künstlich intelligenter Systeme. Sie sind vertraut mit wichtigen symbolischen und sub-symbolischen Ansätzen der Künstlichen Intelligenz und können relevante Methoden anwenden und kombinieren.
Inhalte Die Inhalte des Moduls sind wahlweise je nach Schwerpunktsetzung der/des Studierenden: Ansätze der Wissensrepräsentation einschließlich relevanter Formalismen wie Beschreibungslogiken, Ontologiesprachen, und Logikprogrammiersprachen; deduktives Schließen einschließlich wichtiger Ableitungskalküle wie Tableau, Resolution, Chase, Constraint Solving und Methoden des Theorembeweisens und Planens; induktives Schließen und maschinelles Lernen, einschließlich Informationsextraktion, Rule Mining und Ontologielernen; Methodik der Wissensmodellierung; Erklärung, Verifikation und Evaluation von Systemen der Künstlichen Intelligenz.
Lehr- und Lernformen Das Modul umfasst Vorlesung, Übung, Seminar, Tutorien, Praktikum und Projektbearbeitung im Umfang von 12 SWS sowie das Selbststudium. Die Lehrveranstaltungen sind im angegebenen Umfang aus dem Katalog CMS-LM-AI zu wählen; dieser wird inklusive der Lehrveranstaltungssprache, der jeweils erforderlichen Prüfungsleistungen und Gewichte der Noten zu Semesterbeginn wie an der Fakultät Informatik üblich bekannt gegeben.
Voraussetzungen für die Teilnahme Es werden keine besonderen Kenntnisse vorausgesetzt.
Verwendbarkeit Das Modul ist im Masterstudiengang Computational Modeling and Simulation ein Pflichtmodul für Studierende des Tracks Logical Modeling.
Voraussetzungen für Vergabe von Leistungspunkten Die Leistungspunkte werden erworben, wenn die Modulprüfung bestanden ist. Die Modulprüfung besteht aus den gemäß Katalog CMS-LM-AI vorgegebenen Prüfungsleistungen.
Leistungspunkte und Noten Durch das Modul können 15 Leistungspunkte erworben werden. Die Modulnote ergibt sich aus dem gemäß Katalog CMS-LM-AI gewichteten Durchschnitt der Noten der Prüfungsleistungen.
Häufigkeit des Moduls Das Modul wird jedes Studienjahr, beginnend im Sommersemester, angeboten.
Arbeitsaufwand Der Arbeitsaufwand beträgt insgesamt 450 Stunden.
Dauer des Moduls Das Modul umfasst zwei Semester.
Modulnummer Modulhandbuch TU Dresden CMS-LM-AI

Anmeldefristen

Phase Block Anmeldung von | bis Ende Abmeldung
Ohne Auswahlverfahren Vorlesungszeit 04.04.2021 00:00 | 15.06.2021 00:00 13.07.2021 00:00

Kurse
Nummer Name Semester  
DK1100-MA002X Dummykurs CMS 2 SWS  
DK1100-MA004X Dummykurs CMS 4 SWS  
DK1100-MA012X Dummykurs CMS 2 SWS  
DK1100-MA012X Computer Vision Seminar (S) SoSe 2021
DK1100-MA014X Dummykurs CMS 4 SWS  
DK1100-MA016X Dummykurs 6 SWS  
DK1100-MA018X Dummykurs CMS 8 SWS  
DK1100-MA022X Dummykurs CMS 2 SWS  
DK1100-MA024X Dummykurs CMS 4 SWS  
DK1100-MA034X Dummykurs CMS 4 SWS  
K1101-MA0001V Fuzzy Description Logic (V)  
K1101-MA0001Ü Fuzzy Description Logic (Ü)  
K1101-MA0001Ü Fuzzy Description Logic (Ü) WiSe 2021/22
K1101-MA0013S Seminar Theoretical Computer Science (S)  
K1101-MA0014V Introduction to Non-monotonic Reasoning (V)  
K1101-MA0014Ü Introduction to Non-monotonic Reasoning (Ü)  
K1101-MA0016V Description Logic (V)  
K1101-MA0016V Description Logic (V) SoSe 2021
K1101-MA0016V Description Logic (V) SoSe 2022
K1101-MA0016Ü Description Logic (Ü)  
K1101-MA0016Ü Description Logic (Ü) SoSe 2021
K1101-MA0016Ü Description Logic (Ü) SoSe 2022
K1101-MA0018V Logic based Ontology Engineering (V)  
K1101-MA0018V Logic Based Ontology Engineering (V) SoSe 2021
K1101-MA0018V Logic Based Ontology Engineering (V) SoSe 2022
K1101-MA0018Ü Logic based Ontology Engineering (Ü)  
K1101-MA0018Ü Logic Based Ontology Engineering (Ü) SoSe 2021
K1101-MA0018Ü Logic Based Ontology Engineering (Ü) SoSe 2022
K1107-M0070V Human Reasoning and the Weak Completion Semantics 2 (V)  
K1107-M0070Ü Human Reasoning and the Weak Completion Semantics 2 (Ü)  
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)  
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) SoSe 2022
K1107-MA0011V Linear Programming (V)  
K1107-MA0011Ü Linear Programming (Ü)  
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V)  
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V) WiSe 2021/22
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (Ü)  
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (Ü) WiSe 2021/22
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V)  
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü)  
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü) WiSe 2021/22
K1107-MA0018V Database Theory (V)  
K1107-MA0018V Database Theory (V) SoSe 2021
K1107-MA0018Ü Database Theory (Ü)  
K1107-MA0018Ü Database Theory (Ü) SoSe 2021
K1107-MA0022V Integer Programming (V)  
K1107-MA0022Ü Integer Programming (Ü)  
K1107-MA0055V Introduction to Formal Concept Analysis (V)  
K1107-MA0055Ü Introduction to Formal Concept Analysis (Ü)  

Bestehensregeln
Kontext Name Beschreibung
Global * Informationen zur Modulprüfung siehe Modulbeschreibung
Global *

Leistungen
Kurs / Modulabschluss­leistungen Leistungen Bestehens­pflicht Gewichtung
DK1100-MA002X Dummykurs CMS 2 SWS Prüfungsleistung Nein 2
DK1100-MA004X Dummykurs CMS 4 SWS Prüfungsleistung Nein 4
DK1100-MA012X Dummykurs CMS 2 SWS Prüfungsleistung Nein 2
DK1100-MA014X Dummykurs CMS 4 SWS Prüfungsleistung Nein 4
DK1100-MA016X Dummykurs 6 SWS Prüfungsleistung Nein 6
DK1100-MA018X Dummykurs CMS 8 SWS Prüfungsleistung Nein 8
DK1100-MA022X Dummykurs CMS 2 SWS Prüfungsleistung Nein 2
DK1100-MA024X Dummykurs CMS 4 SWS Prüfungsleistung Nein 4
DK1100-MA034X Dummykurs CMS 4 SWS Prüfungsleistung Nein 4
K1101-MA0001V Fuzzy Description Logic (V) Mündliche Prüfungsleistung Fuzzy Description Logic Nein 4
K1101-MA0013S Seminar Theoretical Computer Science (S) Seminararbeit Theoretical Computer Science Nein 1
Präsentation Theoretical Computer Science Nein 1
K1101-MA0014V Introduction to Non-monotonic Reasoning (V) Mündliche Prüfungsleistung Introduction to Non-monotonic Reasoning Nein 4
K1101-MA0016V Description Logic (V) Mündliche Prüfungsleistung Description Logic Nein 6
K1101-MA0018V Logic based Ontology Engineering (V) Mündliche Prüfungsleistung Logic Based Ontology Engineering Nein 4
K1107-M0070V Human Reasoning and the Weak Completion Semantics 2 (V) Mündliche Prüfungsleistung Human Reasoning and the Weak Completion Semantics 2 Nein 6
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) Präsentation Knowledge Representation and Reasoning Nein 2
K1107-MA0011V Linear Programming (V) Mündliche Prüfungsleistung Linear Programming Nein 4
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V) Mündliche Prüfungsleistung Human Reasoning and the Weak Completion Semantics 1 Nein 6
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V) Mündliche Prüfungsleistung Formal Argumentation for Artifical Intelligence Nein 4
K1107-MA0018V Database Theory (V) Mündliche Prüfungsleistung Database Theory Nein 6
K1107-MA0022V Integer Programming (V) Klausurarbeit Integer Programming Nein 4
K1107-MA0055V Introduction to Formal Concept Analysis (V) Mündliche Prüfungsleistung Introduction to Formal Concept Analysis Nein 4

Legende
**

Zu diesen Modulabschlussprüfungen gibt es mehrere Kombinationen von Leistungen. Die Bestehensregeln (siehe oben) legen fest, ob Sie eine oder mehrere dieser Leistungskombinationen absolvieren müssen.