626.015 (24S) Selected Topics in Informatics: Principles of Knowledge Representation
Überblick
- Lehrende/r
- LV-Titel englisch Selected Topics in Informatics: Principles of Knowledge Representation
- LV-Art Vorlesung-Kurs (prüfungsimmanente LV )
- LV-Modell Präsenzlehrveranstaltung
- Semesterstunde/n 2.0
- ECTS-Anrechnungspunkte 4.0
- Anmeldungen 12 (25 max.)
- Organisationseinheit
- Unterrichtssprache Englisch
- LV-Beginn 15.05.2024
- eLearning zum Moodle-Kurs
Zeit und Ort
LV-Beschreibung
Intendierte Lernergebnisse
After successful completion of the course, students are able to use results from some central topics in knowledge representation and reasoning in theory and for practical application. They are prepared to analyze and solve theoretical problems in these areas, as well as to model and solve problems using tools from knowledge representation and reasoning.
Lehrmethodik
Teaching of basic material in traditional frontal lecture with interaction with the students. Small problems to think between units, and an exercise part in which problems of theoretic nature (analysis of properties) and practical problem solving (e.g. planning, combinatorial problems) is considered. Background literature will be used in that.
Inhalt/e
Tentative subjects are: belief change, answer set programming and extensions, reasoning about actions and planning; abductive reasoning; intentional forgetting.
Erwartete Vorkenntnisse
basic knowledge in propositional and predicate logic
Literatur
besides slides, articles and book chapters / pointers to book
(will be provided)
Prüfungsinformationen
Prüfungsmethode/n
exam assignment or oral exam (optional)
Prüfungsinhalt/e
problems to solve, both of analytic and synthetic nature
(derive/calculate answer, modeling and construction)
Beurteilungskriterien/-maßstäbe
correctness (soundness and completeness) of the solutions, presentation of the solutions (explanation / argumentation), conciseness
credits for the exam problems, as a base for the grading (scale will announced)
Beurteilungsschema
Note BenotungsschemaPosition im Curriculum
- Doktoratsprogramm Informatics
(SKZ: ---, Version: 17W.1)
-
Fach: Informatics
(Pflichtfach)
-
Informatics (
0.0h XX / 0.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS)
-
Informatics (
0.0h XX / 0.0 ECTS)
-
Fach: Informatics
(Pflichtfach)
- Masterstudium Informatics
(SKZ: 911, Version: 19W.2)
-
Fach: Artificial Intelligence
(Wahlfach)
-
Weitere LVen aus dem gewählten Spezialisierungsfach oder den anderen Spezialisierungsfächern (
0.0h XX / 16.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2. Semester empfohlen
-
Weitere LVen aus dem gewählten Spezialisierungsfach oder den anderen Spezialisierungsfächern (
0.0h XX / 16.0 ECTS)
-
Fach: Artificial Intelligence
(Wahlfach)
- Masterstudium Informatics
(SKZ: 911, Version: 19W.2)
-
Fach: Business Information Systems
(Wahlfach)
-
Weitere LVen aus dem gewählten Spezialisierungsfach (
0.0h XX / 12.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2. Semester empfohlen
-
Weitere LVen aus dem gewählten Spezialisierungsfach (
0.0h XX / 12.0 ECTS)
-
Fach: Business Information Systems
(Wahlfach)
- Masterstudium Informatics
(SKZ: 911, Version: 19W.2)
-
Fach: Data Science and Engineering
(Wahlfach)
-
Weitere LVen aus dem gewählten Spezialisierungsfach (
0.0h XX / 12.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2. Semester empfohlen
-
Weitere LVen aus dem gewählten Spezialisierungsfach (
0.0h XX / 12.0 ECTS)
-
Fach: Data Science and Engineering
(Wahlfach)
- Masterstudium Information Management
(SKZ: 922, Version: 19W.1)
-
Fach: Specialisation in Information Management
(Wahlfach)
-
Specialisation in Information Management (
0.0h VO, VC, KS / 16.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2., 3. Semester empfohlen
-
Specialisation in Information Management (
0.0h VO, VC, KS / 16.0 ECTS)
-
Fach: Specialisation in Information Management
(Wahlfach)
- Masterstudium Information Management
(SKZ: 922, Version: 23W.1)
-
Fach: Specialisation in Information Management
(Wahlfach)
-
Specialisation in Information Management (
0.0h VO, VC, KS / 16.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS) Absolvierung im 1., 2., 3. Semester empfohlen
-
Specialisation in Information Management (
0.0h VO, VC, KS / 16.0 ECTS)
-
Fach: Specialisation in Information Management
(Wahlfach)
- Doktoratsstudium Doktoratsstudium der Technischen Wissenschaften
(SKZ: 700, Version: 18W.1)
-
Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Pflichtfach)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
0.0h XX / 32.0 ECTS)
- 626.015 Selected Topics in Informatics: Principles of Knowledge Representation (2.0h VC / 4.0 ECTS)
-
Studienleistungen gem. § 3 Abs. 2a des Curriculums (
0.0h XX / 32.0 ECTS)
-
Fach: Studienleistungen gem. § 3 Abs. 2a des Curriculums
(Pflichtfach)