Moduldetails

M1101-CMS73  Artificial Intelligence

Modulverantwortlich: Prof. Dr. rer. pol. Markus Krötzsch
Anzeige im Stundenplan: CMS-LM-AI
Dauer: 1
Anzahl Wahlkurse: 0
Credits: 15,0
Startsemester: SoSe 2024
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.2024 00:00 | 15.06.2024 00:00 13.07.2024 00:00

Kurse
Nummer Name Semester  
DK1100-CMS26X Dummykurs CMS 4 SWS  
DK1100-CMS27X Dummykurs CMS 2 SWS  
DK1100-CMS40X Dummykurs CMS 12 SWS  
DK1100-MA002X Dummykurs CMS 2 SWS  
DK1100-MA002X Dummykurs CMS 2 SWS SoSe 2024
DK1100-MA003X Dummykurs CMS 3 SWS  
DK1100-MA003X Dummykurs CMS 3 SWS SoSe 2024
DK1100-MA004X Dummykurs CMS 4 SWS  
DK1100-MA004X Introduction to Existential Rules (V+Ü) SoSe 2024
DK1100-MA012X Dummykurs CMS 2 SWS  
DK1100-MA014X Dummykurs CMS 4 SWS  
DK1100-MA014X Dummykurs CMS 4 SWS SoSe 2024
DK1100-MA016X Dummykurs 6 SWS  
DK1100-MA018X Dummykurs CMS 8 SWS  
DK1100-MA018X Dummykurs CMS 8 SWS SoSe 2024
DK1100-MA022X Dummykurs CMS 2 SWS  
DK1100-MA024X Dummykurs CMS 4 SWS  
DK1100-MA034X Dummykurs CMS 4 SWS  
DK1100-MA048X Dummykurs CMS 8 SWS  
K1101-MA0001V Fuzzy Description Logic (V)  
K1101-MA0001Ü Fuzzy Description Logic (Ü)  
K1101-MA0013S Seminar Theoretical Computer Science (S)  
K1101-MA0013S Seminar Theoretical Computer Science (S) SoSe 2024
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 2024
K1101-MA0016Ü Description Logic (Ü)  
K1101-MA0016Ü Description Logic (Ü) SoSe 2024
K1101-MA0018V Logic based Ontology Engineering (V)  
K1101-MA0018Ü Logic based Ontology Engineering (Ü)  
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V)  
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V) SoSe 2024
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü)  
K1101-MA0052Ü Building and Maintaining Ontologies in the Description Logic (Ü) SoSe 2024
K1102-CMS15X Teamprojekt Vertrauenswürdige Künstliche Intelligenz (X)  
K1106-MA0023V Scalable Data Engineering (V)  
K1106-MA0023Ü Scalable Data Engineering (Ü)  
K1107-MA0003V Introduction to Existential Rules (V)  
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)  
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) SoSe 2024
K1107-MA0009V Computer Vision 1 (V)  
K1107-MA0009Ü Computer Vision 1 (Ü)  
K1107-MA0011V Linear Programming (V)  
K1107-MA0011Ü Linear Programming (Ü)  
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V)  
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (Ü)  
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V)  
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (Ü)  
K1107-MA0022V Integer Programming (V)  
K1107-MA0022Ü Integer Programming (Ü)  
K1107-MA0026V First-Order Logic – Semantic and Computational Properties (V)  
K1107-MA0026V First-Order Logic – Semantic and Computational Properties (V) SoSe 2024
K1107-MA0028V Quotation in Formal Logics (V)  
K1107-MA0028Ü Quotation in Formal Logics (Ü)  
K1107-MA0055V Introduction to Formal Concept Analysis (V)  
K1107-MA0055Ü Introduction to Formal Concept Analysis (Ü)  
K1107-MA0058V Algorithmic Game Theory (V)  
K1107-MA0058V Algorithmic Game Theory (V) SoSe 2024
K1107-MA0058Ü Algorithmic Game Theory (Ü)  
K1107-MA0058Ü Algorithmic Game Theory (Ü) SoSe 2024
K1107-MA0062V Machine Learning 2 (V)  
K1107-MA0062V Machine Learning 2 (V) SoSe 2024
K1107-MA0062Ü Machine Learning 2 (Ü)  
K1107-MA0062Ü Machine Learning 2 (Ü) SoSe 2024
K1107-MA0063X CMS Research Project Robot Learning (X)  
K1107-MA0063X CMS Research Project Robot Learning (X) SoSe 2024
K1107-MA0064P Komplexpraktikum Roboter Lernen (P)  
K1107-MA0064P Komplexpraktikum Roboter Lernen (P) SoSe 2024

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

