Top
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
PULS
Foto: Matthias Friel
Datenschutz
Kontakt
Impressum
Universität Potsdam
Veranstaltungen
Modulbeschreibung
EN
WiSe 2024/25
Anmelden
Node2
Uni Homepage
Studium
Zugang zu Moodle
Anmeldungs- und Belegungsfristen
Verifikation von Studienbescheinigungen
Sie sind hier:
Startseite
Inferenz-Methoden - Einzelansicht
Funktionen:
belegen/abmelden
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:
Vormerken:
jetzt belegen / abmelden
Tag
Zeit
Rhythmus
Dauer
Raum
Lehrperson
Ausfall-/Ausweichtermine
Max. Teilnehmer/-innen
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
Einzeltermine:
04.11.2020
11.11.2020
18.11.2020
25.11.2020
02.12.2020
09.12.2020
16.12.2020
06.01.2021
13.01.2021
20.01.2021
27.01.2021
03.02.2021
10.02.2021
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: WiSe 2024/25
© Copyright HIS
Hochschul-Informations-System eG