Module details

M1101-CMS73  Artificial Intelligence

Module Owner: N.N.
Displayed in timetable as: CMS-LM-AI
Duration: 2
Number of electives: 0
Credits: 15,0
Start Semester: SuSe 2021
Lecturer Responsible Prof. Dr. Markus Krötzsch
markus.kroetzsch@tu-dresden.de
Qualification Goals The students have comprehensive knowledge of the theoretical foundations and practical principles of artificially intelligent systems. They are familiar with important symbolic and sub-symbolic approaches of Artificial Intelligence and are able to apply and combine relevant methods.
Content The content of the module depends on the student’s main focus: approaches to knowledge representation including relevant formalisms such as descriptive logics, ontology languages, and logic programming languages; deductive reasoning including important derivation calculus such as tableau, resolution, chase, constraint solving, and methods of theorem provision and planning; inductive reasoning and machine learning, including information extraction, rule mining, and ontology learning; methodology of knowledge modelling; explanation, verification, and evaluation of artificial intelligence systems.
Forms of Teaching and Learning The module includes a lecture, a practical, a seminar, tutorials, an internship and project work amounting to 12 hours per week plus independent study. Courses are to be selected from the CMS-LM-AI catalogue to the extent indicated; this catalogue, including the language of the course, the required graded work and the weighting of the grades, will be announced at the beginning of the semester as is customary at the Faculty of Computer Science.
Prerequisites for Participation No previous specialist knowledge is required.
Applicability This is a compulsory module for students of the track Logical Modelling in the Master degree course Computational Modelling and Simulation.
Prerequisites for the Assignment of Credit Points The credit points are awarded if the module examination is passed. The module examination consists of the graded work specified in the CMS-LM-AI catalogue.
Credit Points and Grades 15 credit points can be earned by completing the module. The module grade results from the weighted average of the grades of the graded work according to the CMS-LM-AI catalogue.
Frequency of Offer The module is offered each academic year, starting in the summer semester.
Workload The total workload is 450 hours.
Duration of Module The module takes two semesters to complete.
Module Number Module Handbook TU Dresden CMS-LM-AI

Registration periods

Phase Block Register from | to End cancellation
Ohne Auswahlverfahren Vorlesungszeit 04.04.2021 00:00 | 15.10.2021 00:00 13.10.2021 00:00

Courses
Number 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) SuSe 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 4 SWS  
DK1100-MA034X Dummykurs 4 SWS  
K1101-MA0001V Fuzzy Description Logic (L)  
K1101-MA0001Ü Fuzzy Description Logic (E)  
K1101-MA0001Ü Fuzzy Description Logic (E) 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 (E)  
K1101-MA0016V Description Logic (L)  
K1101-MA0016V Description Logic (L) SuSe 2021
K1101-MA0016Ü Description Logic (E)  
K1101-MA0016Ü Description Logic (E) SuSe 2021
K1101-MA0018V Logic Based Ontology Engineering (L)  
K1101-MA0018V Logic Based Ontology Engineering (L) SuSe 2021
K1101-MA0018Ü Logic Based Ontology Engineering (E)  
K1101-MA0018Ü Logic Based Ontology Engineering (E) SuSe 2021
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S)  
K1107-MA0011V Linear Programming (L)  
K1107-MA0011Ü Linear Programming (E)  
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (L)  
K1107-MA0012V Human Reasoning and the Weak Completion Semantics (L) WiSe 2021/22
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics 1 (E)  
K1107-MA0012Ü Human Reasoning and the Weak Completion Semantics (E) WiSe 2021/22
K1107-MA0013V Formal Argumentation and Artifical Intelligence (L)  
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (E)  
K1107-MA0013Ü Formal Argumentation and Artifical Intelligence (E) WiSe 2021/22
K1107-MA0018V Database Theory (L)  
K1107-MA0018V Database Theory (L) SuSe 2021
K1107-MA0018Ü Database Theory (E)  
K1107-MA0018Ü Database Theory (E) SuSe 2021
K1107-MA0022V Integer Programming (L)  
K1107-MA0022Ü Integer Programming (E)  
K1107-MA0055V Introduction to Formal Concept Analysis (L)  
K1107-MA0055Ü Introduction to Formal Concept Analysis (E)  

Passing rules
Context Name Description
Global *
Global * For information on the module examination please see module description

Requirements
Course / Final module requirements Requirements Compulsory pass Weighting
DK1100-MA002X Dummykurs CMS 2 SWS Assessment No 2
DK1100-MA004X Dummykurs CMS 4 SWS Assessment No 4
DK1100-MA012X Dummykurs CMS 2 SWS Assessment No 2
DK1100-MA014X Dummykurs CMS 4 SWS Assessment No 4
DK1100-MA016X Dummykurs 6 SWS Assessment No 6
DK1100-MA018X Dummykurs 8 SWS Assessment No 8
DK1100-MA022X Dummykurs CMS 2 SWS Assessment No 2
DK1100-MA024X Dummykurs 4 SWS Assessment No 4
DK1100-MA034X Dummykurs 4 SWS Assessment No 4
K1101-MA0001V Fuzzy Description Logic (L) Oral Assessment Fuzzy Description Logic No 4
K1101-MA0013S Seminar Theoretical Computer Science (S) Seminar Paper Theoretical Computer Science No 1
Presentation Theoretical Computer Science No 1
K1101-MA0014V Introduction to Non Monotonic Reasoning (L) Oral Assessment Introduction to Non-monotonic Reasoning No 4
K1101-MA0016V Description Logic (L) Oral Assessment Description Logic No 6
K1101-MA0018V Logic based Ontology Engineering (L) Oral Assessment Logic Based Ontology Engineering No 4
K1107-MA0004S Seminar Knowledge Representation and Reasoning (S) Presentation Knowledge Representation and Reasoning No 2
K1107-MA0011V Linear Programming (L) Oral Presentation Linear Programming No 4
K1107-MA0012V Human Reasoning and the Weak Completion Semantics 1 (L) Oral Assessment Human Reasoning and the Weak Completion Semantics No 6
K1107-MA0013V Formal Argumentation and Artifical Intelligence (L) Oral Assessment Formal Argumentation for Artifical Intelligence No 4
K1107-MA0018V Database Theory (L) Oral Assessment Database Theory No 6
K1107-MA0022V Integer Programming (L) Written Examination Integer Programming No 4
K1107-MA0055V Introduction to Formal Concept Analysis (L) Oral Assessment Introduction to Formal Concept Analysis No 4