|
|
| Vorlesungsverzeichnis >> Technische Fakultät >> Masterstudiengang Informatik >> Informatik der Systeme >> |
MS0308 - Programmiertechniken für die Künstliche Intelligenz (Prg.-Technik) (080106)- Dozent/in
- Dr. Friedemann Simon
- Angaben
- Vorlesung, 2 SWS, ECTS-Studium, ECTS-Credits: 6, Fachgebiet: Praktische Informatik
Zeit und Ort: Mo 16:00 - 18:00, CAP2 - R.E[Audimax]
vom 29.10.2007 bis zum 11.2.2008
- Voraussetzungen / Organisatorisches
- Studierende im Hauptstudium beider Informatik-Studiengänge (Dipl.-Inf. und Dipl.-Ing.) sowie Studierende mit Nebenfach Informatik und Studierende des Zertifikatsstudiums.
Grundlage: Grundstudium
- Inhalt
- Unabhänging von der prinzipiellen Diskussion, ob informationsverarbeitende Systeme der
Informatik als Basis für die Beschreibung und Erklärung kognitiver Phänomene geeignet sind, gibt
es Teilgebiete der "künstlichen Intelligenz", in denen kognitive Systeme durch symbolische
Informationsverarbeitung instantiiert werden können. Hier sind in erster Linie "Expertensysteme"
zu nennen, die inzwischen die industrielle Einsatzfähigkeit erlangt haben.
Ein grundsätzlich anderer Weg wird bei dem Versuch der Rekonstruktion von kognitiven
Leistungen über künstliche Neuronen eingeschlagen. Künstliche neuronale Netze orientieren sich
in ihren Verarbeitungsschritten an den Prinzipien der Informationsverarbeitung in neuronalen
Geweben, soweit diese überhaupt schon bekannt sind. Trotz aller Unzulänglichkeiten heutiger
Netze gibt es eine Fülle interessanter Anwendungen künstlicher neuronaler Netze, speziell zur
Mustererkennung in einem sehr weiten Sinne.
Im ersten Teil der Vorlesung soll der symbolische Ansatz für die KI-Programmierung vorgestellt
werden. Ausgehend von einer Diskussion philosophischer Positionen werden typische Probleme
und Verfahren zu ihrer Lösung im Rahmen der KI vorgestellt. Es folgen gebräuchliche Verfahren
zur Wissensrepräsentation und zur Inferenz von ableitbarem Wissen als Kern wissensbasierter
Systeme. Im zweiten Teil der Vorlesung sollen Möglichkeiten und Grenzen einiger typischer
Modelle für künstliche neuronale Netze dargelegt werden.
In der Übung soll ein umfangreicheres KI-Programm erstellt werden. Programmiert wird mit LISP, einer Sprache, die für die symbolische Informationsverarbeitung geeignet ist.
Es sei darauf hingewiesen, daß diese Vorlesung zusammen mit "Ausgewählte Kapitel der Künstlichen Intelligenz" von Herrn Dr. Salski einen Block im Rahmen des Prüfungsfaches Praktische Informatik bildet.
- Empfohlene Literatur
- Chr. Beierle, G. Kern-Isbener: Methoden wissensbasierter Systeme, Vieweg Verlag 2000
- P.H. Winston: Artificial Intelligence, 2. Aufl., Addison Wesley, Reading Mass., 1994
- W.F. Clocksin, C.C. Mellish: Programming in PROLOG, Springer Verlag, 1981
- J. Hertz, A. Krogh, R.G. Palmer: Introduction to the Theory of Neural Computation, Addison Wesley, 1991
- E. Hecht-Nielsen: Neurocomputing, Addison Wesley, 1990
- Zusätzliche Informationen
- Schlagwörter: KI
Erwartete Teilnehmerzahl: 50
- Zugeordnete Lehrveranstaltungen
- UE: Übungen zu: Programmiertechniken für die Künstliche Intelligenz (080110)
-
Dozent/in: Dr. Friedemann Simon
Zeit und Ort: Di 16:00 - 18:00, CAP2 - R.B[Audimax] (außer Di 11.12.2007); Mo 14:00 - 16:00, CAP4 - R.709; Do 12:00 - 14:00, CAP4 - R.709; Einzeltermin am 11.12.2007 16:00 - 18:00, OS40 - R.14[Alte Mensa gr.HS]
- Institution: Programmiersprachen und Übersetzerkonstruktion
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|