IntroAI SS10

Aus Semantic-Web-Grundlagen

Wechseln zu: Navigation, Suche
CL, Uni Heidelberg
CL, Uni Heidelberg
CL, Uni Heidelberg


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

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 SS10: 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 28. April 2010 11:15 Sebastian Rudolph PDF
KI-Teilbereiche und Agenten 28. April 2010 14:15 Sebastian Rudolph PDF
Suche 19. Mai 2010 11:15 Sebastian Rudolph PDF PDF
Constraintprogrammierung 19. Mai 2010 14:15 Sebastian Rudolph PDF PDF
Maschinelles Lernen 26. Mai 2010 11:15 Sebastian Rudolph PDF
Neuronale Netze und Genetische Algorithmen 26. Mai 2010 14:15 Sebastian Rudolph PDF PDF
Grundlagen Logik 9. Juni 2010 11:15 Sebastian Rudolph PDF
Resolution und Prädikatenlogik erster Stufe 9. Juni 2010 14:15 Sebastian Rudolph PDF
Ontologien und Beschreibungslogik 23. Juni 2010 11:15 Sebastian Rudolph PDF
Unsicheres Wissen 23. Juni 2010 14:15 Sebastian Rudolph PDF
Fragestunde 30. Juni 2010 11:15 Sebastian Rudolph
Klausur 14. Juli 2010 11:15 Sebastian Rudolph

Hier nochmal die selben Termine als Zeitleiste (JavaScript, kann per Maus verschoben werden):

Der Inhalt dieses Elementes kann mit einem Browser mit JavaScript-Unterstützung betrachtet werden. Suchergebnisse als Liste anzeigen.WEEKMONTHConstraintprogrammierung2010-05-19T14:15:000Vorlesung
19. Mai 2010 14:15
Sebastian Rudolph
Info und Unterlagen
Constraintprogrammierung (4. Vorlesung IntroAI SS10)
IntroAI-10-V04.pdf
Einleitung und Ausblick2010-04-28T11:15:000Vorlesung
28. April 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Einleitung und Ausblick (1. Vorlesung IntroAI SS10)
IntroAI10-V01.pdf
Fragestunde2010-06-30T11:15:000Vorlesung
30. Juni 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Fragestunde (11. Vorlesung IntroAI SS10)
Grundlagen Logik2010-06-09T11:15:000Vorlesung
9. Juni 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Grundlagen Logik (7. Vorlesung IntroAI SS10)
IntroAI-10-V07.pdf
KI-Teilbereiche und Agenten2010-04-28T14:15:000Vorlesung
28. April 2010 14:15
Sebastian Rudolph
Info und Unterlagen
KI-Teilbereiche und Agenten (2. Vorlesung IntroAI SS10)
IntroAI10-V02.pdf
Klausur2010-07-14T11:15:00014. Juli 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Klausur (12. Termin IntroAI SS10)
Maschinelles Lernen2010-05-26T11:15:000Vorlesung
26. Mai 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Maschinelles Lernen (5. Vorlesung IntroAI SS10)
IntroAI-10-V05.pdf
Neuronale Netze und Genetische Algorithmen2010-05-26T14:15:000Vorlesung
26. Mai 2010 14:15
Sebastian Rudolph
Info und Unterlagen
Neuronale Netze und Genetische Algorithmen (6. Vorlesung IntroAI SS10)
IntroAI-10-V06.pdf
Ontologien und Beschreibungslogik2010-06-23T11:15:000Vorlesung
23. Juni 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Ontologien und Beschreibungslogik (9. Vorlesung IntroAI SS10)
IntroAI-10-V09.pdf
Resolution und Prädikatenlogik erster Stufe2010-06-09T14:15:000Vorlesung
9. Juni 2010 14:15
Sebastian Rudolph
Info und Unterlagen
Resolution und Prädikatenlogik erster Stufe (8. Vorlesung IntroAI SS10)
IntroAI-10-V08.pdf
Suche2010-05-19T11:15:000Vorlesung
19. Mai 2010 11:15
Sebastian Rudolph
Info und Unterlagen
Suche (3. Vorlesung IntroAI SS10)
IntroAI-10-V03.pdf
Unsicheres Wissen2010-06-23T14:15:000Vorlesung
23. Juni 2010 14:15
Sebastian Rudolph
Info und Unterlagen
Unsicheres Wissen (10. Vorlesung IntroAI SS10)
IntroAI-10-V10.pdf
2010-07-14T11: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)

Maschinelles Lernen:

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:

Persönliche Werkzeuge