Back to selection
13548-01 - Lecture: Foundations of Artificial Intelligence (8 CP)
| Semester | spring semester 2026 |
| Further events belonging to these CP |
13548-01 (Lecture) 13548-02 (Practical course) 13548-03 (Practical course) |
| Course frequency | Every spring sem. |
| Lecturers | Malte Helmert (malte.helmert@unibas.ch, Assessor) |
| Content | 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 and their environments, state-space search, combinatorial optimization, constraint satisfaction problems, formal logic, automated planning, and board games. |
| Learning objectives | 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. |
| Bibliography | Stuart Russell and Peter Norvig: Artificial Intelligence - A Modern Approach (4th edition), Prentice Hall, 2020. |
| Weblink | course web page |
| Admission requirements | 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. |
| Course application | https://services.unibas.ch/ |
| Language of instruction | English |
| Use of digital media | No specific media used |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|---|---|---|
| wöchentlich | Monday | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| wöchentlich | Wednesday | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
Dates
| Date | Time | Room |
|---|---|---|
| Monday 16.02.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 18.02.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 23.02.2026 | 16.15-18.00 | Fasnachtsferien |
| Wednesday 25.02.2026 | 14.15-16.00 | Fasnachtsferien |
| Monday 02.03.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 04.03.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 09.03.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 11.03.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 16.03.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 18.03.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 23.03.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 25.03.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 30.03.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 01.04.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 06.04.2026 | 16.15-18.00 | Ostern |
| Wednesday 08.04.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 13.04.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 15.04.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 20.04.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 22.04.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 27.04.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 29.04.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 04.05.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 06.05.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 11.05.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 13.05.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 18.05.2026 | 16.15-18.00 | Biozentrum, Hörsaal U1.141 |
| Wednesday 20.05.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Monday 25.05.2026 | 16.15-18.00 | Pfingstmontag |
| Wednesday 27.05.2026 | 14.15-16.00 | Biozentrum, Hörsaal U1.141 |
| Modules |
Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Modul: Computational Methods (Bachelor's Studies: Computational Sciences) Module: Applications and Related Topics (Bachelor's degree subject: Computer Science) Module: Computational Sciences II (Bachelor's Studies: Computational Sciences (Start of studies before 01.08.2023)) Module: Machine Intelligence (Bachelor's Studies: Computer Science) Module: Machine Learning Foundations (Master's Studies: Data Science) |
| Assessment format | continuous assessment |
| Assessment details | 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, which will take place as a written exam. exam time and place: tba |
| Assessment registration/deregistration | Reg.: course registration, dereg: cancel course registration |
| Repeat examination | no repeat examination |
| Scale | 1-6 0,5 |
| Repeated registration | as often as necessary |
| Responsible faculty | Faculty of Science, studiendekanat-philnat@unibas.ch |
| Offered by | Fachbereich Informatik |