Was hier zu finden ist...
Anmerkung: Bei Problemen im Zusammenhang mit dieser Vorlesung bitte in die Sprechstunde von Herrn Bubeck gehen oder eine E-Mail schicken.
Allgemeine Informationen
| Dozent: |
Prof.
Dr. Hans Kleine Büning |
| Übungsbetreuung: | Dr. Uwe Bubeck |
| Umfang: | 2 SWS Vorlesung, 1 SWS Übung |
| Vorlesung: | Mo 09-11 im Hörsaal D2 |
| Übungstermine: | Gruppe 1: Mo 11:00-12:30, D1.312, 14-tägig, ungerade Kalenderwochen |
| Gruppe 2: Mo 11:00-12:30, D1.312, 14-tägig, gerade Kalenderwochen | |
| Gruppe 3: Mi 11:00-12:30, D1.312, 14-tägig, gerade Kalenderwochen | |
| Gruppe 4: Do 11:15-12:45, D1.312, 14-tägig, ungerade Kalenderwochen | |
| Prüfungsgebiet: | SWT, 2. Studienabschnitt |
| Prüfung: | Klausur (1. Termin: KW 30) |
Skript
- Modellierung wissensintensiver Probleme » Einleitung » KI: Begriff, Geschichte
- Modellierung wissensintensiver Probleme » Einleitung » Problemstellungen
- Modellierung wissensintensiver Probleme » Wissensrepräsentation » Symbolische versus subsymbolische Repräsentation
- Modellierung wissensintensiver Probleme » Wissensrepräsentation » Problemlösungswissen
- Modellierung wissensintensiver Probleme » Wissensrepräsentation » Expertensysteme, Problemklassen
- Modellierung wissensintensiver Probleme » Begriffe der Modellierung » System, Modell, Schlußfolgern
- Modellierung wissensintensiver Probleme » Begriffe der Modellierung » Modellbildung
- Logik » Produktionsregelsysteme
- Logik » Regeln mit Konfidenzen
- Maschinelles Lernen » Entscheidungsbäume » Repräsentation und Konstruktion
- Maschinelles Lernen » Entscheidungsbäume » Splitting, ID3-Algorithmus
- Maschinelles Lernen » Entscheidungsbäume » Ausführlicheres Skript
- Logik » Fuzzy-Logik » Fuzzy-Mengen
- Logik » Fuzzy-Logik » Fuzzy-Inferenz
- Logik » Fuzzy-Logik » Fuzzy-Anwendungsbeispiel
- Konfigurierung » Problemstellungen und Ansätze
- Diagnose » Fallbasierte Diagnose
- Logik » Aussagenlogik » Syntax, Semantik
- Logik » Aussagenlogik » Formeltransformation
- Logik » Aussagenlogik » Semantische Erfüllbarkeit
- Logik » Aussagenlogik » Syntaktische Erfüllbarkeit
- Logik » Aussagenlogik » Erfüllbarkeitsprobleme
- Logik » Prädikatenlogik » Resolution
- Maschinelles Lernen » Neuronale Netze » Perzeptron
Weiterführende Literatur
Künstliche Intelligenz
- Durkin: Expert Systems -- Design and Development, Macmillan (1994)
- Nilsson: Principles of Artificial Intelligence, Springer (1982)
- Nilsson: Artificial Intelligence -- A New Synthesis, Teubner
- Puppe: Einführung in Expertensysteme
- Puppe: Problemlösungsmethoden in Expertensystemen
- Russell/Norvig: Artificial Intelligence -- A Modern Approach (Second Edition), Prentice-Hall (2003)
- Stefik: Introduction to Knowledge Systems, Morgan Kaufmann (1995)
- Waterman: A Guide to Expert Systems
- Winston/Horn: Artificial Intelligence
Logik
- Schöning: Logik für Informatiker, Spektrum (2000)