Download - Forschungsgruppe Arti cial Intelligence - ai.dmi.unibas.ch · Forschungsgruppe Arti cial Intelligence Vorstellung Malte Helmert Universit at Basel 31. Mai 2013. Forschungsgruppen

Transcript

Forschungsgruppe Artificial IntelligenceVorstellung

Malte Helmert

Universitat Basel

31. Mai 2013

Forschungsgruppen am Fachbereich Informatik

Schwerpunkt Distributed Systems:

High Performance and Web Computing (H. Burkhart)

Computer Networks (C. Tschudin)

Databases and Information Systems (H. Schuldt)

Schwerpunkt Computational Intelligence:

Graphics and Vision (T. Vetter)

Biomedical Data Analysis (V. Roth)

Artificial Intelligence (M. Helmert)

Forschungsgruppe Kunstliche Intelligenz

Malte Helmert Sandra Burri-Furler Gabi Roger Martin Wehrle

Florian Pommerening Silvan Sievers Jendrik Seipp

Koordinaten

Forschungsgruppe Artificial Intelligence

DMI, Bernoullistrasse 16, 3.–5. OG

http://ai.cs.unibas.ch

Forschungsschwerpunkte

Forschungsschwerpunkte:

Handlungsplanung

heuristische Suche

Modellprufung

Projekte

Laufende Drittmittelprojekte:

Abstraction Heuristics for Planning and Combinatorial Search(SNF, bis April 2015)

Safe Pruning in Optimal State-Space Search(SNF, bis Oktober 2014)

Kontrollwissen fur domanenunabhangige Planungssysteme(DFG, bis April 2014)

Industrieprojekt Dematic GmbH(bis Mai 2013)

Lehrveranstaltungen

Lehre FS 2013 (und FS 2014?):

Grundlagen der Kunstlichen Intelligenz

Theorie der Informatik (mit C. Tschudin)

Lehre HS 2013:

Master-Seminar Search and Optimization

mittel- und langfristig:

Master-Vorlesung Search and Optimization

HS 2013: Master-Seminar Search and Optimization

3+3 KP (Seminar- und Projektteil)

mogliche Themengebiete (Planung dauert noch an):

informierte Suchverfahren fur Planungs- und andere ProblemeHeuristiken fur Planungs- und andere Problemekombinatorische Optimierung

Seminarteil: Umgang mit wissenschaftlichen Arbeiten

lesen und verstehenerklaren und prasentiereneinordnen und diskutieren

Projektteil: Implementierung effizienter Problemloser

C++ oder Pythonklarer, sauberer, effizienter Code (Code Reviews)Evaluierung von Algorithmen (Experimente)

Bachelor- und Masterarbeiten

abgeschlossen: 8 Bachelor, 1 Master Webseite, Video

laufend: 3 Bachelor, 3 Master

bei Interesse: anfragen!(im Moment etwas uberlastet, wird aber bald besser)

Vorstellungen der Mitarbeitenden