Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 

Foto: Matthias Friel

Sie sind hier: Startseite

Inferenz-Methoden - Einzelansicht

Veranstaltungsart Vorlesung/Übung Veranstaltungsnummer 552021
SWS Semester WiSe 2020/21
Einrichtung Institut für Informatik und Computational Science   Sprache deutsch
Belegungsfristen 19.10.2020 - 30.11.2020

Belegung über PULS
19.10.2020 - 30.11.2020

Belegung über PULS
Gruppe 1:
     jetzt belegen / abmelden
    Tag Zeit Rhythmus Dauer Raum Lehrperson Ausfall-/Ausweichtermine Max. Teilnehmer/-innen
Einzeltermine anzeigen
Vorlesung/Übung Mi 08:00 bis 10:00 wöchentlich 04.11.2020 bis 10.02.2021  Online.Veranstaltung Prof. Dr. Kreitz 23.12.2020: Akademische Weihnachtsferien
30.12.2020: Akademische Weihnachtsferien
Vorlesung -  bis  wöchentlich am   Prof. Dr. Kreitz  
Kommentar Logisches Schließen steht im Zentrum allen intelligenten Handelns. Die Fähigkeit, logische Schlüsse zu ziehen, ist die Voraussetzung für das Lösen von Problemen, für das Planen von Aktionen, für kognitives Verständnis und damit im Endeffekt für jede Form des wissenschaftlichen Fortschritts. Inferenzmethoden, die automatische Verarbeitung von Wissen mittels logischer Schlüsse, sind daher eine der Schlüsseltechniken der Künstlichen Intelligenz. Speziell spielen sie bei Expertensystemen, intelligenten Agenten, logischen Programmiersprachen, der Verifikation und Synthese von Programmen, und in vielen weiteren Anwendungen eine fundamentale Rolle. Im Modul werden die wichtigsten Konzepte des automatischen Schließens vorgestellt und demonstriert. Themenschwerpunkte sind * Prädikatenlogik und formale Kalküle (Seqünzen und Tableauxverfahren) * Die Konnektionsmethode und ihre Beziehung zu Resolution und deren Verfeinerungen * Unifikation; Optimierungstechniken; Spezielle Verfahren für Aussagenlogik * Einbau von Theorien, insbesondere Gleichheit, Induktion und Termersetzung * Behandlung von Modallogik; konstruktive Logik, lineare Logik; Logik höherer Stufe Optional: Seminar zur Vertiefung aktueller Themen im Anschluss die veranstaltung (P2)
Literatur *Wolfgang Bibel: Deduktion -- Automatisierung der Logik, R.Oldenbourg, 1992
*Lincoln Wallen: Automated deduction in nonclassical logics, MIT Press, 1990
*Literatur zu den einzelnen Themengruppen wird separat vorgestellt.
Voraussetzungen Logikvorkenntnisse sind erforderlich
Leistungsnachweis Muendliche Pruefung. Klausur bei mehr als 15 Teilnehmern

Strukturbaum
Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2020/21 , Aktuelles Semester: SoSe 2024

© Copyright HIS
Hochschul-Informations-System eG