Das Student-Self-Service ist auf Grund eines technischen Problems derzeit nur eingeschränkt verfügbar. Wir bitten um Ihr Verständnis.

184.186 Theory of Knowledge Representation
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2022W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, Resultate aus einigen zentralen Kernthemen der Wissensrepräsentation und des Schließens in diesem Kontext in Theorie und Praxis zu verwenden. Sie sind in der Lage, technische Probleme zu den Aufgabenbereichen theoretisch zu bearbeiten sowie auch praktisch Probleme mit Hilfe von Softwarewerkzeugen der Wissensrepräsentation zu modellieren und zu lösen.

Inhalt der Lehrveranstaltung

Grundlagen von Formalismen der Wissensrepräsentation. 

Themenbereiche (vorläufig):  Ansätze zur Änderung von logikbasierten Wissensbasen; Nicht-monotone Formalismen und Logische Programmierung; Planen und Schlussfolgern über Aktionen; Abduktives Schließen; Ausdrucksstärke von Formalismen der Wissensrepräsentation.

Methoden

Vermittlung des Grundstoffs in Frontalunterricht mit Interaktion, kleine Aufgaben zwischen den Einheiten, Übungsblock mit Aufgaben theoretischer Natur (Analyse von Eigenschaften) und praktische Problemlösung (Planen, kombinatorische Probleme). Dabei wird Hintergrundliteratur herangezogen. 

Prüfungsmodus

Schriftlich

Weitere Informationen

Die Lehrveranstaltungssprache ist Englisch.

Donnerstag, 9h -12:30 (geplant), Seminarraum FAV 01 A

Beginn: 7. Oktober 2022

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture presentation 0.5h
  • Lecture 17.5h
  • Further reading 25h
  • Discussion of the exercises 1.5h
  • Solving the exercises 30h
  • Oral exam (if applicable) 0.5h

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.09:00 - 13:0007.10.2022 - 25.11.2022Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Theory of Knowledge Representation - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.07.10.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.14.10.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.21.10.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.28.10.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.04.11.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.11.11.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.18.11.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.25.11.202209:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

Bewertung der Aufgaben und Übungsaufgaben, optional eine mündliche Prüfung

LVA-Anmeldung

Von Bis Abmeldung bis
05.10.2022 15:00 22.10.2025 22:00 22.10.2025 23:30

Curricula

Literatur

Vorkenntnisse

  • Solide Grundlagen in Aussagen- und Prädikatenlogik
  • Formale Semantik

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch