184.730 Knowledge-based Systems
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2018S, VU, 4.0h, 6.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Attention:

  • Email address for questions: kbsci-2018s AT kr.tuwien.ac.at
  • The first lecture is on Wed Mar 07 2018. The dates are provisional.
  • Mandatory TISS course registration until Mar 15, 2018.
  • Mandatory TUWEL entry test from Mar 16 to Mar 18, 2018 (00:00-23:55)

Knowledge: Advanced knowledge of techniques, methods, and algorithms used in knowledge-based systems.

Skills: Ability to apply the above concepts in theoretical and practical work, and in specialized courses.

Competences: Ability to use mathematical concepts as tools for practical problems.

Didactic Procedure

  • Lecture and Exercises
  • Processing of exercises and projects by students
  • Exercise test

Inhalt der Lehrveranstaltung

The module discusses the following topics:

  • RETE
  • Predicate Logic (as a representation language)
  • Description Logics (ALC, Basics, Tableau)
  • Truth Maintenance Systems
  • Answer Set Programming
  • Probabilistic Reasoning

Lecturers

Lecture-Part: Uwe Egly, Thomas Eiter, and Hans Tompits
Exercise-Part: Christoph Redl, Yazmin Ibanez Garcia

Course of Action and Topics of the Lecture Part

  • Wed Mar 07: Introduction+History+Architecture (Egly)
  • Wed Mar 14: Rules I (Egly)
  • Thu Mar 15: Registration deadline (TISS)
  • Wed Mar 21: Rules II (Egly)
  • Wed Mar 28: Easter break
  • Wed Apr 4: Easter break
  • Wed Apr 11: PL1 + PL1 as Specification Language (Egly)
  • Wed Apr 18: Description Logics I (Eiter)
  • Wed Apr 25: Description Logics II (Eiter)
  • Wed May 2: Truth Maintenance Systems (Eiter)
  • Tue May 8, 15:00-17:00: Exercises Q&A Session - Sheet 1 (EI 9 Hlawka HS)
  • Wed May 9: Answer Set Programming I (Tompits)
  • Fri May 11, 23:55: Deadline for Project 1 (TUWEL)
  • Sat May 12-Sun May 13: Registration for a solution discussion for Project 1 (TUWEL)
  • Mon May 14-Wed May 16: Project 1 solution discussion
  • Tue May 15, 17:00-19:00: Exercises Q&A Session - Sheet 2 (EI 9 Hlawka HS)
  • Wed May 16: Answer Set Programming II (Tompits)
  • Wed May 23: Probabilistic Reasoning (Tompits)
  • Fri Jun 1, 23:55: Deadline for Project 2 (TUWEL)
  • Tue Jun 12, 15:00-17:00: Exercises Q&A Session - Sheet 3 (EI 9 Hlawka HS)
  • Wed Jun 13, 16:00-18:00: Mandatory exercise test (HS 5 Hochenegg HS)

Exercise-Part

Mandatory registration until Mar 15, 2018.

Mandatory TUWEL entry test from Mar 16 to Mar 18, 2018 (00:00-23:55).

Exercise test which covers 3 exercise sheets

Mandatory (closed book) exercise test on Wed June 13, 2018 16:00-18:00, EI 5 Hochenegg HS. Test test examines the following three exercise sheets and their background:

  • Sheet 1: Rules + Predicate Logic
  • Sheet 2: Description Logics + Truth Maintenance Systems
  • Sheet 3: Answer Set Programming + Probabilistic Reasoning

The lecturers will present the solutions and answer questions about the exercises in dedicated lecture units (to be announced via TISS notification and in TUWEL). Moreoever, students are invided to ask questions in the tutor hours (see TUWEL).

The test is evaluated with up to 27 points, where at least 14 are needed for a positive grade.

2 Projects

Two knowledge-based systems must be implemented:

  • Submission via TUWEL
  • Ontology project discussion in week 20 of 2018
  • Automatic grading with testcases for the ASP project

