IntroAI SS08
Aus Semantic-Web-Grundlagen
Die Vorlesung Einführung in die Künstliche Intelligenz ist eine Lehrveranstaltung des Seminars für Computerlinguistik an der Ruprecht-Karls-Universität Heidelberg im Sommersemester 2008.
Schon weit vor der Konstruktion des ersten Computers gab es die Idee, menschliche Denkprozesse maschinell auszuführen. Angeregt von aktuellen Nachrichten über erstaunliche "Verstandesleistungen" von Rechnern z.B. im Schachspiel, geht mit interessanten philosophischen Betrachtungen auch die Frage nach dem "Wie", d.h. nach der technischen Realisierung dieser Erfolge einher. In dieser Lehrveranstaltung wird in grundlegende Techniken der Künstlichen Intelligenz eingeführt. Ziel dieses Wissenschaftsgebietes ist es, für Problemstellungen, für deren erfolgreiche Bearbeitung allgemeinhin "Intelligenz" vorausgesetzt wird, möglichst universelle, auf Berechnungsprozessen beruhende Lösungsmethoden bereitzustellen. Thematisch unterteilt sich die Veranstaltung in die Teilgebiete
- Problemlösungsstrategien
- Maschinelles Lernen
- Wissensrepräsentation und automatisches Beweisen
Allgemeine Hinweise zu Organisation und Ablauf sind unter IntroAI SS08: Organisatorisches zu finden.
Termine und Unterlagen
Die folgende Tabelle gibt eine Übersicht über alle Veranstaltungen und verweist auf eine PDF-Version der Unterlagen. Weitere Informationen (einschließlich Lösungen zu einigen Übungsaufgaben) sind auf der jeweiligen Veranstaltungsseite zu finden, die in der ersten Tabellenspalte angegeben ist. Es gibt außerdem einen RSS-Feed mit aktuellen Vorlesungsunterlagen.
Titel | Termin | Dozent | Unterlagen | Übungsblatt |
---|---|---|---|---|
Einleitung und Ausblick | 10. April 2008 | Sebastian Rudolph | ||
KI-Teilbereiche und Agenten | 17. April 2008 | Sebastian Rudolph | ||
Suche | 24. April 2008 | Sebastian Rudolph | ||
Constraintprogrammierung | 8. Mai 2008 | Sebastian Rudolph | ||
Maschinelles Lernen | 8. Mai 2008 | Sebastian Rudolph | ||
Neuronale Netze und Genetische Algorithmen | 29. Mai 2008 | Sebastian Rudolph | ||
Grundlagen Logik | 5. Juni 2008 | Sebastian Rudolph | ||
Resolution und Prädikatenlogik erster Stufe | 12. Juni 2008 | Sebastian Rudolph | ||
Beschreibungslogiken und Ontologien | 19. Juni 2008 | Sebastian Rudolph | ||
Unsicheres Wissen | 26. Juni 2008 | Sebastian Rudolph | ||
Fragestunde | 3. Juli 2008 | Sebastian Rudolph | ||
Klausur | 17. Juli 2008 | Sebastian Rudolph |
Hier nochmal die selben Termine als Zeitleiste (JavaScript, kann per Maus verschoben werden):
19. Juni 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Beschreibungslogiken und Ontologien (9. Vorlesung IntroAI SS08)
IntroAI-V09.pdf
Constraintprogrammierung2008-05-08T14:15:000Vorlesung
8. Mai 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Constraintprogrammierung (4. Vorlesung IntroAI SS08)
IntroAI-V04.pdf
Einleitung und Ausblick2008-04-10T14:15:000Vorlesung
10. April 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Einleitung und Ausblick (1. Vorlesung IntroAI SS08)
IntroAI-V01.pdf
Fragestunde2008-07-03T14:15:000Vorlesung
3. Juli 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Fragestunde (11. Vorlesung IntroAI SS08)
Grundlagen Logik2008-06-05T14:15:000Vorlesung
5. Juni 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Grundlagen Logik (7. Vorlesung IntroAI SS08)
IntroAI-V07.pdf
KI-Teilbereiche und Agenten2008-04-17T14:15:000Vorlesung
17. April 2008 14:15
Sebastian Rudolph
Info und Unterlagen
KI-Teilbereiche und Agenten (2. Vorlesung IntroAI SS08)
IntroAI-V02.pdf
Klausur2008-07-17T14:15:00017. Juli 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Klausur (12. Termin IntroAI SS08)
Maschinelles Lernen2008-05-08T15:15:000Vorlesung
8. Mai 2008 15:15
Sebastian Rudolph
Info und Unterlagen
Maschinelles Lernen (5. Vorlesung IntroAI SS08)
IntroAI-V05.pdf
Neuronale Netze und Genetische Algorithmen2008-05-29T14:15:000Vorlesung
29. Mai 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Neuronale Netze und Genetische Algorithmen (6. Vorlesung IntroAI SS08)
IntroAI-V06.pdf
Resolution und Prädikatenlogik erster Stufe2008-06-12T14:15:000Vorlesung
12. Juni 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS08)
IntroAI-V08.pdf
Suche2008-04-24T14:15:000Vorlesung
24. April 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Suche (3. Vorlesung IntroAI SS08)
IntroAI-V03.pdf
Unsicheres Wissen2008-06-26T14:15:000Vorlesung
26. Juni 2008 14:15
Sebastian Rudolph
Info und Unterlagen
Unsicheres Wissen (10. Vorlesung IntroAI SS08)
IntroAI-V10.pdf
2008-07-17T14:15:00
Literatur
Allgemeine Literatur zum Thema Künstliche Intelligenz
- Stuart Russel, Peter Norvig. Artificial Intelligence: A Modern Approach., Second Edition, Prentice Hall Series in Artificial Intelligence, 2002 (ISBN 978-0130803023)
- deutsche Version: Stuart Russel, Peter Norvig. Künstliche Intelligenz. Ein moderner Ansatz, Second Edition, Pearson Studium, 2004 (ISBN 978-3827370891)
- Günther Görz, Claus-Rainer Rollinger, Josef Schneeberger (Hrsg.) Handbuch der künstlichen Intelligenz, 4. Auflage, Oldenbourg, 2003 (ISBN 978-3486272123)
Logik und Grundlagen der Wissensrepräsentation:
- Uwe Schöning. Logik für Informatiker. 5. Auflage, Spektrum Akademischer Verlag, 2000 (ISBN 978-3827410054)
- Steffen Hölldobler. Logik und Logikprogrammierung. 3. Auflage, Synchron Verlag, 2003 (ISBN 978-3935025591)
- John Sowa. Knowledge Representation. Brooks/Cole, 2000 (ISBN 0-534-94965-7)
Literatur zum Thema Semantic Web:
- Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure. Semantic Web – Grundlagen. Springer 2008. (ISBN 978-3-540-33993-9)
- Steffen Staab, Rudi Studer (Editors). Handbook on Ontologies. Springer 2003 (ISBN 3540408347).
- Tim Berners-Lee. Weaving the Web. Harper 1999 geb./2000 Taschenbuch. (ISBN 978-0062515872)
- Siegfried Handschuh, Steffen Staab. Annotation for the Semantic Web. 2003 (ISBN 158603345X).