184.208 Logik für Wissensrepräsentation
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

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

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

Kennenlernen wichtiger Logiken zur Wissensrepräsentation.

Didaktisches Vorgehen: Frontalvortrag mittels Folien.

Inhalt der Lehrveranstaltung

Wissensrepräsentation ist ein Zweig der künstlichen Intelligenz welches zum Ziel hat, geeignete Methoden zu entwickeln um implizites Wissen über einen bestimmten Bereich so darzustellen, daß es von Computern verarbeitet werden kann. Das Gebiet der Wissensrepräsentation beinhaltet Techniken aus unterschiedlichen Disziplininen, im speziellen aus der Logik und der Ontologie.

In dieser VO werden wir uns mit unterschiedlichen Logiken zur Wissensrepräsentation beschäftigen.

Inhalt:

  1. Einleitung
    • Überblick
    • Logik
  2. Wissensrepräsentation mittels klassischer Logik
    • Elemente der Aussagenlogik
    • Aussagenlogik zur  Modellierung von Schließen in der Umgangssprache
    • Elemente der Prädikatenlogik
    • Prädikatenlogik und Umgangssprache
    • Ontologische Aspekte
  3. Nichtmonotones Schließen
    • Probleme klassischer Logik
    • Methoden nichtmonotonen Schließens
    • Circumscription
    • Default Logik
  4. Behandlung inkonsistenten Wissens
    • Parakonsistentes Schließen
    • Belief Revision

Weitere Informationen

Aktuelles:

  • Beginn der VO: 15.10., 14:00, im Seminarraum Gödel.
  • Achtung: Am 19.11. findet die VO im Hörsaal 14 (Hauptgebäude) anstatt im Seminarraum Gödel statt.
  • Keine VO am 3.12.!

ECTS Aufschlüsselung: 3 ECTS = 75 Stunden

  • Vorlesung 24h
  • Einführung 0.5h
  • Prüfungsvorbereitung 50h
  • Mündliche Prüfung 0.5h

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.14:00 - 16:0008.10.2018 - 26.11.2018Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.16:00 - 19:0019.10.2018 - 14.12.2018EI 11 Geodäsie HS FINK
Mo.15:00 - 17:0012.11.2018Theresianumgasse HS 2 Vorlesung (Ersatz)
Mo.15:00 - 17:0019.11.2018Hörsaal 14 Vorlesung (Ersatz)
Mo.15:00 - 17:0026.11.2018Seminarraum FAV EG B (Seminarraum von Neumann) Vorlesung (Ersatz)
Mo.15:00 - 17:0003.12.2018 - 07.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.16:00 - 18:0007.01.2019Seminarraum FAV EG B (Seminarraum von Neumann) Vorlesung
Mi.13:00 - 15:0023.01.2019Seminarraum FAV EG C (Seminarraum Gödel) Ersatztermin
Logik für Wissensrepräsentation - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.08.10.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.15.10.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.19.10.201816:00 - 19:00EI 11 Geodäsie HS FINK
Mo.22.10.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.29.10.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.05.11.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.09.11.201816:00 - 19:00EI 11 Geodäsie HS FINK
Mo.12.11.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.12.11.201815:00 - 17:00Theresianumgasse HS 2 Vorlesung (Ersatz)
Fr.16.11.201816:00 - 19:00EI 11 Geodäsie HS FINK
Mo.19.11.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.19.11.201815:00 - 17:00Hörsaal 14 Vorlesung (Ersatz)
Fr.23.11.201816:00 - 19:00EI 11 Geodäsie HS FINK
Mo.26.11.201814:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.26.11.201815:00 - 17:00Seminarraum FAV EG B (Seminarraum von Neumann) Vorlesung (Ersatz)
Fr.30.11.201816:00 - 19:00EI 11 Geodäsie HS FINK
Mo.03.12.201815:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.07.12.201816:00 - 19:00EI 11 Geodäsie HS FINK
Mo.10.12.201815:00 - 17:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.14.12.201816:00 - 19:00EI 11 Geodäsie HS FINK
LVA wird geblockt abgehalten

Leistungsnachweis

mündlich

LVA-Anmeldung

Von Bis Abmeldung bis
02.10.2018 23:00 14.12.2018 23:00 14.12.2018 23:00

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 533 Medizinische Informatik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
066 933 Information & Knowledge Management STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Folien werden zum download zur Verfügung gestellt werden.

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Deutsch