Project submission deadlines:

  • Project 1: May 11, 2018
  • Project 2: June 1, 2018

Important:

  • Files must comply with the project specification!
  • No group work!
  • Exercises and projects must be worked out individually
  • Finalisation of points after plagiarism check (possibility of fines and negative grades)

Used tools:

  • Protege: http://protege.stanford.edu/
  • DLV: http://www.dlvsystem.com/
  • Potassco: http://potassco.sourceforge.net/

Weitere Informationen

ECTS breakdown: 6 ECTS = 150 Hours

  • Lectures + Introduction 30h
  • Solving the exercises 30h
  • Preparation for the exercise test 15h
  • Exercise test 1h
  • Implementing and presenting the projects 20h
  • Preparation for the final exam 53h
  • Final exam 1h

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mi.16:00 - 19:0007.03.2018 - 04.07.2018EI 6 Eckert HS Lecture
Di.15:00 - 17:0008.05.2018EI 9 Hlawka HS -MWB Exercises Q&A Session - Sheet 1
Di.17:00 - 19:0015.05.2018EI 9 Hlawka HS -MWB Exercises Q&A Session - Sheet 2
Di.15:00 - 17:0012.06.2018EI 9 Hlawka HS -MWB Exercises Q&A Session - Sheet 3
Mi.16:00 - 18:0013.06.2018EI 5 Hochenegg HS Mandatory Exercise Test
Knowledge-based Systems - Einzeltermine
TagDatumZeitOrtBeschreibung
Mi.07.03.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.14.03.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.21.03.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.28.03.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.04.04.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.11.04.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.18.04.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.25.04.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.02.05.201816:00 - 19:00EI 6 Eckert HS Lecture
Di.08.05.201815:00 - 17:00EI 9 Hlawka HS -MWB Exercises Q&A Session - Sheet 1
Mi.09.05.201816:00 - 19:00EI 6 Eckert HS Lecture
Di.15.05.201817:00 - 19:00EI 9 Hlawka HS -MWB Exercises Q&A Session - Sheet 2
Mi.16.05.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.23.05.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.30.05.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.06.06.201816:00 - 19:00EI 6 Eckert HS Lecture
Di.12.06.201815:00 - 17:00EI 9 Hlawka HS -MWB Exercises Q&A Session - Sheet 3
Mi.13.06.201816:00 - 18:00EI 5 Hochenegg HS Mandatory Exercise Test
Mi.13.06.201816:00 - 19:00EI 6 Eckert HS Lecture
Mi.20.06.201816:00 - 19:00EI 6 Eckert HS Lecture

Leistungsnachweis

Exercise-Part

  • Mandatory entry test is totalling 3 pts.
  • The exercise test is totalling 27 pts.
  • The two projects are totalling 20 pts.

Lecture-Part

  • Closed book oral exam
  • Total pts: 50

Total sum of points for Lecture- and Exercise-Part: 100

Zero tolerance for unfair practice (e.g., plagiarism, copied solutions, ...). All involved persons will be fined with 0 pts. (you may get a negative certificate).

Grading

Requirements for a positive certificate:

  • >= 2 points for the entry test; and
  • >= 14 points for the mandatory exercise test; and
  • >= 10 points for both projects together; and
  • >= 25 points for the final oral exam.

The course will be graded as follows:

  • < 51 pts: N5 (Nicht Genügend)
  • >= 51 pts: G4 (Genügend)
  • >= 63 pts: B3 (Befriedigend)
  • >= 75 pts: U2 (Gut)
  • >= 88 pts: S1 (Sehr Gut)

LVA-Anmeldung

Von Bis Abmeldung bis
01.03.2018 00:00 15.03.2018 23:55 15.03.2018 23:55

Curricula

StudienkennzahlSemesterAnm.Bed.Info
066 931 Logic and Computation 2. Semester
066 938 Technische Informatik

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorausgehende Lehrveranstaltungen

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch