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.

2021W, VU, 2.0h, 3.0EC, wird geblockt abgehalten
Lecture TubeTUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • LectureTube Lehrveranstaltung
  • 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 EG B (von Neumann)

Beginn: 8. Oktober 2020

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:0001.10.2021 - 19.11.2021Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Theory of Knowledge Representation - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.01.10.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.08.10.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.15.10.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.22.10.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.29.10.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.05.11.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.12.11.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Vorlesung
Fr.19.11.202109: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
06.10.2021 15:00 23.10.2024 22:00 23.10.2024 23:30

Curricula

Literatur

Vorkenntnisse

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

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch