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.

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

Merkmale

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

Ziele der Lehrveranstaltung

Kenntnis grundlegender Formalismen der Wissensrepräsentation, prinzipieller Probleme und Resultate.

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.

Weitere Informationen

Die Lehrveranstaltungssprache ist Englisch.

Termine nach Vereinbarung. Geplant: Donnerstag, 9h -12:30

Beginn: 11.10.2018 Ort: von Neumann Seminarraum

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
Do.09:00 - 12:3011.10.2018 - 13.12.2018Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Theory of Knowledge Representation - Einzeltermine
TagDatumZeitOrtBeschreibung
Do.11.10.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.18.10.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.25.10.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.08.11.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.22.11.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.29.11.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.06.12.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
Do.13.12.201809:00 - 12:30Seminarraum FAV EG B (Seminarraum von Neumann) Theory of Knowledge Representation
LVA wird geblockt abgehalten

Leistungsnachweis

Bewertete Übungsaufgaben und/oder mündliche Prüfung (opional)

LVA-Anmeldung

Von Bis Abmeldung bis
03.10.2018 15:00 20.10.2021 22:00 20.10.2021 23:30

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 011 DDP Computational Logic (Erasmus-Mundus) Keine Angabe
066 931 Logic and Computation Gebundenes Wahlfach

Literatur

Folien und weiteres Material

Vorkenntnisse

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

 

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch