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.

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

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

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: 17. Oktober 2019

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:0010.10.2019 - 30.01.2020Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fr.09:00 - 13:0008.11.2019Seminarraum FAV EG C (Seminarraum Gödel) 184.186 VU Theory of Knowledge Representation
Fr.09:00 - 13:0015.11.2019 - 29.11.2019Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Theory of Knowledge Representation - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.10.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.17.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.24.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.31.10.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.07.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fr.08.11.201909:00 - 13:00Seminarraum FAV EG C (Seminarraum Gödel) 184.186 VU Theory of Knowledge Representation
Do.14.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fr.15.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Do.21.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fr.22.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Do.28.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Fr.29.11.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 184.186 VU Theory of Knowledge Representation
Do.05.12.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.12.12.201909:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.09.01.202009:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.23.01.202009:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.30.01.202009:00 - 13:00Seminarraum FAV EG B (Seminarraum von Neumann) 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
02.10.2019 15:00 19.10.2022 22:00 19.10.2022 23:30

Curricula

Literatur

Vorkenntnisse

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

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch