Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01695 (WiSe 23/24)

 
01695 Deduktions- und Inferenzsysteme im Wintersemester 2023/2024
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Sommersemester 2010 Umfang: 10.0 ECTS
nächster geplanter Einsatz: -keine Angaben vorhanden- Versionen
Autorinnen und Autoren Teilnahmevoraussetzungen
Beschreibung
Schließen
Beschreibung
KursbeschreibungIntelligentes Verhalten basiert wesentlich auf der Fähigkeit, logische Schlüsse zu ziehen, und in nahezu allen Systemen der künstlichen Intelligenz spielen automatische Inferenz- oder Deduktionskomponenten eine zentrale Rolle. Anwendungsfelder sind etwa das automatische Beweisen mathematischer Sätze, logische Programmiersprachen (z. B. PROLOG), Programmverifikation, deduktive Planverfahren oder die Entwicklung von Inferenzkomponenten für spezifische Wissensrepräsentationssprachen. In diesem Kurs werden grundlegende Begriffe, Methoden und Verfahren der Deduktions- und Inferenzsysteme behandelt: Kalküle für die Prädikatenlogik 1. Stufe, Resolutionsverfahren, Repräsentation von Kalkülen, Gleichheit und Unifikation, Termersetzungssysteme, Deduktion und logisches Programmieren, nicht-klassische Formen der Inferenz.
Für folgende Informatik-Studiengänge vorgesehen: B (über Katalog M), D, L, M, MPI, Z.
Termine
Veranstaltungsbeginn: 02.10.2023
Material
Hinweis Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Einloggen und bei vorhandener Belegung der Lehrveranstaltung eingesehen werden kann. Studierende der FernUniversität sollten sich einloggen.
Einheiten Einstieg PDF-Datei
Übungen Zusatzmaterial
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren
Aktueller Hinweis
Hinweis vom 02.10.2023 04:27

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


Seite erstellt in 0,2s  |  10.12.24,10:12 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