184.205 Verarbeitung deklarativen Wissens
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

Erlernen moderner Techniken der deklarativen Wissensrepräsentation und -verarbeitung.

Didaktisches Vorgehen: Frontalvortrag mittels Folien.

Inhalt der Lehrveranstaltung

Deklarative Wissensrepräsentation ist dadurch gekennzeichnet, dass Wissen in der Form von Sätzen in symbolischen Sprachen repräsentiert ist, auf die Abarbeitunsprozeduren zur Beantwortung von Abfragen zugreifen. Deklarative Wissensverarbeitung steht im Gegensatz zu prozeduralen Methoden, wo Wissen implizit durch die Abfolge von Schritten repräsentiert ist. Deklarative Wissensrepräsentation hat den Vorteil einer erhöhten Flexibilität, Modularität und Wartbarkeit, und ist für die Verarbeitung komplexer Aufgaben im Zusammenhang intelligenter Systeme eine geeignete Methode.

In dieser Vorlesung werden verschiedene Formalismen der deklarativen Wissensrepräsentation und -verarbeitung besprochen. Behandelt werden Methoden aus folgenden (nicht ausschliesslichen)  Themengebieten:

  • Description Logics
  • Datalog
  • Antwortmengenprogrammierung (ASP)
  • Erweiterungen von ASP.

Weitere Informationen

Blockveranstaltung,  im Dezember / Jänner nach Vereinbarung

Ort und Zeit werden später bekannt gegeben.

The course language is English.

 

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture 24h
  • Additional reading and preparation for exam  50h
  • Oral exam 1h

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Fr.13:00 - 18:0030.11.2018Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
Fr.13:00 - 18:0007.12.2018Seminarraum FAV 01 A (Seminarraum 183/2) Verarbeitung deklarativen Wissens
Fr.13:00 - 18:0014.12.2018Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
Fr.13:00 - 18:0021.12.2018Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
Fr.13:00 - 18:0011.01.2019Seminarraum FAV 01 A (Seminarraum 183/2) Verarbeitung deklarativen Wissens
Fr.13:00 - 18:0018.01.2019Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
Fr.13:00 - 18:0025.01.2019Seminarraum FAV EG B (Seminarraum von Neumann) Verarbeitung deklarativen Wissens
LVA wird geblockt abgehalten

Leistungsnachweis

mündlich

LVA-Anmeldung

Von Bis Abmeldung bis
01.10.2018 12:00 26.10.2018 23:59 26.10.2018 23:59

Anmeldemodalitäten:

Registration in TISS is mandatory!

Curricula

Literatur

Vorkenntnisse

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

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Englisch