Zurück zur Auswahl
13548-01 - Vorlesung: Foundations of Artificial Intelligence (8 KP)
| Semester | Frühjahrsemester 2018 |
| Weitere Semesterveranstaltungen zu diesen KP |
13548-01 (Vorlesung) 13548-02 (Übung) 13548-03 (Übung) |
| Angebotsmuster | Jedes Frühjahrsem. |
| Dozierende | Malte Helmert (malte.helmert@unibas.ch, BeurteilerIn) |
| Inhalt | The course offers an introduction into the basic concepts, problems, methods and algorithms of artificial intelligence. Topics include: introduction and historical development of AI, rational agents, problem solving and search, constraint satisfaction problems, formal logic, and automated planning. |
| Lernziele | Students learn the theoretical and practical foundations of classical problems in artificial intelligence and their algorithmic solution. In particular, participants will obtain the necessary knowledge and skills to independently solve typical AI problems by selecting, implementing and evaluating standard algorithms from the AI literature. |
| Literatur | Stuart Russell and Peter Norvig: Artificial Intelligence - A Modern Approach (3rd edition), Prentice Hall, 2009. |
| Weblink | course web page |
| Teilnahmevoraussetzungen | No formal requirements, but solid basic knowledge of foundational concepts in computer science (algorithms, complexity theory) and mathematics (formal proofs and basic concepts like sets, functions and relations) are necessary for following the lecture. Good programming skills are necessary for some of the exercises. |
| Anmeldung zur Lehrveranstaltung | lecture: https://services.unibas.ch/ exercises: https://courses.cs.unibas.ch/ |
| Unterrichtssprache | Englisch |
| Einsatz digitaler Medien | Online-Angebot obligatorisch |
| HörerInnen willkommen |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul Machine Intelligence (Bachelor Computer Science) Modul Methoden für Computational Biology (Bachelor Computational Sciences) Modul Methoden für Computational Chemistry (Bachelor Computational Sciences) Modul Methoden für Computational Mathematics (Bachelor Computational Sciences) Modul Methoden für Computational Physics (Bachelor Computational Sciences) Modul Praxis aktueller Informatikmethoden (Master Studienfach: Informatik (Studienbeginn vor 01.08.2016)) Modul Wahlbereich Informatik (Bachelor Studienfach: Informatik (Studienbeginn vor 01.08.2016)) Vertiefungsmodul Bioinformatik (Bachelor Informatik (Studienbeginn vor 01.08.2010)) (Pflicht) Vertiefungsmodul Computational Intelligence (Bachelor Informatik (Studienbeginn vor 01.08.2016)) Vertiefungsmodul Computer Science (Bachelor Informatik (Studienbeginn vor 01.08.2010)) Vertiefungsmodul Life Science-Informatik (Bachelor Informatik (Studienbeginn vor 01.08.2016)) |
| Prüfung | Lehrveranst.-begleitend |
| Hinweise zur Prüfung | The course includes weekly homework assignments and weekly exercise sessions. To pass the course, students need to successfully work on the homework assignments and pass the final written examination. At least 50% of the possible marks from homework assignment are needed to qualify for the final exam. The final grade for the course is based exclusively on the final exam. The written exam will take place on Wednesday, 13 June, 2-4 p.m., at Spiegelgasse 1, room 00.003. |
| An-/Abmeldung zur Prüfung | Anm.: Belegen Lehrveranstaltung; Abm.: stornieren |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | 1-6 0,5 |
| Belegen bei Nichtbestehen | beliebig wiederholbar |
| Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Informatik |