626.015 (24S) Selected Topics in Informatics: Principles of Knowledge Representation

Sommersemester 2024

Anmeldefrist abgelaufen.

Erster Termin der LV
15.05.2024 15:15 - 18:45 S.1.42 On Campus
... keine weiteren Termine bekannt

Ü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

Liste der Termine wird geladen...

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

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

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 Benotungsschema

Position 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)
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Diese Lehrveranstaltung ist keiner Kette zugeordnet