Achtung: Aufgrund von notwendigen Wartungsarbeiten, steht der Bereich des Schließsystems für Änderungen aktuell nicht zur Verfügung. Wir bitten um Ihr Verständnis!

184.701 Deklaratives Problemlösen

2022W, UE, 2.0h, 3.0EC
  • TUWEL Online-Kurs verfügbar ab: 11.10.2022 00:00.

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: UE Übung
  • Format der Abhaltung: Präsenz

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 from the area of declarative problem solving. The course is the practical part of the accompanying lecture of the same name and consists of solving tasks from the area of SAT and QSAT, as well as from answer-set programming.

Organisation

Attention: The lecture will be held in mixed presence/distance-learning modus. Exercise sheets will be available through TUWEL in due course as the accompanying lecture part proceeds and solutions are to be uploaded in TUWEL too.  Turn-in discussions and tutor hours will also be in presence and/or online mode.

Registration until the deadline is mandatory 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 the registration deadline!
  • 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,  turn-in discussions, etc.) will be posted in TISS and/or TUWEL.

Tutors

Availability of tutors for questioning will be made available as part of the corresponding TUWEL course. The tutor hours will be announced in TUWEL.  

Two projects

  • Project 1: SAT (turn-in deadline: November 17, 2022, 23:55).
  • Project 2: Answer Set Programming (turn-in deadline: December 8, 2022, 23:55).

Methoden

Selbständige Erarbeitung von Übungsaufgaben.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

ECTS breakdown: 3 ECTS = 75 hours

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

Vortragende Personen

Institut

Leistungsnachweis

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

Notenschlüssel:

< 51 Punkte: N5
 >= 51 Punkte: G4
 >= 63 Punkte: B3
 >= 75 Punkte: U2
 >= 88 Punkte: S1

LVA-Anmeldung

Von Bis Abmeldung bis
25.09.2022 10:00 17.10.2022 23:55 17.10.2022 23:55

Curricula

StudienkennzahlSemesterAnm.Bed.Info
No records found.

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