1
Einfuhrung in die Methoden der
Kunstlichen Intelligenz
Organisatorisches & Uberblick
Prof. Dr. Manfred Schmidt-Schauß
SoSe 2016
Stand der Folien: 7. Juli 2016
Organisatorisches Prufung Uberblick Adressen, Termine
Adressen
Prof. Dr. Manfred Schmidt-Schauß
Raum 215, Robert-Mayer-Str. 11-15
Mitarbeiter
Nils Dallmeyer
Raum 216, Robert-Mayer-Str. 11-15
Tutor zu den Ubungen:
Yunus Kutz
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 2/15
Organisatorisches Prufung Uberblick Adressen, Termine
Webseite zur Veranstaltung
www.ki.informatik.uni-frankfurt.de/lehre/SS2016/KI
Aktuelle und organisatorische Informationen
Unterlagen zur Veranstaltung: Skript, Folien, Aufgaben
Referenzen auf Bucher, Webseiten, Programmiersprachen usw.
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 3/15
Organisatorisches Prufung Uberblick Adressen, Termine
Vorlesung und Ubung
KI Einfuhrung in die Kunstliche IntelligenzMaster (ab WS 15/16) erste Semesterhalfte bis einschl. 26.5.Bachelor, Master (bis SoSe 15) erste Semesterhalfte bis einschl. 20.6.
KILOG Logikbasierte Systeme der WissensverarbeitungMaster (ab WS 15/16) zweite Semesterhalfte ab einschl. 30.5.
Vorlesung
Montags 10–12, SR 11
Donnerstags 8:30 – 10 , SR 11
Ubung
Donnerstags 14:00 - 16:00, SR 11,bei Feiertag: Mittwoch 16:00 – 18:00, Magnus HS
Erste Ubung: Donnerstag, 21. April
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 4/15
Organisatorisches Prufung Uberblick Adressen, Termine
Bachelor / Master (bis SoSe 2015)
Bachelor KI: Modul B-KI 3V+1U und 6 CPVertiefungsgebiet ISWV
Master (bis SoSe 2015) KI: Modul M-KI 3V+1U und 6 CPEinfuhrendes Modul,Fachgebiet Informatik der Systeme
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 5/15
Organisatorisches Prufung Uberblick Adressen, Termine
Master (ab WS 15/16)
Master (ab WS 15/16) KI: 2V+1U und 5 CPFachgebiet Informatik der Systeme
Master (ab WS 15/16) KILOG: 2V+1U und 5 CPFachgebiet Informatik der Systeme
KI ist Wahlpflichtveranstaltung der ModuleM-SIW-W1A, M-SIW-W1B, M-SIW-W2,M-Theo-IDS-A, M-Theo-IDS-B,M-WR-IDSA, M-WR-IDSB
KILOG ist Wahlpflichtveranstaltung der ModuleM-SIW-W1A, M-SIW-W1B, M-SIW-W2,M-SIW-VA, M-SIW-VB,M-SIW-VC,M-Theo-IDS-A, M-Theo-IDS-B,M-WR-IDSA, M-WR-IDSB
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 6/15
Organisatorisches Prufung Uberblick Adressen, Termine
Master Wirtschaftsinformatik
Aus der aktuellen MSc Ordnung Wirtschaftsinformatik:§7 (2) . . . Die Module zum Vertiefungsbereich Informatik sindalle Module des Masterstudiengangs Informatik desFachbereichs Informatik und Mathematik in der jeweilsgultigen Fassung. . . .
KI und KILOG konnen im Vertiefungsbereich Informatik zu5 CP eingebracht werden als Module entsprechend der MScOrdnung Informatik 2015.
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 7/15
Organisatorisches Prufung Uberblick Bachelor / Master / Master-2015
Bachelor / Master
Modulabschlussprufung
Prufung: Klausur
”Bonus“ bei erfolgreicher Teilnahme an den Ubungen
je nach Prufungsordnung
Voraussichtlich: Klausur am 21.07.2016, 9-12 Uhr fur alle Module.
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 8/15
Organisatorisches Prufung Uberblick Bachelor / Master / Master-2015
Bonuspunkte
Ubungen und Bonus je nach Veranstaltung:
Blatt 1 2 3 4 5 6 7 8 9 10 11 12∑
Bonus
KI (6 CP) 20 50 50 50 50 50 50 50 50 420 12× min(P,300)300
KI (5 CP) 20 50 50 50 50 50 270 9× min(P,202,5)202,5
KILOG 50 50 50 50 50 50 300 9× min(P,225)225
P = erworbene Ubungspunkte
Klausur:Gesamtpunkte Bestehen ab ... Maximaler Bonus
KI (6 CP) 120 Punkte 60 Punkte 12 PunkteKI (5 CP) 90 Punkte 45 Punkte 9 PunkteKILOG (5 CP) 90 Punkte 45 Punkte 9 Punkte
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 9/15
Organisatorisches Prufung Uberblick Inhalt Literatur
Inhalte der Veranstaltung KI (Planung)
Einfuhrung:Was ist kunstliche Intelligenz?Was ist ein intelligenter Agent?
Suchverfahren:Uninformierte und informierte Suche;Suche in Spielbaumen;Evolutionare Algorithmen
Maschinelles Lernen:EntscheidungsbaumeDie Verfahren ID3 und C4.5
Planen:Situationslogik, Strips Planen
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 10/15
Organisatorisches Prufung Uberblick Inhalt Literatur
Inhalte der Veranstaltung KILOG (Planung)
AussagenlogikWissensreprasenation und Schlussfolgern;Syntax und Semantik der Aussagenlogik;Normalformen,Davis-Putnam-Prozedur zum Erfullbarkeitstest
Pradikatenlogik:Syntax und Semantik;Allgemeine Resolution; Faktorisierung (mit Unfikation)Klauselnormalformberechnung, insbes. SkolemisierungOptimierungen: Loschregelnevtl. Hornklauseln und Prolog
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 11/15
Organisatorisches Prufung Uberblick Inhalt Literatur
Inhalte der Veranstaltung KILOG (Planung) (2)
Qualitatives zeitliches Schließenam Beispiel von Allens Intervalllogik
Konzeptbeschreibungssprachen:Semantische Netze (kurz)Description Logic
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 12/15
Organisatorisches Prufung Uberblick Inhalt Literatur
Skript
Das aktuelle Skript wird nach und nach online gestellt.
Vorheriges Skript auf der Webseite vom SS 2014
Tlw. Algorithmen auch in Haskell: Kein Prufungsstoff
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 13/15
Organisatorisches Prufung Uberblick Inhalt Literatur
Literatur (Auswahl)
Stuart Russel, Peter Norvig:Artificial Intelligence – A Modern Approach
Wolfgang Ertel:Grundkurs Kunstliche Intelligenz: Eine praxisorientierteEinfuhrung
David Poole, Alan Mackworth:Artificial Intelligence – Foundations of Computational Agents
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 14/15
Organisatorisches Prufung Uberblick Inhalt Literatur
Literatur (Auswahl) (2)
David Poole, Alan Mackworth, Randy Goebel:Computational Intelligence A Logical Approach
Martin Kreuzer, Stefan Kuhling:Logik fur Informatiker
Franz Baader, Deborah McGuiness, Daniele Nardi, PeterPatel-Schneider:The Description Logic Handbook
M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 15/15