Leistungen
Kurs / Modulabschluss­leistungen Leistungen Bestehens­pflicht Gewichtung
DK1100-CMS26X Dummykurs CMS 4 SWS Prüfungsleistung DK1100-CMS26X Teilleistung 1 Nein 20
Prüfungsleistung DK1100-CMS26X Teilleistung 2 Nein 20
DK1100-CMS27X Dummykurs 2 SWS Prüfungsleistung DK1100-CMS27X Teilleistung 3 Nein 10
Prüfungsleistung DK1100-CMS27X Teilleistung 4 Nein 10
DK1100-CMS40X Dummykurs CMS 12 SWS Prüfungsleistung 12 SWS Nein 120
DK1100-MA002X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA002X Nein 20
DK1100-MA003X Dummykurs CMS 3 SWS Prüfungsleistung 3 SWS DK1100-MA003X Nein 30
DK1100-MA004X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA004X Nein 40
DK1100-MA012X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA012X Nein 20
DK1100-MA014X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA014X Nein 40
DK1100-MA016X Dummykurs 6 SWS Prüfungsleistung DK1100-MA016X Teilleistung 5 Nein 30
Prüfungsleistung DK1100-MA016X Teilleistung 6 Nein 30
DK1100-MA018X Dummykurs CMS 8 SWS Prüfungsleistung 8 SWS Nein 80
DK1100-MA022X Dummykurs CMS 2 SWS Prüfungsleistung 2 SWS DK1100-MA022X Nein 20
DK1100-MA024X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA024X Nein 40
DK1100-MA034X Dummykurs CMS 4 SWS Prüfungsleistung 4 SWS DK1100-MA034X Nein 40
DK1100-MA048X Dummykurs CMS 8 SWS Prüfungsleistung DK1100-MA048X Teilleistung 7 Nein 40
Prüfungsleistung DK1100-MA048X Teilleistung 8 Nein 40
K1101-MA0001V Fuzzy Description Logic (V) Mündliche Prüfungsleistung Fuzzy Description Logic Nein 40
K1101-MA0013S Seminar Theoretical Computer Science (S) Seminararbeit inklusive Präsentation Theoretical Computer Science Nein 20
K1101-MA0014V Introduction to Non-monotonic Reasoning (V) Mündliche Prüfungsleistung Introduction to Non-monotonic Reasoning Nein 40
K1101-MA0016V Description Logic (V) Mündliche Prüfungsleistung Description Logic Nein 60
K1101-MA0018V Logic based Ontology Engineering (V) Mündliche Prüfungsleistung Logic Based Ontology Engineering Nein 40
K1101-MA0052V Building and Maintaining Ontologies in the Description Logic (V) Mündliche Prüfungsleistung Building and Maintaining Ontologies in the Description Logic Nein 40
K1102-CMS15X Teamprojekt Vertrauenswürdige Künstliche Intelligenz (X) Projektarbeit Teamprojekt Vertrauenswürdige Künstliche Intelligenz Nein 40
Referat Teamprojekt Vertrauenswürdige Künstliche Intelligenz Nein 40
K1106-MA0023V Scalable Data Engineering (V) Klausurarbeit Scalable Data Engineering Nein 40
K1107-MA0003V Introduction to Existential Rules (V) Mündliche Prüfungsleistung Introduction to Existential Rules Nein 20
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) Seminararbeit inklusive Präsentation Knowledge Representation and Reasoning Nein 20
K1107-MA0009V Computer Vision 1 (V) Mündliche Prüfungsleistung Computer Vision 1 Nein 40
K1107-MA0011V Linear Programming (V) Mündliche Prüfungsleistung Linear Programming Nein 40
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (V) Mündliche Prüfungsleistung Human Reasoning and the Weak Completion Semantics 1 Nein 60
K1107-MA0013V Formal Argumentation and Artifical Intelligence (V) Mündliche Prüfungsleistung Formal Argumentation for Artifical Intelligence Nein 40
K1107-MA0022V Integer Programming (V) Klausurarbeit Integer Programming Nein 40
K1107-MA0026V First-Order Logic – Semantic and Computational Properties (V) Mündliche Prüfungsleistung First-Order Logic – Semantic and Computational Properties Nein 20
K1107-MA0028V Quotation in Formal Logics (V) Mündliche Prüfungsleistung Quotation in Formal Logics Nein 40
K1107-MA0055V Introduction to Formal Concept Analysis (V) Mündliche Prüfungsleistung Introduction to Formal Concept Analysis Nein 40
K1107-MA0058V Algorithmic Game Theory (V) Klausurarbeit/Mündliche Prüfungsleistung Algorithmische Spieltheorie Nein 40
K1107-MA0062V Machine Learning 2 (V) Mündliche Prüfungsleistung Machine Learning 2 Nein 40
K1107-MA0063X CMS Research Project Robot Learning (X) Projektarbeit Forschungsproject Robot Learning Nein 96
Referat Forschungsprojekt Robot Learning Nein 24
K1107-MA0064P Komplexpraktikum Roboter Lernen (P) Projektarbeit Komplexpraktikum Roboter Lernen Nein 64
Referat Komplexpraktikum Roboter Lernen Nein 16