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.

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

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

  • unterschiedliche Logiken bzw. logikbasierte Formalismen zur Wissensrepräsentation zu benennen und zu erläutern,
  • Methoden und Techniken für eine vorgegebene Aufgabenstellung zielgerichtet auszuwählen, sowie
  • Lösungen und Formalismen kritisch zu bewerten.

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

Methoden

Vermittlung des Lehrinhaltes durch Frontalvortrag.

Prüfungsmodus

Mündlich

Weitere Informationen

Aktuelles:

  • Beginn der VO: 4.10., 14:00, im Hörssal EI 5.
  • Keine VO am 11.10!
  • Am 8.11. findet die VO von 14:00-16:00 im EI 5 und von 16:00-17:00 im EI 11 statt!

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
Fr.14:00 - 16:0004.10.2019 - 24.01.2020EI 5 Hochenegg HS Vorlesung
Mo.14:00 - 16:0014.10.2019 - 02.12.2019Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.10:00 - 13:0018.10.2019 - 25.10.2019EI 5 Hochenegg HS Vorlesung
Fr.16:00 - 19:0018.10.2019 - 13.12.2019EI 11 Geodäsie HS FINK
Fr.10:00 - 13:0022.11.2019 - 06.12.2019EI 5 Hochenegg HS Vorlesung
Logik für Wissensrepräsentation - Einzeltermine
TagDatumZeitOrtBeschreibung
Fr.04.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fr.11.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Mo.14.10.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.18.10.201910:00 - 13:00EI 5 Hochenegg HS Vorlesung
Fr.18.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fr.18.10.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mo.21.10.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.25.10.201910:00 - 13:00EI 5 Hochenegg HS Vorlesung
Fr.25.10.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fr.25.10.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mo.28.10.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.04.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.08.11.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fr.08.11.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mo.11.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Mo.18.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
Fr.22.11.201910:00 - 13:00EI 5 Hochenegg HS Vorlesung
Fr.22.11.201914:00 - 16:00EI 5 Hochenegg HS Vorlesung
Fr.22.11.201916:00 - 19:00EI 11 Geodäsie HS Vorlesung
Mo.25.11.201914:00 - 16:00Seminarraum FAV EG C (Seminarraum Gödel) Vorlesung
LVA wird geblockt abgehalten

Leistungsnachweis

Mündliche Prüfung.

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2019 23:00 13.12.2019 23:00 13.12.2019 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