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.

2020W, VU, 2.0h, 3.0EC, wird geblockt abgehalten
Lecture Tube

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • LectureTube Lehrveranstaltung
  • Format der Abhaltung: Distance Learning

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: 15. 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

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do.09:00 - 13:0008.10.2020 - 21.01.2021Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Theory of Knowledge Representation - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.08.10.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.15.10.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.22.10.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.29.10.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.05.11.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.12.11.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.19.11.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.26.11.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.03.12.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.10.12.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.17.12.202009:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.07.01.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.14.01.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
Do.21.01.202109:00 - 13:00Seminarraum FAV 01 A (Seminarraum 183/2) Theory of Knowledge Representation
LVA wird geblockt abgehalten

Leistungsnachweis

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

LVA-Anmeldung

Von Bis Abmeldung bis
07.10.2020 15:00 25.10.2023 22:00 25.10.2023 23:30

Curricula

Literatur

Vorkenntnisse

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

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch