Back
| Semester | spring semester 2019 |
| 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, problem solving and search, constraint satisfaction problems, formal logic, and automated planning. |
| 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 (3rd edition), Prentice Hall, 2009. |
| 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 | lecture: https://services.unibas.ch/ exercises: https://courses.cs.unibas.ch/ |
| Language of instruction | English |
| Use of digital media | Online, mandatory |
| Course auditors welcome |
| Interval | Weekday | Time | Room |
|---|
No dates available. Please contact the lecturer.
| Modules |
Modul: Applications and Related Topics (Bachelor's degree subject: Computer Science) Modul: Wahlbereich Informatik (Bachelor's degree subject: Computer Science (Start of studies before 01.08.2016)) Module Specialisation: Computational Intelligence (Bachelor's Studies: Computer Science (Start of studies before 01.08.2016)) Module Specialisation: Computer Science of Life Science (Bachelor's Studies: Computer Science (Start of studies before 01.08.2016)) Module: Machine Intelligence (Bachelor's Studies: Computer Science) Module: Methods in Computational Biology (Bachelor's Studies: Computational Sciences) Module: Methods in Computational Chemistry (Bachelor's Studies: Computational Sciences) Module: Methods in Computational Mathematics (Bachelor's Studies: Computational Sciences) Module: Methods in Computational Physics (Bachelor's Studies: Computational Sciences) Vertiefungsmodul: Bioinformatik (Bachelor's Studies: Computer Science (Start of studies before 01.08.2010)) (Pflicht) Vertiefungsmodul: Computer Science (Bachelor's Studies: Computer Science (Start of studies before 01.08.2010)) |
| 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. The written exam will take place on Wednesday, 19 June, 2-4 p.m., HS001, at Kollegienhaus. |
| 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 |