Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01954 (SoSe 22)

 
01954 Seminar Künstliche Intelligenz: Satisfiability Solving im Sommersemester 2022
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Sommersemester 2022 Umfang: 5.0 ECTS
nächster geplanter Einsatz: -keine Angaben vorhanden- Versionen
Autorinnen und Autoren Teilnahmevoraussetzungen
Beschreibung
Schließen
Beschreibung
KursbeschreibungDas Erfüllbarkeitsproblem (satisfiability problem, SAT) ist ein zentrales Problem der theoretischen Informatik und fragt, ob zu einer gegebenen aussagenlogischen Formel (üblicherweise in konjunktiver Normalform) ein Modell existiert, d. h. eine Belegung aller in der Formel auftauchenden Variablen mit "wahr" oder "falsch", so dass die gesamte Formel zu "wahr" evaluiert. Dieses Problem ist NP-vollständig und algorithmische Lösungen benötigen daher im schlimmsten Fall exponentielle Laufzeit (unter üblichen komplexitäts theoretischen Annahmen). Viele Probleme der Informatik (beispielsweise Verifikationsprobleme) und insbesondere der KI (beispielsweise Planungsprobleme) können als Erfüllbarkeitsproblem modelliert werden und profitieren damit von ¨effektiven Lösungsstrategien für das Erfüllbarkeitsproblem. ¨ In diesem Seminar werden sowohl die Grundlagen als auch erweiterte Techniken zur algorithmischen Lösung des Erfüllbarkeitsproblems behandelt. Die Themen des Seminars folgen dabei der Struktur des ¨ Handbook of Satisfiability1. Bitte beachten Sie, dass die gesamte Veranstaltung (inklusive der Präsentationen und der Ausarbeitung) auf Englisch stattfinden wird.
Termine
Veranstaltungsbeginn: 04.04.2022
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,2s  |  25.11.24,05:18 im Wintersemester 2024/2025  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de