|
 Was hier zu
finden ist ...
Anmerkung: Bei Problemen im Zusammenhang mit dieser Vorlesung bitte eine
Sprechstunde mit Herrn Stein vereinbaren oder eine E-Mail an den Übungsbetreuer schicken (siehe
allgemeine Informationen).
| Aktuelles |
 |
Die Klausurergebnisse sind im Schaukasten auf dem E4-Flur zu finden.
| Allgemeine Informationen |
|
|
Dozent:
|
Hochschuldozent Dr. habil. Benno Stein
|
|
Übungsbetreuung:
|
Sven Meyer zu Eißen
|
|
Umfang:
|
2 SWS Vorlesung, 1 SWS Übung |
|
Vorlesungen:
|
Mo. 9:15 bis 10:45 Uhr im Hörsaal D2
Fr. 11:15 bis 12:45 Uhr im Hörsaal D1 |
|
Übungen :
|
Mo. ab 11:00 in D1.303
Fr. ab 9:15 in D1.303
|
|
Periodizität:
|
jeweils im Wintersemester |
Prüfungsgebiet:
|
SWT, 2. und 3. Studienabschnitt |
|
Prüfung:
|
Voraussichtlich Klausur |
| Übungsblätter |
|
| Skript |
|
- Inhalt, Literatur (20.10.03)
- KI: Begriff, Geschichte (20.10.03)
- KI: Gebiete und Anwendungen (20.10.03)
- Symbolische/subsymbolische Repräsentation (20.10.03)
- Problemlösungswissen (20.10.03)
- Expertensysteme, Problemklassen (20.10.03)
- System, Modell, Schlußfolgern (20.10.03)
- Aussagenlogik: Syntax, Semantik, Formeltransformation (26.10.03)
- Aussagenlogik: Erfüllbarkeitsalgorithmen (31.10.03)
- Aussagenlogik: Erfüllbarkeitsprobleme (11.10.03)
- Prädikatenlogik: Syntax, Semantik, Formeltransformation (14.11.03)
- Prädikatenlogik: Erfüllbarkeit (14.11.03)
- Produktionsregelsysteme: Einführung, Inferenz (21.11.03)
- Produktionsregelsysteme: Verwendung von NOT (25.11.03)
- Fuzzy Logic: Fuzzy-Mengen (28.11.03)
- Fuzzy Logic: Fuzzy-Inferenz (3.12.03)
| 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, Prentice-Hall (1995)
- Stefik: Introduction to Knowledge Systems, Morgan Kaufmann (1995)
- Waterman: A Guide to Expert Systems
- Winston/Horn: Artificial Intelligence
Engineering in AI
- Clocksin/Mellish: Programming in Prolog
- Forbus, DeKleer: Building Problem Solvers
- Graham: Common LISP
- Karbach/Linster: Wissensakquisition für Expertensysteme
- Mayer: Common LISP
- Norvig: Paradigms of Artificial Intelligence -- Case Studies in Common LISP
- Winston/Horn: LISP
Ausgewählte Themen
- Beckstein: Begründungsverwaltung
- Frühwirth/Abdennadher: Constraint-Programmierung -- Grundlagen und Anwendungen
- Kleine Büning/Lettmann: Skript Logik und Regelverarbeitung
- Montanari: Principles and practice of constraint programming
- Schöning: Logik für Informatiker
| Stand: 08.01.2004 |
|
|