Adressen Einf uhrung in die Methoden der K unstlichen ... · 1 Einf uhrung in die Methoden der K...

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

[email protected]

Mitarbeiter

Nils Dallmeyer

Raum 216, Robert-Mayer-Str. 11-15

[email protected]

Tutor zu den Ubungen:

Yunus Kutz

[email protected]

M. Schmidt-Schauß · KI · SoSe 2016 · Organisation & Uberblick 2/15


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.



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


http://www.ki.informatik.uni-frankfurt.de/lehre/SS2016/KI


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



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



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.


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.


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


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



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



Inhalte der Veranstaltung KILOG (Planung) (2)

Qualitatives zeitliches Schließenam Beispiel von Allens Intervalllogik

Konzeptbeschreibungssprachen:Semantische Netze (kurz)Description Logic



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



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



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


Adressen Einf uhrung in die Methoden der K unstlichen ... · 1 Einf uhrung in die Methoden der K...

Documents

Transcript of Adressen Einf uhrung in die Methoden der K unstlichen ... · 1 Einf uhrung in die Methoden der K...