184.701 Deklaratives Problemlösen
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020W, UE, 2.0h, 3.0EC

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung
  • Format der Abhaltung: Distance Learning

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage in der Lage unterschiedliche Werkzeuge, Sprachen und logikorienterte Methoden zum deklarativen Problemlösen zu benennen und zu erläutern, sowie theoretische Zusammenhänge korrekt zu argumentieren. Im Speziellen können nach positiver Absolvierung des Moduls die Studierenden

  • die eingesetzten Techniken und Methoden formal analysieren,
  • Methoden und Techniken für eine vorgegebene Aufgabenstellung zielgerichtet auswählen, sowie
  • Lösungen und Formalismen kritisch bewerten.

 

Inhalt der Lehrveranstaltung

This course provides applications and examples well-suited for logic-oriented programming languages. The course is divided into three parts, each starting with an introductory lecture and finishing with the solution of a larger exercise, split into sub-tasks. The first part will introduce you to SAT and QSAT, while the following two exercises will deal with answer-set programming.

Organisation

Registration until 2018/03/15 as follows:

  1. Subscribe to course in TISS and activate forum participation.
  2. Register at "Declarative Problem Solving Course Registration".

IMPORTANT:

  • Registration (as above) is required.
  • No belated possibility to (un-)register after 2018/03/15!
  • The above group is for registration purposes only. The course exercises are single student exercises; "teamwork" solutions, at least obviously identical turned-in files, will not be accepted.

Further organizational details (dates, etc.) will be posted in TISS.

Place

Presence of tutors in the lab will be made available as part of the corresponding TUWEL course.

3 projects

  • Project 1: SAT (turn-in in week 16 of 2018, mandatory project presentation in week 17 of 2018)
  • Project 2: Answer Set Programming with DLV (turn-in possibilities in weeks 19 and 21 of 2018)
  • Project 3: Answer Set Programming with Potasco (turn-in possibilities in weeks 23 and 25 of 2018)

There will be two turn-in possibilities for project 2 and 3. The procedure is as follows:

  • your solutions will be tested with automatic test cases
  • tentative points will be made available in TUWEL
  • there is a possibility to turn-in (repeatedly) on the 2nd turn-in deadline 2 weeks later (p_i = achieved points for i-th turn-in (i=1,2)), where the total points for your project are calculated as follows:
    • if you deliver your project at both turn-in 1 and 2: maximum of the points of the weighted mean: max { p_1, 0.8*p_2, (p_1 + 0.8*p_2)/1.8 }
    • if you only deliver your project at turn-in 1: p_1
    • if you only deliver your project at turn-in 2: 0.8 * p_2
    • 0, otw.

Methoden

Selbständige Erarbeitung von Übungsaufgaben.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Preliminary discussion together with Declarative Problem Solving VO: Mon Mar 8, 2018, 17:00-20:00, EI 5

ECTS breakdown: 3 ECTS = 75 hours

  • Course introduction 0.5h
  • Solving 1 SAT project and 2 ASP projects 73.5h
  • Presentation of the projects 1h

Attention: The course dates are old and will be updated!

Vortragende

Institut

Leistungsnachweis

Die Beurteilung erfolgt auf Basis er abgegeben Lösungen der Aufgabenstellungen.

LVA-Anmeldung

Von Bis Abmeldung bis
29.09.2020 10:00 19.10.2020 23:55 19.10.2020 23:55

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
860 GW Gebundene Wahlfächer - Technische Mathematik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

ACHTUNG: Sämtliche Unterlagen sind auf die TISS-Seite der zugehörigen VO sowie in TUWEL zu finden.

Vorkenntnisse

Basic knowledge of Mathematical Logic (Unification, Horn-Clause Resolution).

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch