Mathematik und Informatik

Deduktions- und Inferenzsysteme

Modulinformationen

Intelligentes 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.

ECTS10
ArbeitsaufwandBearbeiten der Kurseinheiten: 130 - 150 Stunden,
bearbeiten der Übungsaufgaben: 60 - 75 Stunden,
Studientage und Prüfungsvorbereitung: 60 - 75 Stunden
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Sommersemester
Anmerkung-
Inhaltliche Voraussetzung
keine

Aktuelles Angebot

Kurs 01695 Deduktions- und Inferenzsysteme [VU]

Prüfungsinformation

M.Sc. Wirtschaftsinformatik
 Art der PrüfungsleistungVoraussetzung
B.Sc. Informatik
 Art der PrüfungsleistungVoraussetzung
Benotete Prüfungbestandene benotete mündliche ModulprüfungLeistungsnachweis zu einem Modul aus dem Pflichtbereich
 Stellenwert der Note: 1/12
M.Sc. Praktische Informatik
 Art der PrüfungsleistungVoraussetzung
Unbenoteter Leistungsnachweisbestandene Kursabschlussklausur oder bestandenes Klausurersatzgesprächwird im Kursanschreiben angegeben
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/6
M.Sc. Informatik
 Art der PrüfungsleistungVoraussetzung
Unbenoteter Leistungsnachweisbestandene Kursabschlussklausur oder bestandenes Klausurersatzgesprächwird im Kursanschreiben angegeben
Benotete Prüfungbestandene benotete mündliche Modulprüfungkeine
 Stellenwert der Note: 1/9

Download

Ansprechpartner

mathinf.webteam | 18.08.2017
FernUni-Logo FernUniversität in Hagen, Fakultät für Mathematik und Informatik
  • Logo FernUni
  • Kontakt
  • VU
  • Moodle
  • Service
  • A-Z
  • Impressum/Datenschutz
  • © FernUniversität in Hagen